3 ms·

Try -fanalyzer with new GCCs. Not finished, but already impressive.

• the_mitsuhiko 3y ago
  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` :(
  • uecker 3y ago
    Ah, ok. But it is developing rapidly...