diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:55:21 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:55:21 +0100 |
| commit | 4f94fa1186d071b2f4b5d864acb4b0427cb63368 (patch) | |
| tree | 433636d571333cf3b1f941de0615bedd050305ca /gcc/ada/spark_xrefs.ads | |
| parent | 4fcf700c916e89d5b1351200b2dd44a9fe8678d3 (diff) | |
| download | gcc-4f94fa1186d071b2f4b5d864acb4b0427cb63368.zip gcc-4f94fa1186d071b2f4b5d864acb4b0427cb63368.tar.gz gcc-4f94fa1186d071b2f4b5d864acb4b0427cb63368.tar.bz2 | |
[multiple changes]
2017-01-19 Javier Miranda <miranda@adacore.com>
* exp_ch6.adb (Expand_Call): Remove side effects on
actuals that are allocators with qualified expression since the
initialization of the object is performed by means of individual
statements (and hence it must be done before the call).
2017-01-19 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Declarations): Minor reformatting.
(Build_Derived_Enumeration_Type): If the derived type inherits a
dynamic predicate from its parent, the bounds of the type must
freeze because an explicit constraint is constructed for the
type and the corresponding range is elaborated now.
2017-01-19 Arnaud Charlet <charlet@adacore.com>
* sem_attr.ads: minor fix of inconsistent casing in comment
* lib-writ.ads: minor align comments in columns
* sem_ch3.adb: Minor reformatting.
* spark_xrefs.ads: minor fix typo in SPARK-related comment
* table.ads: minor style fix in comment
* lib-xref-spark_specific.adb
(Add_SPARK_Xrefs): simplify processing of SPARK cross-references.
* sem_ch12.adb: minor whitespace fix
* freeze.adb: Add comment.
* sem_util.adb (Unique_Name): for instances of
generic subprograms ignore the name of the wrapper package.
2017-01-19 Javier Miranda <miranda@adacore.com>
* exp_aggr.adb (Resolve_Record_Aggregate):
Factorize code needed for aggregates of limited and unlimited
types in a new routine.
(Pass_Aggregate_To_Back_End): New subprogram.
2017-01-19 Yannick Moy <moy@adacore.com>
* sinfo.adb (Pragma_Name): Only access up to Last_Pair of Pragma_Map.
From-SVN: r244622
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index f3cbdfd..52c0ef6 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -137,7 +137,7 @@ package SPARK_Xrefs is -- dependency-number and filename identify a file in FD lines -- entity-number and entity identify a scope in FS lines - -- for the file previously identified file. + -- for the previously identified file. -- (filename and entity are just a textual representations of -- dependency-number and entity-number) |