[LLVMbugs] [Bug 7755] New: Assertion `i != e && "Didn't find edge?"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `i != e && "Didn't find edge?"' 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


[regehr at bethe tmp605]$ clang -O2 -c small.c -w
clang: BasicBlockUtils.cpp:287: unsigned int
llvm::GetSuccessorNumber(llvm::BasicBlock*, llvm::BasicBlock*): Assertion `i !=
e && "Didn't find edge?"' failed.
0  clang           0x00000000015f580f
1  clang           0x00000000015f78a2
2  libpthread.so.0 0x00007ffde271a190
3  libc.so.6       0x00007ffde1a1f4b5 gsignal + 53
4  libc.so.6       0x00007ffde1a22f50 abort + 384
5  libc.so.6       0x00007ffde1a18481 __assert_fail + 241
6  clang           0x00000000013e9f95
7  clang           0x00000000013eb2db llvm::SplitEdge(llvm::BasicBlock*,
llvm::BasicBlock*, llvm::Pass*) + 43
8  clang           0x000000000133b0b8
9  clang           0x000000000133bf5e
10 clang           0x000000000133c31e
11 clang           0x000000000133d5ab
12 clang           0x0000000001548a1d
llvm::FPPassManager::runOnFunction(llvm::Function&) + 637
13 clang           0x0000000001430d9b
14 clang           0x0000000001431515
15 clang           0x000000000154851e
llvm::MPPassManager::runOnModule(llvm::Module&) + 494
16 clang           0x0000000001548697 llvm::PassManagerImpl::run(llvm::Module&)
+ 167
17 clang           0x00000000007ade67
clang::EmitBackendOutput(clang::Diagnostic&, clang::CodeGenOptions const&,
clang::TargetOptions const&, llvm::Module*, clang::BackendAction,
llvm::raw_ostream*) + 1639
18 clang           0x00000000007a9fab
19 clang           0x00000000008c04bf clang::ParseAST(clang::Preprocessor&,
clang::ASTConsumer*, clang::ASTContext&, bool, bool,
clang::CodeCompleteConsumer*) + 335
20 clang           0x00000000007aaf24 clang::CodeGenAction::ExecuteAction() +
68
21 clang           0x00000000006c7755
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 357
22 clang           0x00000000006a6d4b cc1_main(char const**, char const**, char
const*, void*) + 2651
23 clang           0x00000000006ad517 main + 3543
24 libc.so.6       0x00007ffde1a0aabd __libc_start_main + 253
25 clang           0x00000000006a44b9
Stack dump:
0.      Program arguments:
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r109792-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-r109792-install/lib/clang/2.8
-O2 -w -ferror-limit 19 -fmessage-length 100 -fgnu-runtime
-fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-zGhIaZ.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 'Jump Threading' on function '@int328'
clang: error: clang frontend command failed due to signal 6 (use -v to see
invocation)
[regehr at bethe tmp605]$  
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ clang -v
clang version 2.8 (trunk 109792)
Target: x86_64-unknown-linux-gnu
Thread model: posix
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ 
[regehr at bethe tmp605]$ cat small.c
static signed char
foo (signed char si1, unsigned char si2)
{
  return si2 || si1 == si2 ? si1 : (si1 / si2);
}

static unsigned char
bar (unsigned char left, unsigned int right)
{
  return right || left >> right ? left : left << right;
}

static unsigned short
baz (unsigned short ui1, unsigned char ui2)
{
  return ui1 - ui2;
}

struct S0
{
  const signed f2:1;
};
int g_17[7][9] = {
};

int *volatile g_16[1] = {
  &g_17[2][6]
};

struct S0 g_477 = {
  9600
};

void int328 (unsigned p_89)
{
  {
    int i, j, k, l;
    if (1 < func_100 (g_477.f2) >
        (safe (l + p_89)
         && baz (foo (p_89, p_89),
                 0xAD8DD980L)) ^ (1
                                  &&
                                  bar
                                  (p_89, 0)))
      g_16[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.