]> gcc.gnu.org Git - gcc.git/commit
[Ada] Freeze target type on qualified expression expansion
authorEtienne Servais <servais@adacore.com>
Mon, 14 Mar 2022 13:35:43 +0000 (14:35 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:06 +0000 (08:42 +0000)
commit26bbf0e5da9af096eeddc2a79e1e0da9673b6bd2
tree00cde0a16398c3296854b52f759f671a21255e00
parentc1e007985fef1389ba09f5b558aa4e7b9f03783f
[Ada] Freeze target type on qualified expression expansion

An object declaration (other than a deferred constant declaration)
causes freezing where it occurs (13.14(6)), which means every name
occurring within it causes freezing (13.14(4/1)), and when the name in a
subtype_mark causes freezing, the denoted subtype is frozen (13.14(11)).
Hence, one needs to freeze the target type when expanding a qualified
expression.

gcc/ada/

* exp_ch4.adb (Expand_N_Qualified_Expression): Freeze
Target_Type.
gcc/ada/exp_ch4.adb
This page took 0.065474 seconds and 6 git commands to generate.