From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-149233-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 1819 invoked by alias); 6 Jul 2005 22:57:58 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 1802 invoked by uid 48); 6 Jul 2005 22:57:54 -0000
Date: Wed, 06 Jul 2005 22:57:00 -0000
From: "laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20050706225752.22333.laurent@guerby.net>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug ada/22333] New: ACATS FAIL c34007p c34007r c45282b spurious discriminant CONSTRAINT_ERROR
X-Bugzilla-Reason: CC
X-SW-Source: 2005-07/txt/msg00656.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

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