[Bug tree-optimization/54317] New: [4.8 Regression] FAIL: c45532m c45532n c45532o c45532p

[danglin at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54317

             Bug #: 54317
           Summary: [4.8 Regression] FAIL: c45532m c45532n c45532o c45532p
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: danglin@gcc.gnu.org
              Host: hppa*-*-* (32-bit)
            Target: hppa*-*-* (32-bit)
             Build: hppa*-*-* (32-bit)


All fails are similar:

BUILD c45532m.adb
gnatmake --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
-gnatws -O2 -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532m.adb
-largs
 --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
/test/gnu/gcc/objdir/gcc/xgcc -c -B/test/gnu/gcc/objdir/gcc/ -gnatws -O2
-I/test
/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532m.adbgnatbind
-I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support -x c45532m.alignatlink
c45532m.ali -O2 --GCC=/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/obj
dir/gcc/RUN c45532m

,.,. C45532M ACATS 2.5 12-08-17 21:15:16---- C45532M FIXED POINT OPERATOR "*".
   * C45532M RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN A, B, AND 
                A * B ARE ALL MODEL NUMBERS.
   * C45532M RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN A, B MODEL
                NUMBERS A * B NOT.
   * C45532M RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN USING NO
                MODEL NUMBERS.
**** C45532M FAILED ****************************.
FAIL:   c45532m

BUILD c45532n.adb
gnatmake --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
-gnatws -O2 -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532n.adb
-largs --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
/test/gnu/gcc/objdir/gcc/xgcc -c -B/test/gnu/gcc/objdir/gcc/ -gnatws -O2
-I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532n.adb
gnatbind -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support -x c45532n.ali
gnatlink c45532n.ali -O2 --GCC=/test/gnu/gcc/objdir/gcc/xgcc
-B/test/gnu/gcc/objdir/gcc/
RUN c45532n

,.,. C45532N ACATS 2.5 12-08-17 21:15:20
---- C45532N FIXED POINT OPERATOR "/".
   * C45532N RESULT OF "/" OUTSIDE RESULT MODEL INTERVAL WHEN A, B, AND 
                A / B ARE ALL MODEL NUMBERS.
   * C45532N RESULT OF "/" OUTSIDE RESULT MODEL INTERVAL WHEN USING NO
                MODEL NUMBERS.
**** C45532N FAILED ****************************.
FAIL:   c45532n

BUILD c45532o.adb
gnatmake --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
-gnatws -O2 -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532o.adb
-largs --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
/test/gnu/gcc/objdir/gcc/xgcc -c -B/test/gnu/gcc/objdir/gcc/ -gnatws -O2
-I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532o.adb
gnatbind -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support -x c45532o.ali
gnatlink c45532o.ali -O2 --GCC=/test/gnu/gcc/objdir/gcc/xgcc
-B/test/gnu/gcc/objdir/gcc/
RUN c45532o

,.,. C45532O ACATS 2.5 12-08-17 21:15:24
---- C45532O FIXED POINT OPERATOR "*".
   * C45532O RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN A, B, AND 
                A * B ARE ALL MODEL NUMBERS.
   * C45532O RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN A, B MODEL
                NUMBERS A * B NOT.
   * C45532O RESULT OF "*" OUTSIDE RESULT MODEL INTERVAL WHEN USING NO
                MODEL NUMBERS.
**** C45532O FAILED ****************************.
FAIL:   c45532o

BUILD c45532p.adbgnatmake --GCC="/test/gnu/gcc/objdir/gcc/xgcc
-B/test/gnu/gcc/objdir/gcc/" -gnat
ws -O2 -I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532p.adb
-largs --GCC="/test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/"
/test/gnu/gcc/objdir/gcc/xgcc -c -B/test/gnu/gcc/objdir/gcc/ -gnatws -O2
-I/test
/gnu/gcc/objdir/gcc/testsuite/ada/acats/support c45532p.adbgnatbind
-I/test/gnu/gcc/objdir/gcc/testsuite/ada/acats/support -x c45532p.ali
gnatlink c45532p.ali -O2 --GCC=/test/gnu/gcc/objdir/gcc/xgcc
-B/test/gnu/gcc/obj
dir/gcc/
RUN c45532p

,.,. C45532P ACATS 2.5 12-08-17 21:15:28
---- C45532P FIXED POINT OPERATOR "/".
   * C45532P RESULT OF "/" OUTSIDE RESULT MODEL INTERVAL WHEN A, B, AND 
                A / B ARE ALL MODEL NUMBERS.
   * C45532P RESULT OF "/" OUTSIDE RESULT MODEL INTERVAL WHEN USING NO
                MODEL NUMBERS.
**** C45532P FAILED ****************************.FAIL:   c45532p

Introduced in revision 189861:

2012-07-25 Marc Glisse <marc.glisse@inria.fr>

    PR tree-optimization/30318
    * tree-vrp.c (extract_range_from_binary_expr_1) [PLUS_EXPR]:
    Handle __int128.
    [MINUS_EXPR]: Merge with PLUS_EXPR.