October 19, 2014 [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. -- |
Copyright © 1999-2021 by the D Language Foundation