diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-04 09:54:19 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-03-04 09:54:19 +0000 |
| commit | f3293abf09a06be56afdb475fb4c8a03edde267b (patch) | |
| tree | c6ff97a61069fd55e6d95e3d19dc0adade7dbb7e /gcc/ada/exp_unst.adb | |
| parent | 7274955067f995551f6cc5a5851a1335e2730178 (diff) | |
| download | gcc-f3293abf09a06be56afdb475fb4c8a03edde267b.tar.gz | |
2015-03-04 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb: Minor reformatting.
* exp_unst.adb (Build_Tables): Fix minor glitch for no separate
spec case.
* erroutc.adb (Delete_Msg): add missing decrement of info msg counter.
2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
references to formal parameters subject to pragma Unreferenced.
(Suppress_Reference): New routine.
* sem_attr.adb (Analyze_Attribute): Reimplement the analysis
of attribute 'Old. Attributes 'Old and 'Result now share
common processing.
(Analyze_Old_Result_Attribute): New routine.
(Check_Placement_In_Check): Removed.
(Check_Placement_In_Contract_Cases): Removed.
(Check_Placement_In_Test_Case): Removed.
(Check_Use_In_Contract_Cases): Removed.
(Check_Use_In_Test_Case): Removed.
(In_Refined_Post): Removed.
(Is_Within): Removed.
* sem_warn.adb (Check_Low_Bound_Tested): Code cleanup.
(Check_Low_Bound_Tested_For): New routine.
2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration):
Generate a runtime check to test the expression of pragma
Default_Initial_Condition when the object is default initialized.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221176 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_unst.adb')
| -rwxr-xr-x | gcc/ada/exp_unst.adb | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb index 29746dcac96..2b143c50f45 100755 --- a/gcc/ada/exp_unst.adb +++ b/gcc/ada/exp_unst.adb @@ -491,16 +491,16 @@ package body Exp_Unst is -- then we won't catch it in the traversal of the body. But we do -- want to visit the declaration in this case! - declare - Dummy : Traverse_Result; - Decl : constant Node_Id := - Parent (Declaration_Node (Corresponding_Spec (Subp_Body))); - pragma Assert (Nkind (Decl) = N_Subprogram_Declaration); - begin - if not Acts_As_Spec (Subp_Body) then + if not Acts_As_Spec (Subp_Body) then + declare + Dummy : Traverse_Result; + Decl : constant Node_Id := + Parent (Declaration_Node (Corresponding_Spec (Subp_Body))); + pragma Assert (Nkind (Decl) = N_Subprogram_Declaration); + begin Dummy := Visit_Node (Decl); - end if; - end; + end; + end if; -- Traverse the body to get the rest of the subprograms and calls |