[Bug ada/26561] New: ACATS various FAIL following VRP change

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

On x86 and x86_64 bootstrap now works, but there are 8 new ACATS FAIL: 
c34004a c460008 c460011 c46033a cxa4025 cxa4028 cxa4033 cxg2024

,.,. C34004A ACATS 2.5 06-03-04 16:37:32
---- C34004A CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED 
                (IMPLICITLY) FOR DERIVED FIXED POINT TYPES.

raised CONSTRAINT_ERROR : c34004a.adb:145 range check failed

,.,. C460008 ACATS 2.5 06-03-04 16:48:02
---- C460008 Check that conversion to a modular type raises
                Constraint_Error when the operand value is outside the
                base range of the modular type.
   * C460008 Fix expected Constraint_Error D2S Static,  At_Mod.
   - C460008 Value of 255 not properly converted.
   * C460008 Fix expected Constraint_Error D2W Dynamic, At_Mod.
   - C460008 Value of 258 not properly converted.
**** C460008 FAILED ****************************.

,.,. C460011 ACATS 2.5 06-03-04 16:48:08
---- 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 Deci expected Constraint_Error M2S Static,  At_Mod.
   - C460011 Value of 255 not properly converted.
   * C460011 Deci expected Constraint_Error M2W Dynamic, At_Mod.
   - C460011 Value of 258 not properly converted.
   * C460011 Deci expected Constraint_Error M2W Static,  Over_Mod.
   - C460011 Value of 10000 not properly converted.
**** C460011 FAILED ****************************.

,.,. C46033A ACATS 2.5 06-03-04 16:48:12
---- C46033A CHECK CONVERSIONS TO FIXED POINT TYPES WHEN THE OPERAND
                TYPE IS ANOTHER FIXED POINT TYPE.

raised CONSTRAINT_ERROR : c46033a.adb:98 range check failed

,.,. CXA4025 ACATS 2.5 06-03-04 17:14:05
---- CXA4025 Check that subprograms defined in packages
                Ada.Strings.Wide_Maps and Ada.Strings.Wide_Fixed produce
                correct results.
   * CXA4025 Incorrect result from Procedure Trim, trim side = left,
                justify = right, pad = x.
   * CXA4025 Incorrect result from Procedure Trim, trim side = right,
                justify = center, default pad.
**** CXA4025 FAILED ****************************.

,.,. CXA4028 ACATS 2.5 06-03-04 17:14:13
---- CXA4028 Check that Ada.Strings.Bounded procedures Append, Head,
                Tail, and Trim, and relational operator functions =, >, 
                >=, <, <= with parameter combinations of type String and
                Bounded_String, produce correct results.
   * CXA4028 Incorrect results from Procedure Trim with Side = Left.
**** CXA4028 FAILED ****************************.

,.,. CXA4033 ACATS 2.5 06-03-04 17:14:31
---- CXA4033 Check that subprograms defined in the package
                Ada.Strings.Wide_Unbounded produce correct results.
   * CXA4033 Incorrect results from Procedure Trim - 1.
**** CXA4033 FAILED ****************************.

,.,. CXG2024 ACATS 2.5 06-03-04 17:18:35
---- CXG2024 Check the accuracy of multiplication and division of mixed 
                decimal and binary fixed point numbers.
   * CXG2024 unexpected exception in Do_Check.
**** CXG2024 FAILED ****************************.


-- 
           Summary: ACATS various FAIL following VRP change
           Product: gcc
           Version: 4.2.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


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