https://llvm.org/bugs/show_bug.cgi?id=27869
Manuel Jacob <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #7 from Manuel Jacob <[email protected]> --- 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 [email protected] http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
