diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:46:14 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:46:14 +0100 |
| commit | c63a2ad68bc0704fc2926badc46f3ccd952dbbb9 (patch) | |
| tree | 9b5192623bf3246439db9c7ea3d6c832eca97899 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 40bf00b1f85afad60951ed3c07b5ffd6414241cf (diff) | |
| download | gcc-c63a2ad68bc0704fc2926badc46f3ccd952dbbb9.zip gcc-c63a2ad68bc0704fc2926badc46f3ccd952dbbb9.tar.gz gcc-c63a2ad68bc0704fc2926badc46f3ccd952dbbb9.tar.bz2 | |
[multiple changes]
2017-01-19 Hristian Kirtchev <kirtchev@adacore.com>
* lib-xref-spark_specific.adb, sem_util.adb, sem_util.ads,
sem_ch4.adb, sem_ch8.adb, lib-xref.ads: Minor reformatting.
2017-01-19 Bob Duff <duff@adacore.com>
* bcheck.adb (Check_Consistent_Dynamic_Elaboration_Checking):
Increment Warnings_Detected. It was decrementing, which is
wrong since we just issued a warning message.
* binderr.ads (Errors_Detected, Warnings_Detected): Declare
these variables to be of subtype Nat instead of Int, because
they should never be negative.
2017-01-19 Javier Miranda <miranda@adacore.com>
* contracts.adb (Build_Postconditions_Procedure): Replace
Generate_C_Code by Modify_Tree_For_C.
* exp_aggr.adb (Build_Record_Aggr_Code, Expand_Array_Aggregate):
Replace Generate_C_Code by Modify_Tree_For_C.
* exp_attr.adb (Float_Valid, Is_GCC_Target): Replace Generate_C_Code by
Modify_Tree_For_C.
* exp_ch11.adb (Expand_N_Exception_Declaration): Replace
Generate_C_Code by Modify_Tree_For_C.
* exp_ch4.adb (Expand_Allocator_Expression): Replace
Generate_C_Code by Modify_Tree_For_C.
* exp_dbug.adb (Qualify_Entity_Name): Replace Generate_C_Code
by Modify_Tree_For_C.
* exp_util.adb (Remove_Side_Effects, Side_Effect_Free): Replace
Generate_C_Code by Modify_Tree_For_C.
* sem_res.adb (Resolve_Type_Conversion): Replace Generate_C_Code
by Modify_Tree_For_C.
* sinfo.ads (Modify_Tree_For_C): Adding documentation.
From-SVN: r244619
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index e7239ec..d00c4eed 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -1444,12 +1444,15 @@ package body SPARK_Specific is procedure Traverse_Package_Body (N : Node_Id) is Spec_E : constant Entity_Id := Unique_Defining_Entity (N); + begin case Ekind (Spec_E) is when E_Package => Traverse_Declarations_And_HSS (N); + when E_Generic_Package => null; + when others => raise Program_Error; end case; @@ -1470,12 +1473,18 @@ package body SPARK_Specific is procedure Traverse_Subprogram_Body (N : Node_Id) is Spec_E : constant Entity_Id := Unique_Defining_Entity (N); + begin case Ekind (Spec_E) is - when E_Function | E_Procedure | Entry_Kind => + when Entry_Kind + | E_Function + | E_Procedure + => Traverse_Declarations_And_HSS (N); + when Generic_Subprogram_Kind => null; + when others => raise Program_Error; end case; |