[LLVMdev] proposal for exploiting undefined behavior much more aggressively

John Regehr regehr at cs.utah.edu
Fri Jul 27 15:16:17 PDT 2012


> Also, as a bit of a teaser, I think Richard Smith is going to be looking into
> providing much more extensive optional *checking* of undefined behavior.
> Essentially, '-fcatch-undefined-behavior' may grow some serious teeth. This
> should allow users to check their code fairly aggressively for UB but not
> needlessly punish code or those debugging code.

Very cool.  I'd like to hear more.

BTW we're still working on getting IOC into shape for inclusion.

John



More information about the llvm-dev mailing list