diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:45:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:45:55 +0000 |
| commit | 9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69 (patch) | |
| tree | f57385bd466da7a53d0bb30642406dff40545952 /gcc/ada/spark_xrefs.ads | |
| parent | 2cf8eabd48500b8d2480301020bd2aa82cf6556d (diff) | |
| download | gcc-9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69.zip gcc-9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69.tar.gz gcc-9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69.tar.bz2 | |
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for constants (with variable input).
gcc/ada/
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case
for constants (with variable input).
(Is_Constant_Object_Without_Variable_Input): Remove.
2017-11-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch9.adb, sem_disp.adb, sem_util.adb: Minor reformatting.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (Rtype): Remove special-casing of constants for SPARK
cross-references.
(dspark): Remove hardcoded table bound.
2017-11-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Aggregate): For Ada2020 delta aggregates, use
the type of the base of the construct to determine the type (or
candidate interpretations) of the delta aggregate. This allows the
construct to appear in a context that expects a private extension.
* sem_res.adb (Resolve): Handle properly a delta aggregate with an
overloaded base.
gcc/testsuite/
2017-11-08 Ed Schonberg <schonberg@adacore.com>
* gnat.dg/delta_aggr.adb: New testcase.
From-SVN: r254544
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 79a21b9..4223003 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -75,7 +75,6 @@ package SPARK_Xrefs is Rtype : Character; -- Indicates type of the reference, using code used in ALI file: -- r = reference - -- c = reference to constant object -- m = modification -- s = call end record; |