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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sat Jun 26 00:37:21 CDT 2010


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.


More information about the LLVMbugs mailing list