https://llvm.org/bugs/show_bug.cgi?id=27869
Manuel Jacob <m...@manueljacob.de> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #7 from Manuel Jacob <m...@manueljacob.de> ---
Thank you for fixing this particular example!
Yes, I see the more general case in real life. Actually, I first saw the more
general case and come up with the contradiction case to show more clearly that
there is a problem.
It makes sense to open a new bug report for the more general case. I'm
currently thinking about a good name for the bug. ;)
--
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
