← Back to index | Original Bugzilla link

Bug 17785 – Add a page detailing all undefined behavior to the language specification

Status: NEW
Severity: enhancement
Priority: P4
Component: dlang.org
Product: D
Version: D2
Platform: All
OS: All
Creation time: 2017-08-27T09:04:35Z
Last change time: 2024-12-15T15:24:11Z
Keywords: safe, spec
Assigned to: No Owner
Creator: ZombineDev

Comments

Comment #0 by petar.p.kirov — 2017-08-27T09:04:35Z

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

Comment #1 by bugzilla — 2018-03-04T08:20:02Z

I've made a start in the spec by embedding undefined behavior into the macro UNDEFINED_BEHAVIOR. Once we get it all, then finding the UB is just a grep away!

Comment #2 by petar.p.kirov — 2018-03-04T08:21:04Z

Thanks Walter, much appreciated!

Comment #3 by petar.p.kirov — 2018-03-04T08:21:43Z

Thanks Walter, much appreciated!

Comment #4 by robert.schadek — 2024-12-15T15:24:11Z

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dlang.org/issues/4068 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB