[LLVMbugs] [Bug 10435] New: Static Analyzer fails to recognize exit()

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Thu Jul 21 19:39:26 PDT 2011


           Summary: Static Analyzer fails to recognize exit()
           Product: new-bugs
           Version: 2.9
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: tim-llvm at sentinelchicken.org
                CC: llvmbugs at cs.uiuc.edu

I have a piece of C code that does basically:

void bailOut(...)
  fprintf(stderr, "ERROR!");


  if (pointer == NULL)

  pointer->property = ...;

The problem is that the scan-build analyzer doesn't recognize that the program
should stop at exit() and believes that pointer->property is a NULL
dereference.  This comes up in several similar contexts, all because of the
lack of recognition of exit().  I imagine this could lead to many other types
of false positives as well.

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.

More information about the llvm-bugs mailing list