[LLVMbugs] [Bug 12675] New: False 'Dereference of null pointer'

[bugzilla-daemon at llvm.org]

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

             Bug #: 12675
           Summary: False 'Dereference of null pointer'
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: jstpierre at mecheye.net
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Report sample: http://magcius.mecheye.net/random/clang-report.html#LN487

It seems that llvm is taking both the TRUE and FALSE branches here.

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