diff options
| author | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
|---|---|---|
| committer | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
| commit | e252b51ccde010cbd2a146485d8045103cd99533 (patch) | |
| tree | e060f101cdc32bf5e520de8e5275db9d4236b74c /gcc/ada/restrict.ads | |
| parent | f10c7c4596dda99d2ee872c995ae4aeda65adbdf (diff) | |
| parent | 104c05c5284b7822d770ee51a7d91946c7e56d50 (diff) | |
| download | gcc-e252b51ccde010cbd2a146485d8045103cd99533.zip gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.gz gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.bz2 | |
Merge from trunk revision 104c05c5284b7822d770ee51a7d91946c7e56d50.
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index 7a84d37..eec85c2 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2021, 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- -- @@ -114,6 +114,7 @@ package Restrict is No_Default_Initialization => True, No_Direct_Boolean_Operators => True, No_Dispatching_Calls => True, + No_Dynamic_Accessibility_Checks => True, No_Dynamic_Attachment => True, No_Elaboration_Code => True, No_Enumeration_Maps => True, @@ -377,6 +378,15 @@ package Restrict is -- pragma Restrictions_Warning, or attribute Restriction_Set. Returns -- True if N has the proper form for an entity name, False otherwise. + function No_Dynamic_Accessibility_Checks_Enabled + (N : Node_Id) return Boolean; + -- Test to see if the current restrictions settings specify that + -- No_Dynamic_Accessibility_Checks is activated. + + -- N is currently unused, but is reserved for future use and debugging + -- purposes to provide more context on a node for which an accessibility + -- check is being performed or generated (e.g. is N in a predefined unit). + function No_Exception_Handlers_Set return Boolean; -- Test to see if current restrictions settings specify that no exception -- handlers are present. This function is called by Gigi when it needs to |