[Issue 13636] New: add runtime checks for undefined behavior
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Sat Oct 18 16:51:26 PDT 2014
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 at puremagic.com
Reporter: bugzilla at 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.
--
More information about the Digitalmars-d-bugs
mailing list