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

[bugzilla-daemon at llvm.org]

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

           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!");
  exit(1);
}

...

  if (pointer == NULL)
    bailOut(...)

  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.