GCC Undefined Behavior Sanitizer

[eles via Digitalmars-d]

On Thursday, 16 October 2014 at 21:00:18 UTC, bearophile wrote:
> Just found with Reddit. C seems one step ahead of D with this:
>
> http://developerblog.redhat.com/2014/10/16/gcc-undefined-behavior-sanitizer-ubsan/
>
> Bye,
> bearophile

"Not every software bug has as serious consequences as seen in 
the Ariane 5 rocket crash."

"if ubsan detects any problem, it outputs a “runtime error:” 
message, and in most cases continues executing the program."

The latter won't really solve the former...