← Back to index | Original Bugzilla link

Bug 4885 – Uninitialize Pointers Allowed in @safe code

Status: RESOLVED
Resolution: FIXED
Severity: normal
Priority: P2
Component: dmd
Product: D
Version: D2
Platform: Other
OS: Windows
Creation time: 2010-09-17T18:51:00Z
Last change time: 2011-06-26T16:27:36Z
Keywords: accepts-invalid, patch, spec
Assigned to: nobody
Creator: dsimcha

Comments

Comment #0 by dsimcha — 2010-09-17T18:51:42Z

The following code compiles even though it allows overwriting arbitrary memory regions: void main() @safe { uint* ptr = void; *ptr = 42; }

Comment #1 by yebblies — 2011-06-11T07:36:31Z

https://github.com/D-Programming-Language/dmd/pull/109

Comment #2 by bugzilla — 2011-06-26T16:27:36Z

https://github.com/D-Programming-Language/dmd/commit/952795ec69ad7d704c0848bb160521a435749c42