[Ada] Fix validity checking for class-wide objects
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 27 Apr 2020 07:56:17 +0000 (09:56 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:09 +0000 (04:17 -0400)
commit66bd7af5cca12b8f0470d1e8cf347ae2de1e928f
treea4e4feaa513bf71e70fd2a244fbf8c6baf2385ce
parent5af0271f0e983311b99493519af9863b58109ee3
[Ada] Fix validity checking for class-wide objects

2020-06-19  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* exp_attr.adb (Build_Record_VS_Func): Strip privacy and type
derivation from the root type when 'Valid_Scalars is applied to
a class-wide type.
gcc/ada/exp_attr.adb