[llvm-bugs] [Bug 40421] New: opt crashes with "opt -mem2reg -jump-threading -loop-simplify -loop-deletion -bdce"

[via llvm-bugs]

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

            Bug ID: 40421
           Summary: opt crashes with "opt -mem2reg -jump-threading
                    -loop-simplify -loop-deletion -bdce"
           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 of csmith's runtime'

$ opt -mem2reg -jump-threading -loop-simplify -loop-deletion -bdce small.bc -o
small-opt.bc
LLVMSymbolizer: error reading file: No such file or directory
#0 0x0000000001a68794 (opt+0x1a68794)
#1 0x0000000001a68a76 (opt+0x1a68a76)
#2 0x00007f0aa8e60890 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)
#3 0x0000000001150c76 (opt+0x1150c76)
#4 0x000000000115123f (opt+0x115123f)
#5 0x000000000185f110 (opt+0x185f110)
#6 0x00000000016021eb (opt+0x16021eb)
#7 0x0000000001602453 (opt+0x1602453)
#8 0x0000000001602858 (opt+0x1602858)
#9 0x000000000075b292 (opt+0x75b292)
#10 0x00007f0aa7d33b97 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x21b97)
#11 0x000000000074c1b9 (opt+0x74c1b9)
Stack dump:
0.      Program arguments: opt -mem2reg -jump-threading -loop-simplify
-loop-deletion -bdce crash12.bc -o crash12-opt.bc 
1.      Running pass 'Function Pass Manager' on module 'crash12.bc'.
2.      Running pass 'Bit-Tracking Dead Code Elimination' on function '@fn1'
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"
struct {
  uint32_t b
} a, d;
fn1() {
  int32_t *c;
  int g;
  for (d.b = 0; d.b;)
    for (; a.b;) {
      int32_t e = c;
      for (g = 0; g; g++)
        ;
      int16_t f;
      if (f)
        break;
      for (;; i(e))
        ;
    }
}

-- 
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/e43d2d23/attachment-0001.html>