[LLVMbugs] [Bug 7770] easy to prevent false positive

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Mon Aug 2 12:43:09 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-08-02 14:43:09 CDT ---
The issue here is that 'ownSize' and 'sm->HTLength' have symbolic values, and
the analyzer isn't currently tracking linear relationships between symbolic
values (just linear relationships between symbolic values and constants).

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