[Issue 13165] Using -profile does extra control flow analysis, leading to spurious statement is not reachable warning

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13165

--- Comment #3 from Mathias LANG <pro.mathias.l...@gmail.com> ---
Renamed the issue, as an extra case was reported here:
https://github.com/dlang/phobos/pull/6621#issuecomment-401980976

It seems the compiler is now able to propagate the fact that a function never
returns, e.g.:

```
struct S
{
        @trusted void error(string msg)
        {
                throw new Exception("");
        }

        void fun2(){}

        void fun1()
        {
                error("");
                fun2; 
        }
}
```

Leads to a warning.

--