diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-11-30 14:59:16 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-11-30 14:59:16 +0100 |
| commit | 60aa52287572b287e94f52fc8b22c9e01d56458e (patch) | |
| tree | 08acb54b69a8451bbb846619ee2d79750f196e71 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | ba85c8c3fcb19c776f6e2209d5b0044c9e1cdd3d (diff) | |
| download | gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.zip gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.tar.gz gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.tar.bz2 | |
[multiple changes]
2016-11-30 Gary Dismukes <dismukes@adacore.com>
* sem_prag.adb, sem_ch6.adb: Minor reformatting and typo fixes.
* g-sechas.adb: Minor reformatting.
* lib-xref.ads: minor grammar fix in comment.
* lib-xref-spark_specific.adb
(Is_SPARK_Reference): do not ignore references to concurrent
objects.
* sinfo.ads: Fix of unbalanced parens in comment
2016-11-30 Ed Schonberg <schonberg@adacore.com>
* lib-xref.adb (Get_Type_Reference): If the entity is a function
returning a classwide type, the type reference is obtained right
away and does not need further unwinding.
2016-11-30 Javier Miranda <miranda@adacore.com>
* sem_ch8.adb (Find_Renamed_Entity): For non-overloaded subprogram
actuals of generic units check that the spec of the renaming
and renamed entities match.
2016-11-30 Tristan Gingold <gingold@adacore.com>
* raise-gcc.c: For CERT runtimes: do not use gcc includes, simplify
the handling.
* sem_attr.adb (Analyze_Attribute): Check No_Dynamic_Priorities
restriction for Priority Attribute.
From-SVN: r243022
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 95056e0..87d3942 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -527,13 +527,6 @@ package body SPARK_Specific is if Ekind (E) in Overloadable_Kind then return Typ = 's'; - -- Objects of task or protected types are not SPARK references - - elsif Present (Etype (E)) - and then Ekind (Etype (E)) in Concurrent_Kind - then - return False; - -- In all other cases, result is true for reference/modify cases, -- and false for all other cases. |