[LLVMbugs] [Bug 15892] New: Incorrect dereference warning

[bugzilla-daemon at llvm.org]

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

            Bug ID: 15892
           Summary: Incorrect dereference warning
           Product: clang
           Version: unspecified
          Hardware: Macintosh
                OS: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: michael.morrell at intel.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10454
  --> http://llvm.org/bugs/attachment.cgi?id=10454&action=edit
Source showing problem

I'm getting an incorrect "dereference of undefined pointer value" warning using
checker-273 that didn't occur with checker-272.

Running "scan-build c++ -c bug48.cpp" produces 2 incorrect warnings.

The analysis takes a path where "token->use48" is true in the first "if" and
false in the second "if" (and vice-versa) but that's not possible.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130501/e4c2902d/attachment.html>