From 0eb4c1a7cc05913b39bb6239e20a73b964e4ae95 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 7 Oct 2010 11:08:36 +0200 Subject: [multiple changes] 2010-10-07 Ed Schonberg * par-ch5.adb (P_Sequence_Of_Statements): In Ada2012 a label can end a sequence of statements. 2010-10-07 Vincent Celier * gnatcmd.adb (Check_Files): Only add a .ci files if it exists 2010-10-07 Javier Miranda * a-tags.ads, a-tags.adb (Type_Is_Abstract): New subprogram. * rtsfind.ads (RE_Type_Is_Abstract): New entity. * exp_disp.adb (Make_DT): Initialize TSD component Type_Is_Abstract. 2010-10-07 Arnaud Charlet * sem_ch12.adb (Mark_Context): Removed, no longer needed. (Analyze_Package_Instantiation): No longer analyze systematically a generic body in CodePeer mode. * freeze.adb, sem_attr.adb: Update comments. From-SVN: r165081 --- gcc/ada/sem_attr.adb | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'gcc/ada/sem_attr.adb') diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 71730be..babdfde 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -7950,10 +7950,11 @@ package body Sem_Attr is -- been caught by the compilation of the generic unit. -- Note that we relax this check in CodePeer mode for - -- compatibility with legacy code. - - -- This seems an odd decision??? Why should codepeer mode - -- have a different notion of legality from the compiler??? + -- compatibility with legacy code, since CodePeer is an + -- Ada source code analyzer, not a strict compiler. + -- ??? Note that a better approach would be to have a + -- separate switch to relax this rule, and enable this + -- switch in CodePeer mode. elsif Attr_Id = Attribute_Access and then not CodePeer_Mode -- cgit v1.1