[LLVMbugs] [Bug 4156] New: ICE: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: ICE: Assertion `isa<X>(Val) && "cast<Ty>() argument of
                    incompatible 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, jxyang at cs.utah.edu


Seen using r70938 on Ubuntu Hardy on x86.

regehr at john-home:~/volatile/tmp163$ llvm-gcc -O small.c
small.c: In function ‘int322’:
small.c:51: warning: assignment makes integer from pointer without a cast
cc1: /home/regehr/z/tmp/llvm-r70938/include/llvm/Support/Casting.h:199:
typename llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X =
llvm::CallInst, Y = llvm::Instruction*]: Assertion `isa<X>(Val) && "cast<Ty>()
argument of incompatible type!"' failed.
small.c: At top level:
small.c:58: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://llvm.org/bugs/> for instructions.

regehr at john-home:~/volatile/tmp163$ cat small.c

typedef char int8_t;
typedef int int16_t;
typedef char uint8_t;
typedef int uint32_t;
uint8_t
safe_add_func_int8_t_s_s (int8_t _si1, uint8_t _si2)
{
}

uint8_t
safe_add_func_int16_t_s_s (int16_t _si1, uint8_t _si2)
{
  return 32767 - _si2 < -_si2 ? : 1;
}

uint32_t
safe_sub_func_uint32_t_u_u (uint32_t _ui1, uint32_t _ui2)
{
}
uint8_t g_11;
uint8_t g_38;
uint8_t
func_12 (int8_t p_14, uint8_t p_16, uint8_t p_17, uint8_t p_19)
{
  return g_11;
}

uint8_t
func_27 (uint32p_28)
{
  return g_38;
}

uint8_t
func_30 (int64p_31)
{
}
uint8_t
func_33 (uint32p_35)
{
}

int322 (uint32_t p_43)
{
  uint8_t l_44;
  uint8_t l_45;
  for (1; p_43; safe_add_func_int8_t_s_s)
    {
      uint8_t l_48;
      for (1; p_43; 1)
        for (1; l_44; l_44 = safe_sub_func_uint32_t_u_u)
          {
            func_30 (func_27 (l_45));
            func_33 (func_27 (1) || safe_add_func_int16_t_s_s (g_38, 1));
            l_45 = func_12 (p_43, l_48, g_38, 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.