[LLVMbugs] [Bug 17668] New: Incorrect dereference warning even after direct NULL check

[bugzilla-daemon at llvm.org]

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

            Bug ID: 17668
           Summary: Incorrect dereference warning even after direct NULL
                    check
           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 11411
  --> http://llvm.org/bugs/attachment.cgi?id=11411&action=edit
Source showing problem

The attached source gives two invalid "Dereference of null pointer" warnings
(one on py and one on pz).  Note the explicit check before the dereference. 
I'm using checker-275.

-- 
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/20131023/2c093d4f/attachment.html>