http://llvm.org/bugs/show_bug.cgi?id=10985
Summary: Impossible path taken for check of address to local
variable.
Product: clang
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Minimal test case:
Annotated Source Code
1
2 int foo(int *x)
3 {
4 int y;
5
6 if (!x) {
Assuming 'x' is non-null
Taking false branch
7 y = 0;
8 x = &y;
9 }
10
11 if (x == &y)
Taking true branch
12 return y;
Undefined or garbage value returned to caller
13 return 0;
14 }
--
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
