diff options
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index e9f6dd7ab9d..136195ee33a 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, 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- -- @@ -1872,6 +1872,14 @@ package body Sinfo is return Flag4 (N); end Is_Folded_In_Parser; + function Is_Generic_Contract_Pragma + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Pragma); + return Flag2 (N); + end Is_Generic_Contract_Pragma; + function Is_Ignored (N : Node_Id) return Boolean is begin @@ -5069,6 +5077,14 @@ package body Sinfo is Set_Flag4 (N, Val); end Set_Is_Folded_In_Parser; + procedure Set_Is_Generic_Contract_Pragma + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Pragma); + Set_Flag2 (N, Val); + end Set_Is_Generic_Contract_Pragma; + procedure Set_Is_Ignored (N : Node_Id; Val : Boolean := True) is begin |