This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r160709 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 14 Jun 2010 08:14:11 -0000
- Subject: r160709 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Mon Jun 14 08:14:10 2010
New Revision: 160709
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=160709
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/sem_ch4.adb