← Back to index | Original Bugzilla link

Bug 13636 – add runtime checks for undefined behavior

Status
NEW
Severity
enhancement
Priority
P4
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2014-10-18T23:51:26Z
Last change time
2024-12-13T18:32:00Z
Assigned to
No Owner
Creator
Walter Bright
Moved to GitHub: dmd#18901 →

Comments

Comment #0 by bugzilla — 2014-10-18T23:51:26Z
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.
Comment #1 by robert.schadek — 2024-12-13T18:32:00Z
THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18901 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB