[Bug ada/22333] New: ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[Bug ada/22333] New: ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[laurent at guerby dot net]

On x86_64-linux as of
LAST_UPDATED: Wed Jul  6 13:35:26 UTC 2005

RUN c34007p

raised CONSTRAINT_ERROR : c34007p.adb:83 discriminant check failed

RUN c34007r

raised CONSTRAINT_ERROR : c34007r.adb:80 discriminant check failed

RUN c45282b

,.,. C45282B ACATS 2.5 05-07-06 17:16:11
---- C45282B CHECK THAT IN AND NOT IN ARE EVALUATED FOR ACCESS TYPES TO
                RECORD TYPES, PRIVATE TYPES, LIMITED PRIVATE TYPES WITH
                DISCRIMINANTS, AND TASK TYPES.

raised CONSTRAINT_ERROR : c45282b.adb:170 discriminant check failed

-- 
           Summary: ACATS FAIL c34007p c34007r c45282b spurious discriminant
                    CONSTRAINT_ERROR
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug ada/22333] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-07 00:45 -------
I wonder if this is caused by (my patch):
2005-07-02  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/14490
        * fold-const.c (fold_binary): Handle the return value of
        fold_to_nonsharp_ineq_using_bound if we get back the same operand back.
        Implement "X +- C1 CMP C2" folding to "X CMP C2 -+ C1".

But I have to double check,  I thought I had tested it with Ada but I cannot remember for sure.

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


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

[Bug ada/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS FAIL c34007p c34007r  |[4.1 Regression] ACATS FAIL
                   |c45282b spurious            |c34007p c34007r c45282b
                   |discriminant                |spurious discriminant
                   |CONSTRAINT_ERROR            |CONSTRAINT_ERROR
   Target Milestone|---                         |4.1.0


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

[Bug ada/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-09 20:17 -------
Nope it was not my change as that would mean -fwrapv fix it but it did not.  Though it looks like my 
patch actually helps code generation here.

-- 


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

[Bug tree-optimization/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-09 20:25 -------
Another missing V_MAY_DEF:
  #   VUSE <C.1_33>;
  #   VUSE <TMT.91_386>;
  VIEW_CONVERT_EXPR<struct c34007r__T8b>(*D.839) = C.1;


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
          Component|ada                         |tree-optimization
           Keywords|                            |alias


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

[Bug tree-optimization/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[christian dot joensson at gmail dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |christian dot joensson at
                   |                            |gmail dot com


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

[Bug tree-optimization/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-09-08 18:37 -------

What's the status of this bug?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug ada/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-08 18:42 -------
Thread starts:
http://gcc.gnu.org/ml/gcc/2005-09/msg00102.html

>From the looks of the thread it looks more likely a front-end bug rather than a tree-opt bug.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
          Component|tree-optimization           |ada
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-08 18:42:55
               date|                            |
   Target Milestone|4.1.0                       |---


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

[Bug ada/22333] [4.1 Regression] ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-09-08 18:47 -------
(In reply to comment #5)
> Thread starts:
> http://gcc.gnu.org/ml/gcc/2005-09/msg00102.html
> 
> From the looks of the thread it looks more likely a front-end bug rather than
a tree-opt bug.

Thanks.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dnovillo at gcc dot gnu dot |
                   |org                         |


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