[Ada] Remove redundant guard in checks for volatile actuals
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 16 Feb 2022 09:15:12 +0000 (10:15 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 13 May 2022 08:04:25 +0000 (08:04 +0000)
commit7427e673d818be052fd07468c9dfdad3dbfe13b3
tree9da2faf609d426f0e3d4d6196d415de769484383
parent8a8366d4969e87366a94d9f2b768606fdf46a7b2
[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.
gcc/ada/sem_res.adb