http://llvm.org/bugs/show_bug.cgi?id=8006
Summary: Spurious puzzling warning with --analyze
Product: new-bugs
Version: trunk
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P
Component: new bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
$ cat test.c
void bar( int x ) { }
void foo( int n )
{
int x[4096], i;
for ( i = 0; i < (1 << n); i++ )
{
x[i] = i;
}
for ( i = 0; i < (1 << n); i++ )
{
bar( x[i] );
}
}
$ clang test.c --analyze
test.c:15:3: warning: Pass-by-value argument in function call is undefined
bar( x[i] );
^ ~~~~
According to Ted Kremenek, the problem is that '1 << n' is not getting
accurately modeled, resulting in a false path that triggers the warning.
--
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
