summaryrefslogtreecommitdiff
path: root/gcc/ada/sem.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2013-07-08 08:15:25 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2013-07-08 08:15:25 +0000
commitceec4f7ca854e241bd292abf31e988a8a448da9c (patch)
tree50c5674f4b0dc7891f7116f7ee46b8a75f9b73f7 /gcc/ada/sem.ads
parent3f386ee70d13738dd87c4395426933660d7916d2 (diff)
downloadgcc-ceec4f7ca854e241bd292abf31e988a8a448da9c.tar.gz
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem.ads: Minor comment updates. * s-restri.ads, exp_ch6.adb, lib-load.ads, exp_ch3.adb, sem_ch10.adb: Minor reformatting. 2013-07-08 Robert Dewar <dewar@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry for Restriction_Set. * gnat_rm.texi: Add missing menu entry for Attribute Ref Add documentation for attribute Restriction_Set. * lib-writ.adb (Write_With_Lines): Generate special W lines for Restriction_Set. * lib-writ.ads: Document special use of W lines for Restriction_Set. * lib.ads (Restriction_Set_Dependences): New table. * par-ch4.adb (Is_Parameterless_Attribute): Add Loop_Entry to list (Scan_Name_Extension_Apostrophe): Remove kludge test for Loop_Entry (Scan_Name_Extension_Apostrophe): Handle No_Dependence for Restricton_Set. * restrict.adb (Check_SPARK_Restriction): Put in Alfa order (OK_No_Dependence_Unit_Name): New function. * restrict.ads (OK_No_Dependence_Unit_Name): New function. * rtsfind.adb: Minor reformatting Minor code reorganization. * sem_attr.adb (Analyze_Attribute): Add processing for Restriction_Set. * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): Remove Check_Unit_Name and use new function OK_No_Dependence_Unit_Name instead. * sinfo.ads: Minor comment updates. * snames.ads-tmpl: Add entry for Restriction_Set attribute. 2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Apply_Accessibility_Check): Remove local constant Pool_Id and local variable Free_Stmt. Do not deallocate the faulty object as "free" is not available on all targets/profiles. 2013-07-08 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Storage_Size aspect for task type in case discriminant is referenced. (Analyze_Attribute_Definition_Clause): Do not flag Storage_Size attribute definition clause as obsolescent if from aspect. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200771 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem.ads')
-rw-r--r--gcc/ada/sem.ads16
1 files changed, 9 insertions, 7 deletions
diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads
index 57d5d911058..9bc7ff757bc 100644
--- a/gcc/ada/sem.ads
+++ b/gcc/ada/sem.ads
@@ -654,12 +654,12 @@ package Sem is
generic
with procedure Action (Item : Node_Id);
procedure Walk_Library_Items;
- -- Primarily for use by SofCheck Inspector. Must be called after semantic
- -- analysis (and expansion) are complete. Walks each relevant library item,
- -- calling Action for each, in an order such that one will not run across
- -- forward references. Each Item passed to Action is the declaration or
- -- body of a library unit, including generics and renamings. The first item
- -- is the N_Package_Declaration node for package Standard. Bodies are not
+ -- Primarily for use by CodePeer. Must be called after semantic analysis
+ -- (and expansion) are complete. Walks each relevant library item, calling
+ -- Action for each, in an order such that one will not run across forward
+ -- references. Each Item passed to Action is the declaration or body of
+ -- a library unit, including generics and renamings. The first item is
+ -- the N_Package_Declaration node for package Standard. Bodies are not
-- included, except for the main unit itself, which always comes last.
--
-- Item is never a subunit
@@ -667,7 +667,9 @@ package Sem is
-- Item is never an instantiation. Instead, the instance declaration is
-- passed, and (if the instantiation is the main unit), the instance body.
- -- Debugging:
+ ------------------------
+ -- Debugging Routines --
+ ------------------------
function ss (Index : Int) return Scope_Stack_Entry;
pragma Export (Ada, ss);