]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Ada2020: AI12-0027 Access values and unaliased component
authorJavier Miranda <miranda@adacore.com>
Thu, 18 Jun 2020 20:07:52 +0000 (16:07 -0400)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:19:44 +0000 (13:19 -0300)
commit6011ab1ab3ea856f6daf5327577240b8b64c480b
tree599ee460c6bac6c70aa6424906d695be263223af
parentc1ac803a420838ed68132afee8109a7c48c591bb
[Ada] Ada2020: AI12-0027 Access values and unaliased component

gcc/ada/

* sem_res.adb (Resolve_Actuals): Restrict the check on matching
aliased components to view conversions of array types that are
not placed in an instance. In such case at runtime an object is
created.
* sem_util.ads (Is_Actual_In_Out_Parameter, Is_View_Conversion):
New subprograms.
* sem_util.adb (Is_Actual_In_Out_Parameter, Is_View_Conversion):
New subprograms.
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads