diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:53:39 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:53:39 +0100 |
| commit | fdc54be6a0216ac2b4c585824539712d162b8e26 (patch) | |
| tree | 34ba584a7a250519b5af1e0804a532ecbb456e43 /gcc/ada/atree.ads | |
| parent | 3f8d242bd3ad399b3ce685c154780d2da9dd51b7 (diff) | |
| download | gcc-fdc54be6a0216ac2b4c585824539712d162b8e26.zip gcc-fdc54be6a0216ac2b4c585824539712d162b8e26.tar.gz gcc-fdc54be6a0216ac2b4c585824539712d162b8e26.tar.bz2 | |
[multiple changes]
2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
* atree.adb (Elist11): New routine.
(Set_Elist11): New routine.
* atree.ads (Elist11): New routine.
(Set_Elist11): New routine.
* atree.h: Define Elist11.
* contracts.adb (Analyze_Object_Contract): Verify the legality
of all references to a variable given that the variable is a
constituent of a single protected/task type.
* einfo.adb: Part_Of_References now utilizes Elist11.
(Part_Of_References): New routine.
(Set_Part_Of_References): New routine.
(Write_Field11_Name): Add output for Part_Of_References.
* einfo.ads New attribute Part_Of_References along with usage
in entities.
(Part_Of_References): New routine along with
pragma Inline.
(Set_Part_Of_References): New routine along with pragma Inline.
* sem_prag.adb (Analyze_Constituent): Record a possible
reference to a concurrent constituent.
(Analyze_Global_Item): Record a possible reference to a concurrent
constituent.
(Analyze_Input_Output): Record a possible reference to a
concurrent constituent.
* sem_res.adb (Resolve_Entity_Name): Record a possible reference
to a concurrent constituent.
* sem_util.adb (Check_Part_Of_Reference): New routine.
(Record_Possible_Part_Of_Reference): New routine.
* sem_util.ads (Check_Part_Of_Reference): New routine.
(Record_Possible_Part_Of_Reference): New routine.
2015-11-18 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated):
An if_expression is the proper place to apply the overflow
minimization procedure if its context is not an enclosing
arithmetic expression.
From-SVN: r230540
Diffstat (limited to 'gcc/ada/atree.ads')
| -rw-r--r-- | gcc/ada/atree.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads index 08ea277..0f5b512 100644 --- a/gcc/ada/atree.ads +++ b/gcc/ada/atree.ads @@ -1439,6 +1439,9 @@ package Atree is function Elist10 (N : Node_Id) return Elist_Id; pragma Inline (Elist10); + function Elist11 (N : Node_Id) return Elist_Id; + pragma Inline (Elist11); + function Elist13 (N : Node_Id) return Elist_Id; pragma Inline (Elist13); @@ -2799,6 +2802,9 @@ package Atree is procedure Set_Elist10 (N : Node_Id; Val : Elist_Id); pragma Inline (Set_Elist10); + procedure Set_Elist11 (N : Node_Id; Val : Elist_Id); + pragma Inline (Set_Elist11); + procedure Set_Elist13 (N : Node_Id; Val : Elist_Id); pragma Inline (Set_Elist13); |