summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/sem_attr.adb')
-rw-r--r--gcc/ada/sem_attr.adb9
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 71730bead25..babdfde8588 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