2007-08-31 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Aug 2007 10:24:10 +0000 (10:24 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Aug 2007 10:24:10 +0000 (10:24 +0000)
commit4e75e96f90f5a6aa8c8609f79318d65eacfebea7
tree0d6a52ff3b47753a1b7d93ce02531ac9dca15f43
parent847bc89525a74cdd738a22302b895e5ec9ed0e1a
2007-08-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: The predicate Is_Descendent_Of_Address is now an entity
flag, for effiency. It is called when analyzing arithmetic operators
and also for actuals in calls that are universal_integers. The flag is
set for the predefined type address, and for any type or subtype
derived from it.

* sem_ch4.adb (Analyze_One_Call): Reject an actual that is a
Universal_Integer, when the formal is a descendent of address and the
call appears in user code.
(Analyze_Selected_Component): if the prefix is a private extension, the
tag component is visible.

* sem_util.ads, sem_util.adb: Remove Is_Descendent_Of_Address, now an
entity flag.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127980 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads