[LLVMbugs] [Bug 15227] New: exit isn't taken into evaluation for null-pointer dereference warning

[bugzilla-daemon at llvm.org]

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

            Bug ID: 15227
           Summary: exit isn't taken into evaluation for null-pointer
                    dereference warning
           Product: clang
           Version: 3.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: dothebart at citadel.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Hi, 
the condition appears here in line 234 :
http://code.citadel.org/?p=citadel.git;a=blob;f=citadel/utils/citmail.c;h=a7a4c9006e69b6d083f673b929437ed8616aa090;hb=refs/heads/stable-81x

The code can be concluded like the following:

void do_exit(void)
{
    exit (-1);
}

int main(int argc, char **argv)
{
   char *foo = NULL;
   if (foo == NULL)
   {
       do_exit();
   }
   *p = '\0';
}


the setting of *p is reported as error; while the program flow can never reach
this point.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130210/9d293cf4/attachment.html>