[LLVMbugs] [Bug 7018] New: UNREACHABLE executed at SelectionDAG.cpp:653!

[bugzilla-daemon at llvm.org]

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

           Summary: UNREACHABLE executed at SelectionDAG.cpp:653!
           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


Seen on x64.  I cannot repro with opt (which doesn't have -Os?).

regehr at gamow tmp410]$ clang -v

clang version 2.0 (trunk 102880)
Target: x86_64-unknown-linux-gnu
Thread model: posix

[regehr at gamow tmp410]$ clang -Os small.c

0x2cc1db0: i16,ch = <<Deleted Node!>> 0x0, 0x0, 0x0 [ID=10]
Node is not in map!
UNREACHABLE executed at SelectionDAG.cpp:653!
0  clang           0x00000000012675ef
1  clang           0x00000000012694f2
2  libpthread.so.0 0x00007fdecbf83190
3  libc.so.6       0x00007fdecb2894b5 gsignal + 53
4  libc.so.6       0x00007fdecb28cf50 abort + 384
5  clang           0x000000000123cc24
6  clang           0x0000000000d36251
7  clang           0x0000000000d37639
8  clang           0x0000000000d030e8
9  clang           0x0000000000d03fbb
10 clang           0x0000000000d1bf56
11 clang           0x0000000000d1d4fb
12 clang           0x0000000000d1e00f
13 clang           0x0000000000d9754d
14 clang           0x0000000000d99570
15 clang           0x0000000000d99ca4
16 clang           0x0000000000d9a54e
17 clang           0x00000000011eabbd
18 clang           0x00000000011ead9b
19 clang           0x00000000011eb05f
20 clang           0x00000000004154f7
21 clang           0x0000000000415d75
22 clang           0x000000000060e15f
23 clang           0x0000000000419841
24 clang           0x0000000000409c2b
25 clang           0x000000000040cf33 main + 2499
26 libc.so.6       0x00007fdecb274abd __libc_start_main + 253
27 clang           0x0000000000407479
Stack dump:
0.      Program arguments:
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r102880-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-r102880-install/lib/clang/2.0
-Os -ferror-limit 19 -ftemplate-backtrace-limit 10 -fmessage-length 79
-fgnu-runtime -fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-VazXB9.s
-x c small.c 
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'X86 DAG->DAG Instruction Selection' on function
'@uint161'
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)

[regehr at gamow tmp410]$ cat small.c

typedef short int int16_t;
typedef unsigned char uint8_t;
typedef unsigned short int uint16_t;
static uint8_t
safe_mul_func_int16_t_s_s (int16_t si1, int16_t si2)
{
  return si1 && si2 && si1 > +si2 || si1 && si2 && si2 < +si1 || si1 && si2
    && si1 < +si2 || si1 && si2 && si1 && si2 < +si1 ? : si1 * si2;
}

static uint8_t
safe_mul_func_uint8_t_u_u (uint8_t ui1, uint8_t ui2)
{
  return ui1 * ui2;
}

int safe (int);

int uint161 (void)
{
  uint8_t l_305[3];
  int i, j, k;
  uint16_t l_308[8];
  for (i = 0; i < 8; i++)
    l_308[i] = 0;
  if (safe
      (safe_mul_func_int16_t_s_s
       (l_305[1] <= 0, safe_mul_func_uint8_t_u_u (l_308[4], l_308[4]))), 0)
    {
    }
  return 0;
}

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