From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-180813-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16479 invoked by alias); 22 Mar 2006 07:29:28 -0000
Received: (qmail 16465 invoked by uid 48); 22 Mar 2006 07:29:26 -0000
Date: Wed, 22 Mar 2006 07:29:00 -0000
Subject: [Bug ada/26797]  New: [4.2 Regression] ACATS c35507m cd2a23e cxh1001 wrong code
X-Bugzilla-Reason: CC
Message-ID: <bug-26797-7210@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org>
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
X-SW-Source: 2006-03/txt/msg02172.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

FAIL on both x86 and x86_64-linux. Was PASS on 20060314.

,.,. C35507M ACATS 2.5 06-03-22 02:43:29
---- C35507M CHECK THAT THE ATTRIBUTES 'POS' AND 'VAL' YIELD THE CORRECT
                RESULTS WHEN THE PREFIX IS A CHARACTER TYPE WITH AN
                ENUMERATION REPESENTATION CLAUSE.
   * C35507M NO EXCEPTION RAISED FOR CHAR'VAL (IDENT_INT(2)) - 2.
   * C35507M NO EXCEPTION RAISED FOR NEWCHAR'VAL (IDENT_INT (-1)) - 2.
**** C35507M FAILED ****************************.

,.,. CD2A23E ACATS 2.5 06-03-22 03:14:18
---- CD2A23E CHECK THAT WHEN A SIZE SPECIFICATION AND AN ENUMERATION
                REPRESENTATION CLAUSE ARE GIVEN FOR AN ENUMERATION TYPE,
                THEN SUCH A TYPE CAN BE PASSED AS AN ACTUAL PARAMETER TO
                A GENERIC PROCEDURE.
   * CD2A23E CONSTRAINT ERROR NOT RAISED FOR CHECK_TYPE'SUCC.
   * CD2A23E CONSTRAINT ERROR NOT RAISED FOR CHECK_TYPE'PRED.
**** CD2A23E FAILED ****************************.

,.,. CXH1001 ACATS 2.5 06-03-22 03:28:45
---- CXH1001 Check that the configuration pragma Normalize_Scalars
                causes uninitialized scalar objects to be set to a
                predictable value. Check that multiple compilation units
                are affected.  Check for uninitialized scalar objects
                that are subcomponents of composite objects, unassigned 
                out parameters, have been allocated without an initial
                value, and are stand alone..
   * CXH1001 Implicit initial value for local variable is a value of the
                type.
   * CXH1001 Implicit initial value for local variable is a value of the
                type.
**** CXH1001 FAILED ****************************.


-- 
           Summary: [4.2 Regression] ACATS c35507m cd2a23e cxh1001 wrong
                    code
           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=26797