• via Digitalmars-d-bugs (22/22) Aug 27 2017 https://issues.dlang.org/show_bug.cgi?id=17785

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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 puremagic.com
          Reporter: petar.p.kirov 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

--