[LLVMbugs] [Bug 2996] New: Assertion `New->getType() == getType() && " replaceAllUses of value with new value of different type!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion `New->getType() == getType() &&
                    "replaceAllUses of value with new value of different
                    type!"' failed.
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu


Seen on Ubuntu Hardy on x86 using LLVM r58509.

[regehr at babel tmp17]$ llvm-gcc -O1 small.c
cc1: Value.cpp:319: void llvm::Value::replaceAllUsesWith(llvm::Value*):
Assertion `New->getType() == getType() && "replaceAllUses of value with new
value of different type!"' failed.
small.c:12: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://developer.apple.com/bugreporter> for instructions.

[regehr at babel tmp17]$ cat small.c

int func_77 (char);
int func_38 (int);

int func_24 (void)
{
  return -1;
}

void func_100 (void)
{
  func_77 ((func_38 (1) > func_24 ()) * -1);
}


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