[llvm-bugs] [Bug 40423] New: opt crashes with "opt -licm -gvn -argpromotion -correlated-propagation -loop-deletion -correlated-propagation"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=40423

            Bug ID: 40423
           Summary: opt crashes with "opt -licm -gvn -argpromotion
                    -correlated-propagation -loop-deletion
                    -correlated-propagation"
           Product: libraries
           Version: 6.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: cszide at 163.com
                CC: llvm-bugs at lists.llvm.org

$ clang -v
clang version 6.0.0 (tags/RELEASE_600/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir:
/home/jack-zhou/clang+llvm-6.0.0-x86_64-linux-gnu-ubuntu-16.04/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.3.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.3.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64

$clang -O3 -c -emit-llvm  -mllvm -disable-llvm-optzns small.c -o small.bc
-I"path to csmith's runtime"

$opt -licm -gvn -argpromotion -correlated-propagation -loop-deletion
-correlated-propagation small.bc -o small-opt.bc

LLVMSymbolizer: error reading file: No such file or directory
#0 0x0000000001a68794 (opt+0x1a68794)
#1 0x0000000001a68a76 (opt+0x1a68a76)
#2 0x00007f4690474890 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)
#3 0x000000000163c515 (opt+0x163c515)
#4 0x00000000011a6205 (opt+0x11a6205)
#5 0x00000000011a4eae (opt+0x11a4eae)
#6 0x00000000011a3069 (opt+0x11a3069)
#7 0x000000000186a677 (opt+0x186a677)
#8 0x000000000186b43e (opt+0x186b43e)
#9 0x00000000016021eb (opt+0x16021eb)
#10 0x000000000113d9a9 (opt+0x113d9a9)
#11 0x0000000001602858 (opt+0x1602858)
#12 0x000000000075b292 (opt+0x75b292)
#13 0x00007f468f347b97 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x21b97)
#14 0x000000000074c1b9 (opt+0x74c1b9)
Stack dump:
0.      Program arguments: opt -licm -gvn -argpromotion -correlated-propagation
-loop-deletion -correlated-propagation small.bc -o small-opt.bc 
1.      Running pass 'CallGraph Pass Manager' on module 'crash64.bc'.
2.      Running pass 'Value Propagation' on function '@e'
Segmentation fault (core dumped)

The following is the source code of small.c, which is generated by csmith and
reduced by creduce.

#include "csmith.h"
union a {
  int32_t b
} d;
c;
union a e() {
  int16_t as;
  uint64_t f;
  for (d.b = 0; d.b <= 2;)
    for (; 4; g())
      ;
  for (; as;) {
    int32_t cy;
    if (~(c = 0))
      f++;
    else {
      union a cz;
      return cz;
    }
  }
}

-- 
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/20190123/77eebe16/attachment-0001.html>