ada: Set Is_Not_Self_Hidden flag in more cases
commitcf6ddb553085c74d75eabac7be9dbc82dda87f0a
authorBob Duff <duff@adacore.com>
Fri, 3 Mar 2023 14:46:34 +0000 (3 09:46 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 25 May 2023 07:44:16 +0000 (25 09:44 +0200)
treec7bb5ecedb6378cea5f8ffa14e753964da7b050d
parent211b562b74bdad3d3c3571517699f35540be8391
ada: Set Is_Not_Self_Hidden flag in more cases

More work-in-progress for changing E_Void checks to the flag.

gcc/ada/

* sem_ch9.adb (Analyze_Protected_Type_Declaration): Set the flag
for protected types.
(Analyze_Single_Protected_Declaration): Likewise, for singleton
protected objects.
(Analyze_Task_Type_Declaration): Set the flag for task types.
(Analyze_Single_Task_Declaration): Likewise, for singleton task
objects.
* sem_ch10.adb (Decorate_Type): Set the flag for types treated as
incomplete.
(Build_Shadow_Entity): Set the flag for shadow entities.
(Decorate_State): Set the flag for an abstract state.
(Build_Limited_Views): Set the flag for limited view of package.
* sem_attr.adb (Check_Not_Incomplete_Type): Disable the check when
this is a current instance.
gcc/ada/sem_attr.adb
gcc/ada/sem_ch10.adb
gcc/ada/sem_ch9.adb