Try -fanalyzer with new GCCs. Not finished, but already impressive.
back
1 comments
Unfortunately it does not yet manage to pick up something with overflow related undefined behavior. The example from the blog post even on trunk passes `-fanalyzer` :(
Ah, ok. But it is developing rapidly...