http://llvm.org/bugs/show_bug.cgi?id=2436
Summary: doesn't track load and store with one unknown
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: Scalar Optimizations
AssignedTo: [EMAIL PROTECTED]
ReportedBy: [EMAIL PROTECTED]
CC: [email protected]
In this code, the call to abort() doesn't get optimized away.
extern char *getPtr(void);
void foo(int i) {
char *arr[10];
arr[i] = getPtr();
arr[i][10] = 42;
if (arr[i][10] != 42)
abort();
}
By constrast, if you remove "int i" everywhere, you'll find that we optimize it
down just fine.
--
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
