[LLVMbugs] [Bug 7475] New: checker-242 doesn't reset nullity assumptions after function call

[bugzilla-daemon at llvm.org]

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

           Summary: checker-242 doesn't reset nullity assumptions after
                    function call
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tjw at omnigroup.com
                CC: llvmbugs at cs.uiuc.edu


A common pattern is:

  if (someGlobal == NULL)
    setUpGlobal();
  someGlobal->getsUsed...;

But with checker-242 this produces a warning about someGlobal being NULL. We
could add a __attibute__-based hint after our call to setUpGlobal(), but I'm
not sure if that is the intended fix or if this behavior is an unintentional
change.

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