[LLVMbugs] [Bug 6395] New: ice: argument of incompatible type!

[bugzilla-daemon at llvm.org]

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

           Summary: ice: argument of incompatible type!
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P5
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu, chenyang at cs.utah.edu
   Estimated Hours: 0.0


regehr at john-home:~/volatile/bugs/tmp268$ clang -O3 small.c

clang: /home/regehr/z/tmp/llvm-r96770/include/llvm/Support/Casting.h:200:
typename llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X =
llvm::Instruction, Y = llvm::Value*]: Assertion `isa<X>(Val) && "cast<Ty>()
argument of incompatible type!"' failed.
0  clang 0x09175818
Stack dump:
0.    Program arguments: /home/regehr/z/tmp/llvm-gcc-r96770-install/bin/clang
-cc1 -triple i386-pc-linux-gnu -S -disable-free -main-file-name small.c
-mrelocation-model static -mdisable-fp-elim -mconstructor-aliases -target-cpu
pentium4 -resource-dir /home/regehr/z/tmp/llvm-gcc-r96770-install/lib/clang/1.1
-O3 -fmessage-length 95 -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o /tmp/cc-SjoQmG.s -x c small.c 
1.    <eof> parser at end of file
2.    Per-module optimization passes
3.    Running pass 'CallGraph Pass Manager' on module 'small.c'.
4.    Running pass 'Loop Pass Manager' on function '@int322'
5.    Running pass 'Canonicalize Induction Variables' on basic block '%lbl_19'
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)

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

extern void __assert_fail (__const char *__assertion, __const char *__file,
               unsigned int __line, __const char *__function)
 __attribute__ ((__noreturn__));
short g_35;

void int322 (unsigned char p_13, short * const p_14, int int32p_15, short *
int16p_17)
{
  short l_18[5];
  int i;
  for (i = 0; i < 1; i++)
    l_18[i] = 0;
lbl_19:l_18[0] ^= 1;
  p_14 == &g_35 ? 0 : __assert_fail ("== &g_35", "small.c", 24,
                     __PRETTY_FUNCTION__);
  goto lbl_19;
}

regehr at john-home:~/volatile/bugs/tmp268$ clang -v

clang version 1.1 (trunk 96770)
Target: i386-pc-linux-gnu
Thread model: posix

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