[LLVMbugs] [Bug 7535] New: Cannot promote non-promotable alloca!

[bugzilla-daemon at llvm.org]

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

           Summary: Cannot promote non-promotable alloca!
           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 gamow tmp417]$ clang -v
clang version 2.8 (trunk 107307)
Target: x86_64-unknown-linux-gnu
Thread model: posix

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

clang: PromoteMemoryToRegister.cpp:350: void<unnamed>::PromoteMem2Reg::run():
Assertion `isAllocaPromotable(AI) && "Cannot promote non-promotable alloca!"'
failed.
0  clang           0x000000000133400f
1  clang           0x00000000013360a2
2  libpthread.so.0 0x00007f42d7a34190
3  libc.so.6       0x00007f42d6d394b5 gsignal + 53
4  libc.so.6       0x00007f42d6d3cf50 abort + 384
5  libc.so.6       0x00007f42d6d32481 __assert_fail + 241
6  clang           0x00000000011638d3
7  clang           0x0000000001163c49
8  clang           0x000000000108e724
9  clang           0x000000000108efa5
10 clang           0x00000000011a9e7e
11 clang           0x00000000012b74ed
12 clang           0x000000000117c2db
13 clang           0x000000000117ca55
14 clang           0x00000000012b6fee
15 clang           0x00000000012b7167
16 clang           0x00000000005022a7
17 clang           0x00000000004fe41b
18 clang           0x000000000060c83f
19 clang           0x00000000004ff384
20 clang           0x0000000000423bcd
21 clang           0x000000000040a01b
22 clang           0x0000000000410251 main + 3185
23 libc.so.6       0x00007f42d6d24abd __libc_start_main + 253
24 clang           0x0000000000407769
Stack dump:
0.    Program arguments:
/uusoc/exports/scratch/regehr/z/compiler-install/llvm-gcc-r107307-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-r107307-install/lib/clang/2.8
-O1 -w -ferror-limit 19 -fmessage-length 80 -fgnu-runtime
-fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-jAg7P4.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 '@uint321'
5.    Running pass 'Loop Invariant Code Motion' on basic block '%for.body6'
clang: error: clang frontend command failed due to signal 6 (use -v to see
invocation)

[regehr at gamow tmp417]$ cat small.c

typedef int int32_t;
int32_t g_273;
int32_t g_276[8][5][1] = {
};

int32_t *volatile **volatile g_431[2][1] = {
};

void
uint321 (void)
{
  int32_t *l_418 = &g_276[3][1][0];
  int i, j;
  int32_t *l_427[1];
  for (i = 0; i < 1; i++)
    l_427[i] = &g_276[3][1][0];
  for (j = 0; j < 1; 1)
    {
      int32_t **l_429 = &l_427[0];
      int32_t **const *l_430[3];
    lbl_435:*l_429 = 0;
      **l_429 = *l_418 ^ l_430[2] == g_431[1][0];
      if (g_273)
    goto lbl_435;
    }
}

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