checks.adb (Insert_Valid_Check): Code cleanup.
authorHristian Kirtchev <kirtchev@adacore.com>
Tue, 25 Apr 2017 10:43:14 +0000 (10:43 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 10:43:14 +0000 (12:43 +0200)
commit62e45e3e7035eb7c668be8ec9988c57e2d4337f9
treed09258eb3fc0f0efe76d341eadb436343b040e10
parentec40b86c7751f67b1d3ffc5b3edb2df872215fd9
checks.adb (Insert_Valid_Check): Code cleanup.

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.

From-SVN: r247180
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/exp_ch6.adb
gcc/ada/sem_util.adb