From ded8909b241d9fd6e60981085c0fd9246392472f Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 2 Aug 2011 15:10:33 +0200 Subject: [multiple changes] 2011-08-02 Robert Dewar * 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 * sem_attr.adb: handle properly 'Result when it is a prefix of an indexed component. 2011-08-02 Javier Miranda * 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 --- gcc/ada/sem_res.adb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gcc/ada/sem_res.adb') 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; -- cgit v1.1