sem_ch6.adb (Analyze_Expression_Function): If expression function is completion and...
authorEd Schonberg <schonberg@adacore.com>
Tue, 25 Apr 2017 12:55:11 +0000 (12:55 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:55:11 +0000 (14:55 +0200)
commit241f328c235be95a49c25681af0ccd34985560e1
tree8860275e8bae54d1d275bb2ba9be887583b2cf42
parentcccb761bc29d4c32a24c79d68ef9ac76308d54fc
sem_ch6.adb (Analyze_Expression_Function): If expression function is completion and return type is an access type do not...

2017-04-25  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function): If expression function
is completion and return type is an access type do not freeze
designated type: this will be done in the process of freezing
the expression if needed.
(Freeze_Expr_Types): Check whether type is complete before
creating freeze node, to provide a better error message if
reference is premature.
* sem_ch13.adb (Check_Indexing_Functions): Ignore inherited
functions created by type derivations.

From-SVN: r247217
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch6.adb