[LLVMbugs] [Bug 8067] New: Assertion `!cast<StoreInst>(Use)->isVolatile() && Use->getOperand(0) != ASIV && "AST broken"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `!cast<StoreInst>(Use)->isVolatile() &&
                    Use->getOperand(0) != ASIV && "AST broken"' 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


[regehr at gamow tmp424]$ clang -v

clang version 2.8 (trunk 112720)
Target: x86_64-unknown-linux-gnu
Thread model: posix

[regehr at gamow tmp424]$ cat small.c

typedef int int32_t;
typedef unsigned char uint8_t;
int32_t g_8;
uint161 (void)
{
  int32_t *l_9[5][8];
  int i, j;
  l_9[i][j] = 0;
  uint8_t l_15;
  for (0; 1; g_8 += 1)
    l_9[g_8][l_15] = &g_8;
}

[regehr at gamow tmp424]$ clang -O1 small.c

small.c:4:1: warning: type specifier missing, defaults to 'int'
[-Wimplicit-int]
uint161 (void)
^
small.c:10:8: warning: expression result unused [-Wunused-value]                
  for (0; 1; g_8 += 1)
       ^
clang: LICM.cpp:701: void<unnamed>::LICM::PromoteAliasSet(llvm::AliasSet&):
Assertion `!cast<StoreInst>(Use)->isVolatile() && Use->getOperand(0) != ASIV &&
"AST broken"' failed.
0  clang           0x000000000166ebff
1  clang           0x0000000001670e72
2  libpthread.so.0 0x00007f59adbdb190
3  libc.so.6       0x00007f59acee04b5 gsignal + 53
4  libc.so.6       0x00007f59acee3f50 abort + 384
5  libc.so.6       0x00007f59aced9481 __assert_fail + 241
6  clang           0x00000000013a6bad
7  clang           0x00000000013a7bab
8  clang           0x00000000014ca2c4
llvm::LPPassManager::runOnFunction(llvm::Function&) + 1060
9  clang           0x00000000015b4aed
llvm::FPPassManager::runOnFunction(llvm::Function&) + 557
10 clang           0x000000000149810b
11 clang           0x0000000001498865
12 clang           0x00000000015b4684
llvm::MPPassManager::runOnModule(llvm::Module&) + 500
13 clang           0x00000000015b47f7 llvm::PassManagerImpl::run(llvm::Module&)
+ 167
14 clang           0x00000000007c7917
clang::EmitBackendOutput(clang::Diagnostic&, clang::CodeGenOptions const&,
clang::TargetOptions const&, llvm::Module*, clang::BackendAction,
llvm::raw_ostream*) + 1623
15 clang           0x00000000007c3a2b
16 clang           0x00000000008e0593 clang::ParseAST(clang::Sema&, bool) + 291
17 clang           0x00000000007c4a14 clang::CodeGenAction::ExecuteAction() +
68
18 clang           0x00000000006d2ebd
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 349
19 clang           0x00000000006b152c
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1292
20 clang           0x00000000006a9363 cc1_main(char const**, char const**, char
const*, void*) + 467
21 clang           0x00000000006b0125 main + 4133
22 libc.so.6       0x00007f59acecbabd __libc_start_main + 253
23 clang           0x00000000006a7ce9
Stack dump:
0.      Program arguments:
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r112720-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 -target-linker-version 2.20 -resource-dir
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r112720-install/lib/clang/2.8
-O1 -ferror-limit 19 -fmessage-length 95 -fgnu-runtime
-fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-38CgRv.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 '@uint161'
5.      Running pass 'Loop Invariant Code Motion' on basic block '%for.body'
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.