[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 :)
> 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
More information about the llvm-dev