<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - opt crashes with "opt -mem2reg -jump-threading -loop-simplify -loop-deletion -bdce""
   href="https://bugs.llvm.org/show_bug.cgi?id=40421">40421</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>opt crashes with "opt -mem2reg -jump-threading -loop-simplify -loop-deletion -bdce"
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>6.0
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Scalar Optimizations
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>cszide@163.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>$ 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))
        ;
    }
}</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>