https://bugs.llvm.org/show_bug.cgi?id=35846
Sanjay Patel <spatel+l...@rotateright.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
Fixed By Commit(s)| |322104
--- Comment #2 from Sanjay Patel <spatel+l...@rotateright.com> ---
I remembered that we added remarks for this kind of situation:
https://reviews.llvm.org/rL294208
...and it works from -instsimplify:
$ ./opt -instsimplify 35846.ll -S -pass-remarks-analysis=.*
remark: <unknown>:0:0: Detected conflicting code assumptions. Program may have
undefined behavior, or compiler may have internal error.
...but not with -instcombine, so maybe the simplify query isn't populated
correctly in instcombine.
But this should be fixed with:
https://reviews.llvm.org/rL322104
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs