From db78cb813401d088fb7ad35825f0bac9b9ef4754 Mon Sep 17 00:00:00 2001 From: Hristian Kirtchev Date: Tue, 25 Apr 2017 09:37:51 +0000 Subject: [PATCH] sem_prag.adb, [...]: Minor reformatting. 2017-04-25 Hristian Kirtchev * sem_prag.adb, sem_prag.ads: Minor reformatting. From-SVN: r247165 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/sem_prag.adb | 17 +++++++++++------ gcc/ada/sem_prag.ads | 17 +++++++++++------ 3 files changed, 26 insertions(+), 12 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b856420480a..084b900fa99 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2017-04-25 Hristian Kirtchev + + * sem_prag.adb, sem_prag.ads: Minor reformatting. + 2017-04-25 Ed Schonberg * sem_ch3.adb (Check_Entry_Contract): Call diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index aebc0a625e2..7a996bf975f 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -231,12 +231,17 @@ package body Sem_Prag is function Find_Related_Context (Prag : Node_Id; Do_Checks : Boolean := False) return Node_Id; - -- Subsidiaty to the analysis of pragmas Async_Readers, Async_Writers, - -- Constant_After_Elaboration, Effective_Reads, Effective_Writers and - -- Part_Of. Find the first source declaration or statement found while - -- traversing the previous node chain starting from pragma Prag. If flag - -- Do_Checks is set, the routine reports duplicate pragmas. The routine - -- returns Empty when reaching the start of the node chain. + -- Subsidiary to the analysis of pragmas + -- Async_Readers + -- Async_Writers + -- Constant_After_Elaboration + -- Effective_Reads + -- Effective_Writers + -- Part_Of + -- Find the first source declaration or statement found while traversing + -- the previous node chain starting from pragma Prag. If flag Do_Checks is + -- set, the routine reports duplicate pragmas. The routine returns Empty + -- when reaching the start of the node chain. function Get_Base_Subprogram (Def_Id : Entity_Id) return Entity_Id; -- If Def_Id refers to a renamed subprogram, then the base subprogram (the diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 049c5c4c197..401b7797122 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -357,12 +357,15 @@ package Sem_Prag is function Find_Related_Package_Or_Body (Prag : Node_Id; Do_Checks : Boolean := False) return Node_Id; - -- Subsidiary to the analysis of pragmas Abstract_State, Initial_Condition, - -- Initializes and Refined_State. Find the declaration of the related - -- package [body] subject to pragma Prag. The return value is either - -- N_Package_Declaration, N_Package_Body or Empty if the placement of - -- the pragma is illegal. If flag Do_Checks is set, the routine reports - -- duplicate pragmas. + -- Subsidiary to the analysis of pragmas + -- Abstract_State + -- Initial_Condition + -- Initializes + -- Refined_State + -- Find the declaration of the related package [body] subject to pragma + -- Prag. The return value is either N_Package_Declaration, N_Package_Body, + -- or Empty if the placement of the pragma is illegal. If flag Do_Checks is + -- set, the routine reports duplicate pragmas. function Find_Related_Declaration_Or_Body (Prag : Node_Id; @@ -372,6 +375,7 @@ package Sem_Prag is -- Depends -- Extensions_Visible -- Global + -- Max_Queue_Length -- Post -- Post_Class -- Postcondition @@ -382,6 +386,7 @@ package Sem_Prag is -- Refined_Global -- Refined_Post -- Test_Case + -- Volatile_Function -- as well as attributes 'Old and 'Result. Find the declaration of the -- related entry, subprogram or task type [body] subject to pragma Prag. -- If flag Do_Checks is set, the routine reports duplicate pragmas and -- 2.30.2