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

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `!cast<StoreInst>(Use)->isVolatile() && "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, chenyang at cs.utah.edu


regehr at home:~/volatile/bugs/tmp338$ clang -v

clang version 2.9 (trunk 119082)
Target: i386-pc-linux-gnu
Thread model: posix

regehr at home:~/volatile/bugs/tmp338$ clang -O -c small.c -w

clang: LICM.cpp:695: void<unnamed>::LICM::PromoteAliasSet(llvm::AliasSet&):
Assertion `!cast<StoreInst>(Use)->isVolatile() && "AST broken"' failed.
0  clang 0x093cde58
Stack dump:
0.    Program arguments:
/mnt/z/z/compiler-install/llvm-gcc-r119082-install/bin/clang -cc1 -triple
i386-pc-linux-gnu -emit-obj -disable-free -main-file-name small.c
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases
-target-cpu pentium4 -target-linker-version 2.20.51 -resource-dir
/mnt/z/z/compiler-install/llvm-gcc-r119082-install/bin/../lib/clang/2.9 -O2 -w
-ferror-limit 19 -fmessage-length 80 -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o small.o -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 '@nt320'
5.    Running pass 'Loop Invariant Code Motion' on basic block '%for.body'
clang: error: unable to execute command: Aborted
clang: error: clang frontend command failed due to signal 1 (use -v to see
invocation)

regehr at home:~/volatile/bugs/tmp338$ cat small.c

volatile unsigned long long g_10;

int *volatile g_17[4][1][1][5][1][5] = {
};

int g_45;
int g_46;
int g_47;
int g_48[9][7] = {
};

void nt320 (int * p_41, int * p_42, int * p_43)
{
  int l_44 = 0;
  for (0; 1; g_47 += 1)
    g_17[l_44][g_10][g_45][g_46][g_47][g_48[1][5]] = &g_47;
}

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