This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r247180 - 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: Tue, 25 Apr 2017 10:43:15 -0000
- Subject: r247180 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Tue Apr 25 10:43:14 2017
New Revision: 247180
URL: https://gcc.gnu.org/viewcvs?rev=247180&root=gcc&view=rev
Log:
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Insert_Valid_Check): Code cleanup.
* exp_ch6.adb (Add_Validation_Call_By_Copy_Code): New routine.
(Expand_Actuals): Generate proper copy-back for a validation
variable when it acts as the argument of a type conversion.
* sem_util.adb (Is_Validation_Variable_Reference): Augment the
predicate to operate on type qualifications.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/sem_util.adb