diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-07 11:08:36 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-07 11:08:36 +0200 |
| commit | 0eb4c1a7cc05913b39bb6239e20a73b964e4ae95 (patch) | |
| tree | 9eb9f6ea309cf4a3785836cc3a7db2d6bbfd6ab3 /gcc/ada/sem_attr.adb | |
| parent | b607a144ea24dd9ba54b893134683fa48d85ce5e (diff) | |
| download | gcc-0eb4c1a7cc05913b39bb6239e20a73b964e4ae95.zip gcc-0eb4c1a7cc05913b39bb6239e20a73b964e4ae95.tar.gz gcc-0eb4c1a7cc05913b39bb6239e20a73b964e4ae95.tar.bz2 | |
[multiple changes]
2010-10-07 Ed Schonberg <schonberg@adacore.com>
* par-ch5.adb (P_Sequence_Of_Statements): In Ada2012 a label can end a
sequence of statements.
2010-10-07 Vincent Celier <celier@adacore.com>
* gnatcmd.adb (Check_Files): Only add a .ci files if it exists
2010-10-07 Javier Miranda <miranda@adacore.com>
* 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 <charlet@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 9 |
1 files changed, 5 insertions, 4 deletions
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 |