[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