diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:57:54 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:57:54 +0200 |
| commit | 8d4611f7b0399ae3726185659f230b8b86f6a81e (patch) | |
| tree | 2365936e9bc992b4c69d5684b7eaa2106ecd3792 /gcc/ada/lib-xref.ads | |
| parent | bcb0389ef322d30c3031fffe2e6ed0ed7df494d6 (diff) | |
| download | gcc-8d4611f7b0399ae3726185659f230b8b86f6a81e.zip gcc-8d4611f7b0399ae3726185659f230b8b86f6a81e.tar.gz gcc-8d4611f7b0399ae3726185659f230b8b86f6a81e.tar.bz2 | |
[multiple changes]
2016-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* lib-xref.ads, lib-xref-spark_specific.adb, get_spark_xrefs.adb,
put_spark_xrefs.adb: Minor reformatting.
2016-05-02 Doug Rupp <rupp@adacore.com>
* g-traceb.ads: Document traceback for ARM.
2016-05-02 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Make_Tags): Do not generate the
external name of interface tags adding the suffix counter since
it causes problems at link time when the IP routines are inlined
across units with optimization.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb (Predicates_Ignared): new flag to indicate
that predicate checking is disabled for predicated subtypes in
the context of an Assertion_Policy pragma.
* checks.adb (Apply_Predicate_Check): Do nothing if
Predicates_Ignored is true.
* exp_ch3.adb (Expand_Freeze_Enumeration_Type): If
Predicates_Ignores is true, the function Rep_To_Pos does raise
an exception for invalid data.
* exp_ch4.adb (Expand_N_Type_Conversion): IF target is a predicated
type do not apply check if Predicates_Ignored is true.
* exp_ch5.adb (Expand_N_Case_Statement): If Predicates_Ignored
is true, sem_prag.adb:
* sem_ch3.adb (Analyze_Object_Declaration): If Predicates_Ignored
is true do not emit predicate check on initializing expression.
From-SVN: r235730
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index 4b5edb8..3da57bd 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -509,9 +509,9 @@ package Lib.Xref is E_Void => ' ', -- The following entities are not ones to which we gather the cross- - -- references, since it does not make sense to do so (e.g. references to - -- a package are to the spec, not the body) Indeed the occurrence of the - -- body entity is considered to be a reference to the spec entity. + -- references, since it does not make sense to do so (e.g. references + -- to a package are to the spec, not the body). Indeed the occurrence of + -- the body entity is considered to be a reference to the spec entity. E_Package_Body => ' ', E_Protected_Body => ' ', |