ada: Cleanup expansion of membership operators into attribute Valid
commit34c71b0472f8d3d681adffc100b054be0cb14a15
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 23 Mar 2023 20:00:54 +0000 (23 21:00 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 26 May 2023 07:29:18 +0000 (26 09:29 +0200)
treece64671d8e382cd5814952d2e35c6a309a6d52c7
parent4a555bfee36bf0ce7513c37e9d4fb1f23405a064
ada: Cleanup expansion of membership operators into attribute Valid

Code cleanup; semantics is unaffected.

gcc/ada/

* exp_ch4.adb (Is_OK_Object_Reference): Replace loop with a call to
Unqual_Conv; consequently, change object from variable to constant;
replace an IF statement with an AND THEN expression.
gcc/ada/exp_ch4.adb