[LLVMbugs] [Bug 10985] New: Impossible path taken for check of address to local variable.

[bugzilla-daemon at llvm.org]

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: kremenek at apple.com
        ReportedBy: pelle at morth.org
                CC: llvmbugs at cs.uiuc.edu


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.