[Ada] AI12-0226 Make objects more consistent
authorArnaud Charlet <charlet@adacore.com>
Sun, 9 Feb 2020 19:53:05 +0000 (14:53 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:56 +0000 (03:50 -0400)
commit6e063ac3887d7e3b2992fa5fa12a57e743be6c1d
treeb9b558c4b32e86f48ac60f781e243bed1c6019ec
parentae9293fb8e1895006ce33069eaabdecfe65c46a2
[Ada] AI12-0226 Make objects more consistent

2020-06-08  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* sem_ch8.adb (Analyze_Object_Renaming): Simplify code by moving
many special cases to Is_Object_Reference and removing others by
only checking renamings coming from sources.
* sem_util.adb (Is_Object_Reference): Update for AI12-0226 and
add more regular handling of 'Priority. Remove special cases no
longer needed now that we are only checking renamings coming
from sources.
gcc/ada/sem_ch8.adb
gcc/ada/sem_util.adb