[Ada] Remove bypass for instance bodies from Is_Visible_Component

Pierre-Marie de Rodat derodat@adacore.com
Tue Jun 9 08:10:06 GMT 2020


This removes an obsolete bypass present for long in the predicate
Is_Visible_Component, which is responsible for determining whether
a component present in a private tagged record type is visible in
its extensions.  This bypass would essentially always return true
in bodies of instances, but there is no real basis to do so.

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-09  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* sem_ch3.adb (Is_Visible_Component): Do not special-case
	bodies of instances.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 1417 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20200609/f7454967/attachment-0001.bin>


More information about the Gcc-patches mailing list