diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 0dbd73a..d696341 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -250,14 +250,6 @@ package Sem_Util is Related_Nod : Node_Id); -- Check wrong use of dynamically tagged expression - procedure Check_Expression_Against_Static_Predicate - (Expr : Node_Id; - Typ : Entity_Id); - -- Determine whether an arbitrary expression satisfies the static predicate - -- of a type. The routine does nothing if Expr is not known at compile time - -- or Typ lacks a static predicate, otherwise it may emit a warning if the - -- expression is prohibited by the predicate. - procedure Check_Fully_Declared (T : Entity_Id; N : Node_Id); -- Verify that the full declaration of type T has been seen. If not, place -- error message on node N. Used in object declarations, type conversions |