[LLVMbugs] [Bug 4626] New: UNREACHABLE executed at BranchFolding.cpp:465!

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: UNREACHABLE executed at BranchFolding.cpp:465!
           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 Ubuntu Hardy on x86.

regehr at john-home:~/volatile/tmp178$ clang -O2 small.c
Predecessor appears twice
UNREACHABLE executed at BranchFolding.cpp:465!
0   clang-cc 0x091d6868
Stack dump:
0.      Program arguments:
/home/regehr/z/tmp/llvm-gcc-r77145-install/bin/../libexec/clang-cc -triple
i386-pc-linux-gnu -S -disable-free -main-file-name small.c --relocation-model
static --disable-fp-elim --unwind-tables=0 --mcpu=pentium4 --fmath-errno=1 -O2
-fdiagnostics-show-option -o /tmp/cc-yKUjit.s -x c small.c 
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Control Flow Optimizer' on function '@foo'
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)

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

clang version 1.0 (http://llvm.org/svn/llvm-project/cfe/trunk 77145)
Target: i386-pc-linux-gnu
Thread model: posix

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

char safe_mul_func_int16_t_s_s (int _si1, char _si2)
{
  return _si1 && _si2 <= 0 && _si2 < _si1 || _si1 <= 0 && _si2 > 0
    && _si2 ? : _si2;
}

char g_3; 

int func_34 (char p_35)
{
  if (p_35 || g_3) return g_3;
  return 0;
}

int safe (void);

void foo (int p_5)
{
  {
    char l;
    func_34 (safe_mul_func_int16_t_s_s (1 > p_5 ^ 1, safe ()));
    for (l; 1; l = 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.