A serious security bug... caused by no bounds checking.
bearophile
bearophileHUGS at lycos.com
Thu Apr 10 10:25:25 PDT 2014
Steven Schveighoffer:
> No, the author of the @safe code expects bounds checking, it's
> part of the requirements.
Take a look ad Ada language. It has bounds checking and its
compilers have a switch to disable those checks. If you want the
bounds checking don't use the switch that disables the bounds
checking. Safety doesn't mean to have no way to work around
safety locks. It means have nice handy locks that are active on
default. In a system language total safety is an illusion. Better
to focus on real world safety and not a illusion of theoretical
safety.
Bye,
bearophile
More information about the Digitalmars-d
mailing list