[LLVMbugs] [Bug 3596] New: doesn't notice that program Aborts

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Feb 16 12:31:56 PST 2009


           Summary: doesn't notice that program Aborts
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu
        Depends on: 3595

Created an attachment (id=2570)
 --> (http://llvm.org/bugs/attachment.cgi?id=2570)

+++ This bug was initially created as a clone of Bug #3595 +++

While trying to reduce a testcase for PR3595, I stumbled upon a bugpoint bug.

If I don't print anything in my testcase, but only return 0 / abort(), then
bugpoint says that the failing program matches the reference output!

bugpoint  -simplifycfg -domtree -domfrontier -mem2reg -instcombine -simplifycfg
-simplify-libcalls -instcombine -jump-threading -simplifycfg -domtree
-domfrontier -scalarrepl -instcombine -break-crit-edges -condprop -tailcallelim
-simplifycfg -reassociate -domtree -loops -loopsimplify -domfrontier
-scalar-evolution -lcssa -loop-rotate -licm -lcssa -loop-unswitch
-scalar-evolution -lcssa -loop-index-split -instcombine -scalar-evolution
-lcssa -indvars -scalar-evolution -lcssa -loop-deletion -instcombine -memdep
-gvn -memdep -memcpyopt -sccp -instcombine -break-crit-edges -condprop -domtree
-memdep -dse -adce -simplifycfg -preverify -domtree -verify x.bc
Read input file      : 'x.bc'
*** All input ok
Running selected passes on program to test for crash: Success!
Initializing execution environment: Found gcc: /usr/lib/ccache/gcc
Running the code generator to test for a crash: <cbe>
Generating reference output from raw program: <cbe><llc><gcc><program>Reference
output is: bugpoint.reference.out

*** Checking the code generator...
*** Debugging miscompilation!
Checking to see if '' compile correctly: <cbe><gcc><program> yup.
Checking to see if '-simplifycfg -domtree -domfrontier -mem2reg -instcombine
-simplifycfg -simplify-libcalls -instcombine -jump-threading -simplifycfg
-domtree -domfrontier -scalarrepl -instcombine -break-crit-edges -condprop
-tailcallelim -simplifycfg -reassociate -domtree -loops -loopsimplify
-domfrontier -scalar-evolution -lcssa -loop-rotate -licm -lcssa -loop-unswitch
-scalar-evolution -lcssa -loop-index-split -instcombine -scalar-evolution
-lcssa -indvars -scalar-evolution -lcssa -loop-deletion -instcombine -memdep
-gvn -memdep -memcpyopt -sccp -instcombine -break-crit-edges -condprop -domtree
-memdep -dse -adce -simplifycfg -preverify -domtree -verify' compile correctly:
<cbe><gcc><program> yup.
*** Optimized program matches reference output!  No problem detected...
bugpoint can't help you with your problem!

Once I added a printf("OK"); to the testcase, bugpoint was able to reduce the

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.

More information about the llvm-bugs mailing list