2008-08-04 Robert Dewar <dewar@adacore.com>

* freeze.adb:
	(Freeze_Entity): Only check No_Default_Initialization restriction for
	constructs that come from source

From-SVN: r138617
This commit is contained in:
Robert Dewar 2008-08-04 14:51:19 +02:00 committed by Arnaud Charlet
parent bb98fe758e
commit b6e209b5f8

View file

@ -2665,7 +2665,8 @@ package body Freeze is
-- ever default initialized, and is why the check is deferred
-- until freezing, at which point we know if Import applies.
if not Is_Imported (E)
if Comes_From_Source (E)
and then not Is_Imported (E)
and then not Has_Init_Expression (Declaration_Node (E))
and then
((Has_Non_Null_Base_Init_Proc (Etype (E))