[LLVMbugs] [Bug 8116] New: opt segfaults in GVN pass on klee_int.ll

[bugzilla-daemon at llvm.org]

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

           Summary: opt segfaults in GVN pass on klee_int.ll
           Product: tools
           Version: 2.7
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: opt
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nobled at dreamwidth.org
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5472)
 --> (http://llvm.org/bugs/attachment.cgi?id=5472)
reduced testcase of klee_int.ll

Klee SVN checkout: r110352
LLVM: 2.7 (compiled from source)
llvm-gcc: 2.7 (packaged in Ubuntu Lucid)

Following the instructions on http://klee.llvm.org/GetStarted.html (which say
to use LLVM 2.7 in case Klee isn't up to date with LLVM trunk), I can't build
Klee because opt segfaults on klee_int.ll.


Bugpoint-reduced test case attached.

../llvm-2.7/Release/bin/bugpoint -auto -std-compile-opts
./runtime/Intrinsic/Release/klee_int.ll
*** You can reproduce the problem with: opt bugpoint-reduced-simplified.bc -gvn

Klee make log:
----
llvm[2]: Compiling klee_init_env.c for Release build
llvm[2]: Linking Release executable klee-replay (without symbols)
llvm[2]: ======= Finished Linking Release Executable klee-replay (without
symbols)
make[2]: Leaving directory `/root/klee/tools/klee-replay'
make[1]: Leaving directory `/root/klee/tools'
make[1]: Entering directory `/root/klee/runtime'
make[2]: Entering directory `/root/klee/runtime/Intrinsic'
llvm[2]: Compiling klee_div_zero_check.c for Release build (bytecode)
llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for Release
build (bytecode)
llvm[2]: Compiling klee_int.c for Release build (bytecode)
llvm[2]: Compiling klee_int.ll to klee_int.bc for Release build (bytecode)
0  opt 0x084ad628
Stack dump:
0.    Program arguments: /root/llvm-2.7/Release/bin/opt
/root/klee/runtime/Intrinsic/Release/klee_int.ll -std-compile-opts -o
/root/klee/runtime/Intrinsic/Release/klee_int.bc 
1.    Running pass 'CallGraph Pass Manager' on module
'/root/klee/runtime/Intrinsic/Release/klee_int.ll'.
2.    Running pass 'Global Value Numbering' on function '@klee_int'
make[2]: *** [/root/klee/runtime/Intrinsic/Release/klee_int.bc] Segmentation
fault
make[2]: Leaving directory `/root/klee/runtime/Intrinsic'
make[1]: *** [Intrinsic/.makeall] Error 2
make[1]: Leaving directory `/root/klee/runtime'
make: *** [all] Error 1
---

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