[LLVMbugs] [Bug 16242] New: llvm/lib/Transforms/Utils/LCSSA.cpp: Assertion `L->isLCSSAForm(*DT)' failed.

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16242
           Summary: llvm/lib/Transforms/Utils/LCSSA.cpp: Assertion
                    `L->isLCSSAForm(*DT)' failed.
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: kcc at google.com
                CC: llvmbugs at cs.uiuc.edu, nrotem at apple.com
    Classification: Unclassified

test case by csmith/creduce, LLVM r183396.
This is similar to bug 14725, which is now fixed.

int *a;
int b, e, f;
char c = 0;
long d;
void
fn1 () {
lbl_206:
  for (; b; ++b) {
    e = 0;
    for (; e < 1; e++) {
      int **g = &a;
      f = 0;
      *g = &f;
      d = 0;
      for (; d == 0;) {
        *a &= 1;
        if (c)
          goto lbl_206;
      }
    }
  }
}


% clang  -cc1 -triple x86_64-unknown-linux-gnu -S -O2 -x c l.c
llvm/lib/Transforms/Utils/LCSSA.cpp:170: virtual bool <anonymous
namespace>::LCSSA::runOnLoop(llvm::Loop *, llvm::LPPassManager &): Assertion
`L->isLCSSAForm(*DT)' failed.
0  clang           0x00000000012aeb55 llvm::sys::PrintStackTrace(_IO_FILE*) +
37
1  clang           0x00000000012af043
2  libpthread.so.0 0x00007f6a13812cb0
3  libc.so.6       0x00007f6a12a51425 gsignal + 53
4  libc.so.6       0x00007f6a12a54b8b abort + 379
5  libc.so.6       0x00007f6a12a4a0ee
6  libc.so.6       0x00007f6a12a4a192
7  clang           0x0000000000fd17e1
8  clang           0x00000000010993a3
llvm::LPPassManager::runOnFunction(llvm::Function&) + 867
9  clang           0x00000000011d667c
llvm::FPPassManager::runOnFunction(llvm::Function&) + 364
10 clang           0x0000000001018ca5
11 clang           0x00000000011d6c3e
llvm::MPPassManager::runOnModule(llvm::Module&) + 430
12 clang           0x00000000011d72db llvm::PassManagerImpl::run(llvm::Module&)
+ 539
13 clang           0x00000000011d744a llvm::PassManager::run(llvm::Module&) +
10
14 clang           0x00000000012cc2e0
clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::CodeGenOptions
const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::Module*,
clang::BackendAction, llvm::raw_ostream*) + 5856
15 clang           0x00000000012c997b
16 clang           0x0000000001562593 clang::ParseAST(clang::Sema&, bool, bool)
+ 515
17 clang           0x00000000012c8c92 clang::CodeGenAction::ExecuteAction() +
194
18 clang           0x00000000014b1351 clang::FrontendAction::Execute() + 113
19 clang           0x000000000149161d
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 909
20 clang           0x00000000012b1914
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 3028
21 clang           0x000000000066ceee cc1_main(char const**, char const**, char
const*, void*) + 718
22 clang           0x000000000066a8ab main + 7083
23 libc.so.6       0x00007f6a12a3c76d __libc_start_main + 237
24 clang           0x0000000000668bd5
Stack dump:
0.    Program arguments: clang -cc1 -triple x86_64-unknown-linux-gnu -S -O2 -x
c l.c 
1.    <eof> parser at end of file
2.    Per-module optimization passes
3.    Running pass 'CallGraph Pass Manager' on module 'l.c'.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130606/fd98036f/attachment.html>