[LLVMbugs] [Bug 7152] Static Analyzer false positive

[bugzilla-daemon at llvm.org]

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

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-05-17 12:38:48 CDT ---
Same as PR 3098.  The analyzer isn't tracking bit-level constraints on symbolic
values.

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

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