[Issue 24460] New: scope(failure) with a goto breaks safety

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Mar 27 17:10:19 UTC 2024


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

          Issue ID: 24460
           Summary: scope(failure) with a goto breaks safety
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: accepts-invalid, safe
          Severity: critical
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: elpenguino+D at gmail.com

```
void main() @safe { 
    {
        scope(failure) goto ok;
        assert(0);
    }
    ok:
}
```
Same rationale as https://issues.dlang.org/show_bug.cgi?id=21443

--


More information about the Digitalmars-d-bugs mailing list