diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-20 12:47:49 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-20 12:47:49 +0000 |
| commit | 75bd324d1e93f468e7d2fce1758f5b0f763b40cc (patch) | |
| tree | 6057e60f87f368caaf3ed4d9c6a0825c0c9f954d /gcc/ada/restrict.ads | |
| parent | 8d8f902ea1dd0ba0bf94a9ce0aec206533a02658 (diff) | |
| download | gcc-75bd324d1e93f468e7d2fce1758f5b0f763b40cc.tar.gz | |
2008-05-20 Robert Dewar <dewar@adacore.com>
* opt.ads (Treat_Restrictions_As_Warnings): New switch
* sem_prag.adb, par-prag.adb, restrict.ads: Implement flag
Treat_Restrictions_As_Warnings.
* switch-c.adb: Recognize new switch -gnatr
* usage.adb: Add line for -gnatr
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135632 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index 9dacefb3005..fbc8a8a54f8 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -277,11 +277,12 @@ package Restrict is (P : Profile_Name; N : Node_Id; Warn : Boolean); - -- Sets the set of restrictions associated with the given profile - -- name. N is the node of the construct to which error messages - -- are to be attached as required. Warn is set True for the case - -- of Profile_Warnings where the restrictions are set as warnings - -- rather than legality requirements. + -- Sets the set of restrictions associated with the given profile name. N + -- is the node of the construct to which error messages are to be attached + -- as required. Warn is set True for the case of Profile_Warnings where the + -- restrictions are set as warnings rather than legality requirements, and + -- is also True for Profile if the Treat_Restrictions_As_Warnings flag is + -- set. It is false for Profile if this flag is not set. procedure Set_Restriction (R : All_Boolean_Restrictions; @@ -301,7 +302,9 @@ package Restrict is (Unit : Node_Id; Warn : Boolean); -- Sets given No_Dependence restriction in table if not there already. - -- Warn is True if from Restriction_Warnings, False if from Restrictions. + -- Warn is True if from Restriction_Warnings, or for Restrictions if flag + -- Treat_Restrictions_As_Warnings is set. False if from Restrictions and + -- this flag is not set. function Tasking_Allowed return Boolean; pragma Inline (Tasking_Allowed); |