[LLVMbugs] [Bug 7592] VRP: (a == 0 || a < 0 || a > 0)

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sun Jul 11 18:04:33 PDT 2010


http://llvm.org/bugs/show_bug.cgi?id=7592

Chris Lattner <clattner at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
             Blocks|                            |1772
         Resolution|                            |DUPLICATE
            Summary|(a == 0 || a < 0 || a > 0)  |VRP: (a == 0 || a < 0 || a
                   |                            |> 0)

--- Comment #2 from Chris Lattner <clattner at apple.com> 2010-07-11 20:04:32 CDT ---
Yes, it definitely is.  It's the same sort of value range propagation issue. 
I'm working on this stuff with the LazyValueInfo infrastructure I was building,
but it is stalled for the moment.

*** This bug has been marked as a duplicate of bug 5652 ***

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.



More information about the llvm-bugs mailing list