[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