[LLVMbugs] [Bug 3292] New: Assertion `i*2 < getNumOperands() && "Invalid value number! "' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion `i*2 < getNumOperands() && "Invalid value
                    number!"' 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 using r61781 on Ubuntu Hardy on x86.

Versions before and including 61492 are fine, later versions display this bug.

regehr at john-home:~/volatile/tmp111$ llvm-gcc -O2 small.c
cc1: /home/regehr/llvm/include/llvm/Instructions.h:1928: llvm::Value*
llvm::PHINode::getIncomingValue(unsigned int) const: Assertion `i*2 <
getNumOperands() && "Invalid value number!"' failed.
small.c:36: 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 john-home:~/volatile/tmp111$ cat small.c

unsigned safe_sub_func_int64_t_s_s (int _si1, unsigned _si2)
{
  return ((_si1 ^ _si2) & (-_si2 ^ _si2)) < 0 ? : _si1 - _si2;
}

unsigned g_24;
unsigned g_30;
unsigned g_94;

unsigned func_25 (int p_27, unsigned p_29, unsigned p_31, unsigned p_33,
                  unsigned p_34)
{
  return g_24;
}

int func_40 (int p_42, int p_43)
{
  unsigned l_45 = 0;
  for (g_30 = 1; g_30; g_30 = g_30 - 1)
    {
      unsigned l_47 = 0;
      for (g_30 = 19; g_30; g_30 = safe_sub_func_int64_t_s_s (g_30, 1))
        {
          unsigned l_46 = 0;
          if (func_25 (l_45, l_46, l_46, l_47, 1))
            return 1;
        }
    }
  return g_30;
}

void func_15 (int p_16)
{
  unsigned l_20 = 0;
  func_40 (g_94, l_20);
}


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