[Ada] Missing propagation of Has_Predicates in cloned subtypes
authorJavier Miranda <miranda@adacore.com>
Tue, 17 Sep 2019 08:02:51 +0000 (08:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Sep 2019 08:02:51 +0000 (08:02 +0000)
commit0d4fcc9f622ee428849091c51108a4823819e9a6
treecec93904fb75525109eb13ce28f9bd440916f28b
parent1e0a3cc4ca87b57b2a9b8a02ff20bacdce6146a3
[Ada] Missing propagation of Has_Predicates in cloned subtypes

The frontend silently skips propagating attributes Has_Predicates and
Predicate function to the internally built cloned subtype. This change
does not affect the functionality of the compiler; it leaves more clean
the decoration of internal entities.

2019-09-17  Javier Miranda  <miranda@adacore.com>

gcc/ada/

* sem_ch3.adb (Complete_Private_Subtype): Propagate attributes
Has_Attributes and Predicate_Function to the cloned subtype.

From-SVN: r275795
gcc/ada/ChangeLog
gcc/ada/sem_ch3.adb