<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 -licm -gvn -argpromotion -correlated-propagation -loop-deletion -correlated-propagation""
   href="https://bugs.llvm.org/show_bug.cgi?id=40423">40423</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>opt crashes with "opt -licm -gvn -argpromotion -correlated-propagation -loop-deletion -correlated-propagation"
          </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 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;
    }
  }
}</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>