digitalmars.D.bugs - [Issue 13636] New: add runtime checks for undefined behavior
- via Digitalmars-d-bugs (19/19) Oct 18 2014 https://issues.dlang.org/show_bug.cgi?id=13636
https://issues.dlang.org/show_bug.cgi?id=13636 Issue ID: 13636 Summary: add runtime checks for undefined behavior Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: enhancement Priority: P1 Component: DMD Assignee: nobody puremagic.com Reporter: bugzilla digitalmars.com Some undefined behaviors can only be detected at runtime, such as array bounds checking. An undefined behavior checker for C is ubsan: http://developerblog.redhat.com/2014/10/16/gcc-undefined-behavior-sanitizer-ubsan/ Those relevant to D and not already in D can be added with a compile time switch. --
Oct 18 2014