www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 13636] New: add runtime checks for undefined behavior

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