www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 17785] New: Add a page detailing all undefined behavior to


          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:


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

Aug 27 2017