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: unassig...@gcc.gnu.org
ReportedBy: dang...@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.gli...@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.
