[LLVMbugs] [Bug 11638] New: False positive "called function pointer is null" after assuming variable not null

[bugzilla-daemon at llvm.org]

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

             Bug #: 11638
           Summary: False positive "called function pointer is null" after
                    assuming variable not null
           Product: clang
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: gregory.szorc at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7787
  --> http://llvm.org/bugs/attachment.cgi?id=7787
Report showing ignored non-null assumption

On r147091, I'm seeing a false positive for a null dereference on a function
pointer that has already been assumed to be non-null. Incorrect report is
attached.

This seems like bug 4558, but scan-build says '-store region' (the recommended
resolution to that bug) is the default. I also don't think it is bug 9828
because the static analyzer explicitly states the value is non-null then
complains about a null dereference. (Although in this case the assert macro in
this source does not abort program execution. However, this particular report
assumes the value is non-null, which contradicts the null dereference.)

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