diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2010-06-14 08:14:10 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-14 10:14:10 +0200 |
| commit | 438ff97c274020cf44c92a47593ebceffa6c06cf (patch) | |
| tree | f17524d1633d55b13a0f7439b81e0e068aa18d48 /gcc/ada/a-coinve.adb | |
| parent | 71158d7e6d3ce21ac0ef3b96a516073870178631 (diff) | |
| download | gcc-438ff97c274020cf44c92a47593ebceffa6c06cf.tar.gz | |
sem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call...
2010-06-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Complete_Object_Operation): After analyzing the
rewritten call, preserve the resulting type to prevent spurious errors,
when the call is implicitly dereferenced in the context of an in-out
actual.
* checks.adb (Apply_Discriminant_Check): If the target of the
assignment is a renaming of a heap object, create constrained type for
it to apply check.
From-SVN: r160709
Diffstat (limited to 'gcc/ada/a-coinve.adb')
0 files changed, 0 insertions, 0 deletions