If you needed any more evidence that memory safety is the future...

[Johannes Pfau via Digitalmars-d]

Am Sat, 25 Feb 2017 21:19:59 +0000
schrieb Stefan Koch <uplink.coder at googlemail.com>:

> On Saturday, 25 February 2017 at 21:12:13 UTC, Timon Gehr wrote:
> 
> >
> > I know my claim seems insane, but it is actually true.
> >
> > http://forum.dlang.org/post/lr4kek$2rd$1@digitalmars.com  
> 
> The optimizer can currently not take advantage of it.
> and I don't see how that would change in the near future.

in GCC/GDC: if -release:

assert(expr);
==> if(!expr) __builtin_unreachable();

Would be trivial to implement but with unpredictable consequences.

-- Johannes