diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2012-06-12 10:34:33 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-06-12 12:34:33 +0200 |
| commit | 967e927f1b8c1971e4bad6b3327ca984cb18083f (patch) | |
| tree | f140f24bc213ee097fe7069f1e32b700943da3eb /gcc/tree-ssa-phiopt.c | |
| parent | 02f588343104177827aeb428ea9fca6e55910ef3 (diff) | |
| download | gcc-967e927f1b8c1971e4bad6b3327ca984cb18083f.zip gcc-967e927f1b8c1971e4bad6b3327ca984cb18083f.tar.gz gcc-967e927f1b8c1971e4bad6b3327ca984cb18083f.tar.bz2 | |
sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete type is tagged, so is a subtype of it.
2012-06-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete
type is tagged, so is a subtype of it.
* sem_ch12.adb (Validate_Actual_Subprogram): implement AI05-0296,
concerning freeze rules in the presence of formal incomplete
types: a formal abstract subprogram cannot have an incomplete
controlling type, and the profile of the actual subprogram does
not freeze if it includes an incomplete untagged type.
From-SVN: r188442
Diffstat (limited to 'gcc/tree-ssa-phiopt.c')
0 files changed, 0 insertions, 0 deletions