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/inline.adb | |
| 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/inline.adb')
0 files changed, 0 insertions, 0 deletions