[llvm-dev] Dataflow analysis regression in 3.7

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Sun Jul 9 14:07:30 PDT 2017

Maybe some of us who are interested in LVI can get together in October? 
Doesn't seem like broad enough interest for a BoF but perhaps over a 
beer or during a coffee break?


> We have a related bug open, you opened, it seems :)
> https://bugs.llvm.org/show_bug.cgi?id=31895
> From what I can tell the difference is that gcc solves the problem
> eagerly (and not lazily). Actually, they catch this case as part of VRP,
> which is run not very early in the pipeline but still the cfg is in a
> shape decent enough to get this case right (maybe we could consider
> reordering passes, instead).
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

More information about the llvm-dev mailing list