[Ada] Improper predicate check on view conversion
authorEd Schonberg <schonberg@adacore.com>
Wed, 5 May 2021 12:50:23 +0000 (08:50 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 6 Jul 2021 14:46:53 +0000 (14:46 +0000)
commitf55784f8adc6033639840c609329d7b1facb2e71
tree39e8f11dff37a81960157f0e5a25cd2c0f68824a
parent68c27b2a702d073e21cd41c0080c849f7a4804ca
[Ada] Improper predicate check on view conversion

gcc/ada/

* exp_ch4.adb (Expand_N_Type_Conversion): If the conversion is
the name of an assignment operation do not apply predicate check
to it prior to the assignment.
gcc/ada/exp_ch4.adb