diff options
Diffstat (limited to 'gcc/ada/ali.adb')
| -rw-r--r-- | gcc/ada/ali.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ali.adb b/gcc/ada/ali.adb index 2fe9552..3a34318 100644 --- a/gcc/ada/ali.adb +++ b/gcc/ada/ali.adb @@ -111,6 +111,7 @@ package body ALI is Locking_Policy_Specified := ' '; No_Normalize_Scalars_Specified := False; No_Object_Specified := False; + GNATprove_Mode_Specified := False; Normalize_Scalars_Specified := False; Partition_Elaboration_Policy_Specified := ' '; Queuing_Policy_Specified := ' '; @@ -875,6 +876,7 @@ package body ALI is First_Sdep => No_Sdep_Id, First_Specific_Dispatching => Specific_Dispatching.Last + 1, First_Unit => No_Unit_Id, + GNATprove_Mode => False, Last_Interrupt_State => Interrupt_States.Last, Last_Sdep => No_Sdep_Id, Last_Specific_Dispatching => Specific_Dispatching.Last, @@ -1089,6 +1091,13 @@ package body ALI is ALIs.Table (Id).Partition_Elaboration_Policy := Partition_Elaboration_Policy_Specified; + -- Processing for GP + + elsif C = 'G' then + Checkc ('P'); + GNATprove_Mode_Specified := True; + ALIs.Table (Id).GNATprove_Mode := True; + -- Processing for Lx elsif C = 'L' then |