diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2017-04-25 10:43:14 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 12:43:14 +0200 |
| commit | 62e45e3e7035eb7c668be8ec9988c57e2d4337f9 (patch) | |
| tree | d09258eb3fc0f0efe76d341eadb436343b040e10 /gcc/alias.c | |
| parent | ec40b86c7751f67b1d3ffc5b3edb2df872215fd9 (diff) | |
| download | gcc-62e45e3e7035eb7c668be8ec9988c57e2d4337f9.zip gcc-62e45e3e7035eb7c668be8ec9988c57e2d4337f9.tar.gz gcc-62e45e3e7035eb7c668be8ec9988c57e2d4337f9.tar.bz2 | |
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
Diffstat (limited to 'gcc/alias.c')
0 files changed, 0 insertions, 0 deletions