commit | 9e1ca4e3ab0fb7156fed4480c8f35810d00ff84d | [log] [tgz] |
---|---|---|
author | Piotr Trojanek <trojanek@adacore.com> | Mon Mar 01 16:23:38 2021 +0100 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Thu Jun 17 10:32:09 2021 -0400 |
tree | a2fb8793cfe7859293527715c39b80adb66155c1 | |
parent | f54fb769ec25976858e6bdea9c6a1beeb70f91fa [diff] |
[Ada] Apply aliasing checks only to names and not to objects as actuals gcc/ada/ * checks.adb (Apply_Parameter_Aliasing_Checks): Replace calls to Is_Object_Reference with calls to Is_Name_Reference; remove asymmetric condition that only detected an aggregate as the first actual (aggregate objects were just a special case of an object reference that was not a name).