address feedback

Author: akuhlens

flang/lib/Semantics/check-declarations.cpp

@@ -968,10 +968,10 @@ void CheckHelper::CheckObjectEntity(
     if (details.init()) {
       messages_.Say(
           "Cray pointee '%s' may not be initialized"_err_en_US, symbol.name());
-    } else if (symbol.attrs().test(Attr::SAVE) ||
-        symbol.implicitAttrs().test(Attr::SAVE)) {
+    } else if (symbol.attrs().test(Attr::SAVE)) {
       messages_.Say(
-          "Cray pointee '%s' may not be SAVE"_err_en_US, symbol.name());
+          "Cray pointee '%s' may not have the SAVE attribute"_err_en_US,
+          symbol.name());
     }
   }
   if (derived) {

flang/test/Semantics/declarations08.f90

@@ -8,7 +8,7 @@
 !ERROR: Cray pointee 'v' may not be initialized
 real :: v = 42.0
 pointer(p,v)
-!ERROR: Cray pointee 'u' may not be SAVE
+!ERROR: Cray pointee 'u' may not have the SAVE attribute
 save u
 pointer(p, u)
 end