https://issues.dlang.org/show_bug.cgi?id=17785
Issue ID: 17785
Summary: Add a page detailing all undefined behavior to the
language specification
Product: D
Version: D2
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P1
Component: dlang.org
Assignee: [email protected]
Reporter: [email protected]
Examples in other languages:
Rust:
https://doc.rust-lang.org/reference/behavior-considered-undefined.html#behavior-considered-undefined
Note that Rust makes the distinction between defined behavior in unsafe code
(but disallowed in safe code) and actually undefined behavior in unsafe code.
Probably a good model to follow.
C++: http://en.cppreference.com/w/cpp/language/ub
--
