• via Digitalmars-d-bugs (29/29) May 18 2017 https://issues.dlang.org/show_bug.cgi?id=17409

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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

          Issue ID: 17409
           Summary: [ICE] Segmentation fault with invalid code and
                    -dip1000
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: safe
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: mathias.lang sociomantic.com

The following code:
```
void main ()  safe
{
    scope void delegate (void*)  safe s = (a) {};
    scope void* ptr;
    s(ptr);
}

```

Compiles correctly with `dmd test.d` and segfault when compiler with `dmd
-dip1000 test.d`. I would expect compilation to fail as it attempts to pass a
`scope void*` to a delegate accepting `void*`.

Tested with 2.074 and master (v2.075.0-devel-f234dde37).

--