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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Jun 25 22:37:21 PDT 2010


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 llvm-bugs mailing list