[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