[gcc r13-384] [Ada] Remove redundant guard in checks for volatile actuals

[Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>]

https://gcc.gnu.org/g:7427e673d818be052fd07468c9dfdad3dbfe13b3

commit r13-384-g7427e673d818be052fd07468c9dfdad3dbfe13b3
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Wed Feb 16 10:15:12 2022 +0100

    [Ada] Remove redundant guard in checks for volatile actuals
    
    When flagging names of volatile objects occurring in actual parameters
    we guard against identifiers without entity. This is redundant, because
    earlier in the resolution of actual parameters we already guard against
    actuals with Any_Type.
    
    Code cleanup related to handling of volatile components; behaviour is
    unaffected.
    
    gcc/ada/
    
            * sem_res.adb (Flag_Effectively_Volatile_Objects): Remove
            redundant guard.

Diff:
---
 gcc/ada/sem_res.adb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index f038a33eb55..4ae0835498b 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -3868,8 +3868,7 @@ package body Sem_Res is
                when N_Identifier | N_Expanded_Name =>
                   Id := Entity (N);
 
-                  if Present (Id)
-                    and then Is_Object (Id)
+                  if Is_Object (Id)
                     and then Is_Effectively_Volatile_For_Reading (Id)
                     and then
                       not Is_OK_Volatile_Context (Context       => Parent (N),