projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04c4a51) | patch
[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)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 27 Jul 2020 08:05:21 +0000 (04:05 -0400)
commitabd4c42269b6a64fa9019e4d9d94730533e06f9a
tree7b58393cbefec5568ce37aa96cb165ff683092b7tree | snapshot
parent04c4a5101bb6c18933af3b3c3daf8053660cc1b6commit | diff
[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 diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history
Domain: System / Toolchain;