sem_util.adb (Has_Preelaborable_Initialization): Revise checking of private types...
authorGary Dismukes <dismukes@adacore.com>
Fri, 22 Aug 2008 14:56:32 +0000 (16:56 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Aug 2008 14:56:32 +0000 (16:56 +0200)
commit9f4e488138d23660082c4ecd744dd0ae7a5db028
tree83f84a1594bea8e85b85300ab13c06aed2a5164d
parent9b4b0a1ac996ea8e38ff857fb171f3cd1f6a45a5
sem_util.adb (Has_Preelaborable_Initialization): Revise checking of private types to allow for types derived from a private type...

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Has_Preelaborable_Initialization): Revise checking of
private types to allow for types derived from a private type with
preelaborable initialization, but return False for a private extension
(unless it has the pragma).

From-SVN: r139480
gcc/ada/sem_util.adb