diff options
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index fd01315215e..ae4a3bb2c6e 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -608,8 +608,8 @@ package body Einfo is -- Has_Inherited_Invariants Flag291 -- Is_Partial_Invariant_Procedure Flag292 -- Is_Actual_Subtype Flag293 + -- Has_Pragma_Unused Flag294 - -- (unused) Flag294 -- (unused) Flag295 -- (unused) Flag296 -- (unused) Flag297 @@ -1761,6 +1761,11 @@ package body Einfo is return Flag212 (Id); end Has_Pragma_Unreferenced_Objects; + function Has_Pragma_Unused (Id : E) return B is + begin + return Flag294 (Id); + end Has_Pragma_Unused; + function Has_Predicates (Id : E) return B is begin pragma Assert (Is_Type (Id)); @@ -4768,6 +4773,11 @@ package body Einfo is Set_Flag212 (Id, V); end Set_Has_Pragma_Unreferenced_Objects; + procedure Set_Has_Pragma_Unused (Id : E; V : B := True) is + begin + Set_Flag294 (Id, V); + end Set_Has_Pragma_Unused; + procedure Set_Has_Predicates (Id : E; V : B := True) is begin pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Void); @@ -9162,6 +9172,7 @@ package body Einfo is W ("Has_Pragma_Unmodified", Flag233 (Id)); W ("Has_Pragma_Unreferenced", Flag180 (Id)); W ("Has_Pragma_Unreferenced_Objects", Flag212 (Id)); + W ("Has_Pragma_Unused", Flag294 (Id)); W ("Has_Predicates", Flag250 (Id)); W ("Has_Primitive_Operations", Flag120 (Id)); W ("Has_Private_Ancestor", Flag151 (Id)); |