Re: GCC Undefined Behavior Sanitizer

[eles via Digitalmars-d]

On Friday, 17 October 2014 at 09:46:49 UTC, Ola Fosheim Grøstad 
wrote:
On Friday, 17 October 2014 at 08:38:12 UTC, Paulo  Pinto wrote:


The second thing I would change is to make whole program 
analysis mandatory so that you can deduce and constrain value 
ranges.

Nice idea, but how to persuade libraries to play that game?