When compiled with 4.2.4 at -O3 -gnato cg460011 passes:
,.,. C460011 ACATS 2.5 08-06-19 08:49:17
---- C460011 Check that conversion to a modular type raises
Constraint_Error when the operand value is outside the
base range of the modular type.
==== C460011 PASSED ============================.
Whereas when compiled at -O3 -gnato on 4.3.1 and 4.4 20080618 it fails:
,.,. C460011 ACATS 2.5 08-06-19 08:49:17
---- C460011 Check that conversion to a modular type raises
Constraint_Error when the operand value is outside the
base range of the modular type.
==== C460011 PASSED ============================.
To reproduce:
$ gnatchop ../../trunk/gcc/testsuite/ada/acats/support/rep*
../../trunk/gcc/testsuite/ada/acats/tests/c4/c460011.a
$ gnatmake -O3 -gnato c460011.adb
$ ./c460011
--
Summary: [4.3/4.4 Regression][Ada] ACATS c460011 runtime fails at
-O3
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
GCC host triplet: x86_64-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36575
