[LLVMbugs] [Bug 7530] New: intermittent failure: Assertion `LHS->getType() == RHS->getType()' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: intermittent failure: Assertion `LHS->getType() ==
                    RHS->getType()' failed.
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         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


Created an attachment (id=5150)
 --> (http://llvm.org/bugs/attachment.cgi?id=5150)
failure-inducing test case

This one is a lot of fun!  Maybe 1 in 4 invocations of clang crashes with
assert fail, the other 3 succeed.  Since I can't reduce without deterministic
failure, the whole testcase is attached.

[regehr at gamow tmp416]$ clang -v
clang version 2.8 (trunk 107118)
Target: x86_64-unknown-linux-gnu
Thread model: posix

[regehr at gamow tmp416]$ clang -O2 -w small.c

clang: Constants.cpp:1667: static llvm::Constant*
llvm::ConstantExpr::getICmp(short unsigned int, llvm::Constant*,
llvm::Constant*): Assertion `LHS->getType() == RHS->getType()' failed.
0  clang           0x000000000132a45f
1  clang           0x000000000132c4f2
2  libpthread.so.0 0x00007faa20ea3190
3  libc.so.6       0x00007faa201a84b5 gsignal + 53
4  libc.so.6       0x00007faa201abf50 abort + 384
5  libc.so.6       0x00007faa201a1481 __assert_fail + 241
6  clang           0x000000000123311b
7  clang           0x00000000011d3e82
8  clang           0x00000000011c508d
9  clang           0x00000000011c58b4
10 clang           0x00000000011c5f71
11 clang           0x00000000011c62b4
12 clang           0x00000000011c667f
13 clang           0x00000000011d7099
14 clang           0x0000000001076b7f
15 clang           0x000000000119fd9e
16 clang           0x00000000012ad52d
17 clang           0x00000000011722db
18 clang           0x0000000001172a55
19 clang           0x00000000012ad02e
20 clang           0x00000000012ad1a7
21 clang           0x00000000004fe267
22 clang           0x00000000004fa3db
23 clang           0x0000000000607f4f
24 clang           0x00000000004fb344
25 clang           0x0000000000423bcd
26 clang           0x000000000040a01b
27 clang           0x0000000000410251 main + 3185
28 libc.so.6       0x00007faa20193abd __libc_start_main + 253
29 clang           0x0000000000407769
Stack dump:
0.    Program arguments:
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r107118-install/bin/clang
-cc1 -triple x86_64-unknown-linux-gnu -S -disable-free -main-file-name small.c
-mrelocation-model static -mdisable-fp-elim -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -resource-dir
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r107118-install/lib/clang/2.8
-O2 -w -ferror-limit 19 -fmessage-length 90 -fgnu-runtime
-fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-xegkpV.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 '@func_47'
5.    Running pass 'Canonicalize Induction Variables' on basic block
'%lbl_166.outer'
clang: error: clang frontend command failed due to signal 6 (use -v to see
invocation)

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