From patchwork Wed Dec 5 10:30:06 2012 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Arnaud Charlet X-Patchwork-Id: 203820 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id 349D62C00AC for ; Wed, 5 Dec 2012 21:30:24 +1100 (EST) Comment: DKIM? See http://www.dkim.org DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=gcc.gnu.org; s=default; x=1355308225; h=Comment: DomainKey-Signature:Received:Received:Received:Received:Received: Received:Received:Date:From:To:Cc:Subject:Message-ID: MIME-Version:Content-Type:Content-Disposition:User-Agent: Mailing-List:Precedence:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:Sender:Delivered-To; bh=PL1OIIs751NFw1eSI97x 65+rds8=; b=ZkUNLG0iEI/20FnAeZ8WmQsFB7ayoSuvad3WCZsd7jCmcP540t2q LF3NUlCZA2H51AjD5k6XobO7uGG2zYHTctLiLatBHTl+L21WlpuLHgVN2nF073Ci mbaRktAcHEv7SLfgd/ynfBiNtw6ER7SieOjlr7oPs/qNqOB24Gmj3Jc= Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=gcc.gnu.org; h=Received:Received:X-SWARE-Spam-Status:X-Spam-Check-By:Received:Received:Received:Received:Received:Date:From:To:Cc:Subject:Message-ID:MIME-Version:Content-Type:Content-Disposition:User-Agent:Mailing-List:Precedence:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:Sender:Delivered-To; b=CKc5SlpTS1dk+ZlFlUZR5IMI4VB6hFo+nXMCwIsCDJd5M3iq5ajxLNuErqeUzf BO2Ay3hvkJEFrb1RUki5CzVpHXokOeKE5UiKahSAbtFws2RqXW0YS8w29uu5j4+P 0JiqBiYtDMKBeSSGiDhXeNC5JOvIsI8L3TbEYZC+o/Ack=; Received: (qmail 14433 invoked by alias); 5 Dec 2012 10:30:16 -0000 Received: (qmail 14418 invoked by uid 22791); 5 Dec 2012 10:30:15 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL, BAYES_00, RCVD_IN_HOSTKARMA_NO X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 05 Dec 2012 10:30:08 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id AE9BC2E2C6; Wed, 5 Dec 2012 05:30:07 -0500 (EST) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id M2efl0KrL3Oq; Wed, 5 Dec 2012 05:30:07 -0500 (EST) Received: from kwai.gnat.com (kwai.gnat.com [205.232.38.4]) by rock.gnat.com (Postfix) with ESMTP id EE0262E0E6; Wed, 5 Dec 2012 05:30:06 -0500 (EST) Received: by kwai.gnat.com (Postfix, from userid 4192) id ECB7A919E3; Wed, 5 Dec 2012 05:30:06 -0500 (EST) Date: Wed, 5 Dec 2012 05:30:06 -0500 From: Arnaud Charlet To: gcc-patches@gcc.gnu.org Cc: Ed Schonberg Subject: [Ada] Implementation-defined restrictions Message-ID: <20121205103006.GA4410@adacore.com> MIME-Version: 1.0 Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org This patch remove discrepancies between the documentation on implementation-defined restrictions, and the internal data structure used for warnings and errors on implementation-defined restriction violations. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-12-05 Ed Schonberg * s-rident.ads, restrict.ads: Remove discrepancies between the documentation on implementation-defined restrictions, and the internal data structure used for warnings and errors on implementation-defined restriction violations. Index: restrict.ads =================================================================== --- restrict.ads (revision 194188) +++ restrict.ads (working copy) @@ -107,8 +107,9 @@ Implementation_Restriction : array (All_Restrictions) of Boolean := (Simple_Barriers => True, - No_Asynchronous_Control => True, No_Calendar => True, + No_Default_Initialization => True, + No_Direct_Boolean_Operators => True, No_Dispatching_Calls => True, No_Dynamic_Attachment => True, No_Elaboration_Code => True, @@ -116,12 +117,16 @@ No_Entry_Calls_In_Elaboration_Code => True, No_Entry_Queue => True, No_Exception_Handlers => True, + No_Exception_Propagation => True, No_Exception_Registration => True, + No_Finalization => True, No_Implementation_Attributes => True, No_Implementation_Pragmas => True, No_Implicit_Conditionals => True, + No_Implicit_Aliasing => True, No_Implicit_Dynamic_Code => True, No_Implicit_Loops => True, + No_Initialize_Scalars => True, No_Local_Protected_Objects => True, No_Protected_Type_Allocators => True, No_Relative_Delay => True, @@ -129,14 +134,15 @@ No_Secondary_Stack => True, No_Select_Statements => True, No_Standard_Storage_Pools => True, + No_Stream_Optimizations => True, No_Streams => True, No_Task_Attributes_Package => True, No_Task_Termination => True, - No_Unchecked_Conversion => True, - No_Unchecked_Deallocation => True, + No_Tasking => True, No_Wide_Characters => True, Static_Priorities => True, Static_Storage_Size => True, + SPARK => True, others => False); -- The following table records entries made by Restrictions pragmas Index: s-rident.ads =================================================================== --- s-rident.ads (revision 194188) +++ s-rident.ads (working copy) @@ -94,7 +94,7 @@ No_Allocators, -- (RM H.4(7)) No_Allocators_After_Elaboration, -- Ada 2012 (RM D.7(19.1/2)) No_Anonymous_Allocators, -- Ada 2012 (RM H.4(8/1)) - No_Asynchronous_Control, -- (RM D.7(10)) + No_Asynchronous_Control, -- (RM J.13(3/2) No_Calendar, -- GNAT No_Default_Stream_Attributes, -- Ada 2012 (RM 13.12.1(4/2)) No_Delay, -- (RM H.4(21)) @@ -142,8 +142,8 @@ No_Tasking, -- GNAT No_Terminate_Alternatives, -- (RM D.7(6)) No_Unchecked_Access, -- (RM H.4(18)) - No_Unchecked_Conversion, -- (RM H.4(16)) - No_Unchecked_Deallocation, -- (RM H.4(9)) + No_Unchecked_Conversion, -- (RM J.13(4/2)) + No_Unchecked_Deallocation, -- (RM J.13(5/2)) Static_Priorities, -- GNAT Static_Storage_Size, -- GNAT