Everyone who writes safety critical software should read this

[bearophile]

eles:

> Yeah, after the scope() statement, this is the thing that I'd 
> want the most in my C,

The latest versions of Clang are able to catch some integral 
overflows at run-time. It is of course only a small part of the 
whole amount of things needed to produce correct code, but for 
high integrity software it's useful.

Bye,
bearophile