diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-08-04 14:51:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-04 14:51:19 +0200 |
| commit | b6e209b5f8793412fc20ffaa6b118dc7ef8dbd27 (patch) | |
| tree | 32ce65bc3c85d81e5c037002691d645c2d12f587 /gcc | |
| parent | bb98fe758e60c8c1055548c9be932ba265f59671 (diff) | |
| download | gcc-b6e209b5f8793412fc20ffaa6b118dc7ef8dbd27.zip gcc-b6e209b5f8793412fc20ffaa6b118dc7ef8dbd27.tar.gz gcc-b6e209b5f8793412fc20ffaa6b118dc7ef8dbd27.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/freeze.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index a2dd517..dffcbaf 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -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)) |