diff options
Diffstat (limited to 'gcc/ada/tbuild.adb')
| -rw-r--r-- | gcc/ada/tbuild.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/tbuild.adb b/gcc/ada/tbuild.adb index 01ea5d56cbd..352ac0783a7 100644 --- a/gcc/ada/tbuild.adb +++ b/gcc/ada/tbuild.adb @@ -649,6 +649,7 @@ package body Tbuild is (Def_Id : Entity_Id; Loc : Source_Ptr) return Node_Id is + pragma Assert (Present (Def_Id) and then Nkind (Def_Id) in N_Entity); Occurrence : Node_Id; begin @@ -725,7 +726,7 @@ package body Tbuild is (Def_Id : Entity_Id; Loc : Source_Ptr) return Node_Id is - pragma Assert (Nkind (Def_Id) in N_Entity); + pragma Assert (Present (Def_Id) and then Nkind (Def_Id) in N_Entity); Occurrence : Node_Id; begin Occurrence := New_Node (N_Identifier, Loc); |