ICE after return in the middle of a function on Win64/MSVC

[Rikarin]

LLVM version 309
.\source\rsp\Main.d(96,7): Warning: statement is not reachable
.\source\rsp\Main.d(98,4): Warning: statement is not reachable
.\source\rsp\Main.d(96,7): Warning: statement is not reachable
.\source\rsp\Main.d(98,4): Warning: statement is not reachable
Terminator found in the middle of a basic block!
label %postinvoke31
LLVM ERROR: Broken function found, compilation aborted!

I just insert return; into middle of my main function http://prntscr.com/bkmafo

[dnadlinger]

Thanks for the bug report. Unfortunately, we are going to need a way to reproduce the issue – as you can imagine, returns in the middle of a function are supposed to be handled correctly already.

Also, which version of LDC you are using?

[Rikarin]

I have this (from dlang.org)
LDC - the LLVM D compiler (1.0.0):
based on DMD v2.070.2 and LLVM 3.9.0git
built with LDC - the LLVM D compiler (1.0.0)
Default target: x86_64-pc-windows-msvc

(Windows 10, VS 2015)

[kinke]

It's most likely got something to do with the function being the special case void main(...), where a return is/should be translated to a return 0 (has to return an int; not done by the front-end of course, complicating things).

[dnadlinger]

That's quite possible, but we still need a way to reproduce the issue – I just tried a couple of obvious combinations based on the screen shot, and all of them worked just fine.

[Rikarin]

I replaced void to int and return; to return 1; and I got

label %condend

[Rikarin]

This is the minimal code what give me that error
http://prntscr.com/bknpsf

when I replace try-catch with if blocks { } or when I remove second return or template it works fine

[Rikarin]

everything after second return thrown that error

[dnadlinger]

void dummy(T)(T t) {}

void main() {
    try {
        return;
        return;
        dummy("foo bar");
    } catch {}
}

$ Build/Work/ldc2-master-release/bin/ldc2 -wi test.d
$ ldc2-1.0.0-osx-x86_64/bin/ldc2 -wi test.d

Both work fine. Please post a complete test case for reproducing the issue, in text form (I'm not quite sure when screen shots became an acceptable format for sharing source code – just use your common sense).

Edit: Can reproduce with -mtriple=x86_64-pc-windows-msvc. Still, please post test cases as text in the future instead of as images.