diff options
| -rw-r--r-- | gcc/ada/sem_prag.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 1 |
2 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 96ea172..5363d2b 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -32644,9 +32644,7 @@ package body Sem_Prag is if Nkind (Context) = N_Package_Body then Spec_Id := Corresponding_Spec (Context); - if Present (Abstract_States (Spec_Id)) - and then Contains (Abstract_States (Spec_Id), State_Id) - then + if Contains (Abstract_States (Spec_Id), State_Id) then if No (Body_References (State_Id)) then Set_Body_References (State_Id, New_Elmt_List); end if; diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index e11eded..9d12ee7 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -6524,7 +6524,6 @@ package body Sem_Util is begin while Present (E) and then E /= Prim loop if not Is_Tagged_Type (E) - and then Present (Direct_Primitive_Operations (E)) and then Contains (Direct_Primitive_Operations (E), Prim) then return E; |