https://bugs.kde.org/show_bug.cgi?id=381326
--- Comment #5 from Julian Seward <jsew...@acm.org> --- (In reply to John Reiser from comment #4) Interesting, but I don't really understand it. What's the underlying insight here? In particular, why is it the case that knowing the two operands are equal allows us to mark the operands as more defined than they were originally? Is this specific to == and !=, or is it more general? -- You are receiving this mail because: You are watching all bug changes.
