diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 15:10:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 15:10:33 +0200 |
| commit | ded8909b241d9fd6e60981085c0fd9246392472f (patch) | |
| tree | 31260f5efb109439c9337953245e792f3b84b436 /gcc/ada/sem_res.adb | |
| parent | 70c34e1c94f276d6f306ed92b892cbe7340acd65 (diff) | |
| download | gcc-ded8909b241d9fd6e60981085c0fd9246392472f.zip gcc-ded8909b241d9fd6e60981085c0fd9246392472f.tar.gz gcc-ded8909b241d9fd6e60981085c0fd9246392472f.tar.bz2 | |
[multiple changes]
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_ch5.adb, sem_type.adb, switch-c.adb, switch-c.ads,
sem_prag.adb, sem_util.adb, sem_util.ads, sem_res.adb, warnsw.ads,
prepcomp.ads, cstand.adb, stand.ads, a-calfor.adb, s-stusta.adb:
Minor reformatting.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb: handle properly 'Result when it is a prefix of an
indexed component.
2011-08-02 Javier Miranda <miranda@adacore.com>
* einfo.ads, einfo.adb
(Original_Access_Type): Move this attribute to Node26 since there was
an undocumented use of Node21 in E_Access_Subprogram_Type entities
which causes conflicts and breaks the generation of the .NET compiler.
(Interface_Name): Add missing documentation on JGNAT only uses of
this attribute.
From-SVN: r177145
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 00115cc..f32e052 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -5739,13 +5739,14 @@ package body Sem_Res is -- Commented out as the call to Is_Inherited_Operation_For_Type may -- cause an error because the type entity of the parent node of - -- Entity (Name (N) may not be set. + -- Entity (Name (N) may not be set. ??? + -- So why not just add a guard ??? -- if Nkind (N) = N_Function_Call -- and then Is_Tagged_Type (Etype (N)) -- and then Is_Entity_Name (Name (N)) -- and then Is_Inherited_Operation_For_Type --- (Entity (Name (N)), Etype (N)) +-- (Entity (Name (N)), Etype (N)) -- then -- Check_Formal_Restriction ("function not inherited", N); -- end if; |