[LLVMbugs] [Bug 2436] New: doesn't track load and store with one unknown

[bugzilla-daemon at cs.uiuc.edu]

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: unassignedbugs at nondot.org
        ReportedBy: nlewycky at google.com
                CC: llvmbugs at cs.uiuc.edu


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.