[Issue 17785] New: Add a page detailing all undefined behavior to the language specification
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Sun Aug 27 02:04:35 PDT 2017
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: nobody at puremagic.com
Reporter: petar.p.kirov at gmail.com
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
--
More information about the Digitalmars-d-bugs
mailing list