[Issue 19968] @safe code can create invalid bools resulting in memory corruption

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sat Jun 15 15:19:06 UTC 2019


--- Comment #5 from Tim <tim.dlang at t-online.de> ---
Maybe even types like ubyte can have the same problem on some architectures. If
a parameter is stored in a register, which is bigger than the type, the
compiler could assume the value is in the correct range. But an uninitialized
variable could result in an uninitialized register.


More information about the Digitalmars-d-bugs mailing list