[llvm-dev] Dataflow analysis regression in 3.7

[Davide Italiano via llvm-dev]

Sounds great to me. Over a beer sounds more appealing as I won't attend the
meeting (but I'll be in the Bay Area anyway).

On Jul 9, 2017 2:07 PM, "John Regehr via llvm-dev" <llvm-dev at lists.llvm.org>
wrote:

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?

John


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
>
> _______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170709/bdab5650/attachment.html>