diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index e9c1263..efeafda 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1521,6 +1521,12 @@ package Sem_Util is -- non-null), which causes the type to not have preelaborable -- initialization. + function Has_Potentially_Invalid (E : Entity_Id) return Boolean; + -- Returns True iff entity E is subject to the Potentially_Invalid aspect. + -- Entity E can be either variable, constant, subprogram or entry. For + -- private types and deferred constants E should be the private view, + -- because aspect can only be attached there. + function Has_Preelaborable_Initialization (E : Entity_Id; Preelab_Init_Expr : Node_Id := Empty) return Boolean; |