| commit | 438ff97c274020cf44c92a47593ebceffa6c06cf | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Mon, 14 Jun 2010 08:14:10 +0000 (14 08:14 +0000) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Mon, 14 Jun 2010 08:14:10 +0000 (14 10:14 +0200) | ||
| tree | f17524d1633d55b13a0f7439b81e0e068aa18d48 | treesnapshot (tar.gz zip) |
| parent | 71158d7e6d3ce21ac0ef3b96a516073870178631 | commitdiff |
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
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
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/checks.adb | diffblobblamehistory | |
| gcc/ada/sem_ch4.adb | diffblobblamehistory |