[LLVMdev] poison and select

John Regehr regehr at cs.utah.edu
Thu Sep 11 19:17:53 PDT 2014


> Poison is a flawed concept. I proved it was flawed back in 2011 [0]

Nice. My colleagues and I will dig through this material and possibly come 
back with some ideas. We're going to need some sort of semantics for UB in 
LLVM since otherwise these formal-methods-based tools like Souper and 
Alive risk not making sense.

Thanks,

John



More information about the llvm-dev mailing list