diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 11:22:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 11:22:59 +0200 |
| commit | f0478a53cb286eeb251e891e93609a714da9724c (patch) | |
| tree | 8311392e23e919d341d6291f43cbacbdcc5827c2 /gcc/ada/erroutc.ads | |
| parent | 780d73d73d39e83d6034d1d7b06c27091e9a9cdc (diff) | |
| download | gcc-f0478a53cb286eeb251e891e93609a714da9724c.zip gcc-f0478a53cb286eeb251e891e93609a714da9724c.tar.gz gcc-f0478a53cb286eeb251e891e93609a714da9724c.tar.bz2 | |
[multiple changes]
2017-09-08 Arnaud Charlet <charlet@adacore.com>
* sem_util.ads, sem_util.adb (Is_CCT_Instance): Only expect
entities of named concurrent types as Ref_Id and not of anonymous
concurrent objects (because callers already know when a conversion
is necessary and can easily do it); also, do not expect protected
types or protected objects as Context_Id (because no flow-related
SPARK pragmas are attached there); reflect these changes in a
more precise comment.
2017-09-08 Olivier Hainque <hainque@adacore.com>
* g-altive.ads: Add documentation.
2017-09-08 Bob Duff <duff@adacore.com>
* sem_util.ads, debug.adb: Minor comment fix.
* erroutc.ads: Comment fix.
2017-09-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Validate_Array_Type_Instance): Suppress check
for compatibility of component types of formal and actual in an
instantiation of a child unit, when the component type of the
formal is itself a formal of an enclosing generic.
From-SVN: r251872
Diffstat (limited to 'gcc/ada/erroutc.ads')
| -rw-r--r-- | gcc/ada/erroutc.ads | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/erroutc.ads b/gcc/ada/erroutc.ads index 0fcc51b..9aa44e9 100644 --- a/gcc/ada/erroutc.ads +++ b/gcc/ada/erroutc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -192,13 +192,13 @@ package Erroutc is -- have Sptr pointing to the instantiation point. Optr : Source_Ptr; - -- Flag location used in the call to post the error. This is normally - -- the same as Sptr, except when an error is posted on a particular - -- instantiation of a generic. In such a case, Sptr will point to - -- the original source location of the instantiation itself, but - -- Optr will point to the template location (more accurately to the - -- template copy in the instantiation copy corresponding to the - -- instantiation referenced by Sptr). + -- Flag location used in the call to post the error. This is the same as + -- Sptr, except when an error is posted on a particular instantiation of + -- a generic. In such a case, Sptr will point to the original source + -- location of the instantiation itself, but Optr will point to the + -- template location (more accurately to the template copy in the + -- instantiation copy corresponding to the instantiation referenced by + -- Sptr). Line : Physical_Line_Number; -- Line number for error message |