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: [email protected]
Reporter: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
