[Ada] Fix propagation of compiler internal flag
authorEd Schonberg <schonberg@adacore.com>
Tue, 20 Aug 2019 09:50:05 +0000 (09:50 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 20 Aug 2019 09:50:05 +0000 (09:50 +0000)
commitb08f42aecfe0d2c70c2fa81601f2ec86d3ffea30
tree1c7b7dbc00b9b52553d5f114938a9be55644657d
parentb6b011dd38da56a04dbf7d27833d015f2789a6f5
[Ada] Fix propagation of compiler internal flag

No change in behavior for GCC-based compilations.

2019-08-20  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch3.adb (Analyze_Object_Declaration): If actual type is
private and distinct from nominal type in declaration, propagate
flags Is_Constr_Subt_For_U_Nominal and _UN_Aliased to full view
of private type.

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