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/put_spark_xrefs.adb | |
| 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/put_spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/put_spark_xrefs.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/put_spark_xrefs.adb b/gcc/ada/put_spark_xrefs.adb index 0c6ba2f..a65fa8a 100644 --- a/gcc/ada/put_spark_xrefs.adb +++ b/gcc/ada/put_spark_xrefs.adb @@ -104,6 +104,7 @@ begin begin -- Write only non-empty tables + if S.From_Xref <= S.To_Xref then Write_Info_Initiate ('F'); @@ -133,7 +134,7 @@ begin Output_One_Xref : declare R : SPARK_Xref_Record renames - SPARK_Xref_Table.Table (X); + SPARK_Xref_Table.Table (X); begin if R.Entity_Line /= Entity_Line |