[LLVMbugs] [Bug 3106] New: Load/Store through pointer implies it isn't null

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=3106

           Summary: Load/Store through pointer implies it isn't null
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Keywords: code-quality
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: clattner at apple.com
                CC: llvmbugs at cs.uiuc.edu


LLVM should optimize this (gcc already gets it right):

void foo(int *P) {
  *P = 4;
  if (P == 0) bar();
}

This sort of things occurs in a variety of cases, one of which I care about is
in Clang diagnostic code.

-Chris


-- 
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.