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

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

[laurent at guerby dot net]

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

[Bug ada/26561] [4.2 Regression] handful of ACATS failures following VRP change

[ebotcazou at gcc dot gnu dot org]

------- Comment #1 from ebotcazou at gcc dot gnu dot org  2006-03-04 18:42 -------
> On x86 and x86_64 bootstrap now works, but there are 8 new ACATS FAIL: 
> c34004a c460008 c460011 c46033a cxa4025 cxa4028 cxa4033 cxg2024

Only 6 as of this report actually, c460008 c460011 are fixed. :-)


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-03-04 18:42:33
               date|                            |
            Summary|ACATS various FAIL following|[4.2 Regression] handful of
                   |VRP change                  |ACATS failures following VRP
                   |                            |change


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

[Bug ada/26561] [4.2 Regression] handful of ACATS failures following VRP change

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.2.0


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

[Bug ada/26561] [4.2 Regression] handful of ACATS failures at -O0

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2006-03-05 21:39 -------
VRP is out of the loop, they are all present at -O0.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-03-04 18:42:33         |2006-03-05 21:39:54
               date|                            |
            Summary|[4.2 Regression] handful of |[4.2 Regression] handful of
                   |ACATS failures following VRP|ACATS failures at -O0
                   |change                      |


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

[Bug ada/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[ebotcazou at gcc dot gnu dot org]

------- Comment #3 from ebotcazou at gcc dot gnu dot org  2006-03-05 23:30 -------
c34004a, c46033a and cxg2024 have been introduced/exposed by

2006-02-24  Roger Sayle  <roger@eyesopen.com>

        * fold-const.c (fold_comparison): New subroutine of fold_binary
        containing transformations common to both the equality and
        ordering relational operators, factored out of fold_binary.
        (fold_binary): Separate out the equality operators (EQ_EXPR
        and NE_EXPR) from the ordering operators (LT_EXPR, GT_EXPR,
        LE_EXPR and GE_EXPR), calling fold_comparison to perform the
        transformations common to both.
        (fold_div_compare): Fix latent bugs in the previously unreachable
        LT_EXPR and GE_EXPR cases.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.2 Regression] handful of |[4.2 Regression] ACATS
                   |ACATS failures at -O0       |failures c34004a, c46033a
                   |                            |and cxg2024 at -O0


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

[Bug middle-end/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-03-06 09:14 -------
In Roger's court now.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|roger at eyesopen dot com   |
         AssignedTo|ebotcazou at gcc dot gnu dot|sayle at gcc dot gnu dot org
                   |org                         |


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

[Bug middle-end/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-03-06 14:26 -------
Just for future reference, here is the C testcase that Eric B. posted to the
list:
/* PR middle-end/26561 */

extern void abort(void);

int always_one_1 (int a)
{
  if (a/100 >= -999999999)
    return 1;
  else
    return 0;
}

int always_one_2 (int a)
{
  if (a/100 < -999999999)
    return 0;
  else
    return 1;
}

int main(void)
{
  if (always_one_1 (0) != 1)
    abort ();

  if (always_one_2 (0) != 1)
    abort ();

  return 0;
}


-- 


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

[Bug middle-end/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #6 from belyshev at depni dot sinp dot msu dot ru  2006-03-08 12:46 -------
This bug prevents emacs from working, it says "M-x is undefined".


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
   Last reconfirmed|2006-03-05 21:39:54         |2006-03-08 12:46:12
               date|                            |


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

[Bug middle-end/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[sayle at gcc dot gnu dot org]

------- Comment #7 from sayle at gcc dot gnu dot org  2006-03-09 14:54 -------
Subject: Bug 26561

Author: sayle
Date: Thu Mar  9 14:54:11 2006
New Revision: 111862

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111862
Log:
2006-03-09  Roger Sayle  <roger@eyesopen.com>
            Eric Botcazou  <ebotcazou@libertysurf.fr>

        PR middle-end/26561
        * fold-const.c (fold_div_compare): When optimizing X/C1 op C2 as
        X op C3, consider whether C3 overflows towards +Inf or -Inf.

        * gcc.c-torture/execute/divcmp-5.c: New test case.


Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/26561] [4.2 Regression] ACATS failures c34004a, c46033a and cxg2024 at -O0

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2006-03-09 15:32 -------
Thanks Roger!


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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