[LLVMbugs] [Bug 7494] False positive in branch/while loop

[bugzilla-daemon at llvm.org]

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

Ted Kremenek <kremenek at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |kremenek at apple.com
         Resolution|                            |DUPLICATE

--- Comment #1 from Ted Kremenek <kremenek at apple.com> 2010-06-26 00:37:21 CDT ---
This is essentially the same issue as PR 2306.  In this example, but 'a' and
'b' have symbolic values, and the analyzer doesn't reason about constraints
between two symbolic values yet.

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

-- 
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.