GNAT compilation error when SPARK restriction mode was set with attribut
reference violation is now correct.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-04 Marc Sango <sa...@adacore.com>
* sem_attr.adb (Analyze_Attribute): Replace the message
"invisible attribute of}" of the spark restriction violation in
attribute reference by the simple message "invisible attribute of type".
Indeed, the node value Error_Msg_Node_1 used is in conflit with the
two insertion characters: '&' and '}'.
Index: sem_attr.adb
===================================================================
--- sem_attr.adb (revision 177384)
+++ sem_attr.adb (working copy)
@@ -2068,8 +2068,7 @@
and then not In_Open_Scopes (Scope (P_Type))
and then not In_Spec_Expression
then
- Error_Msg_Node_1 := First_Subtype (P_Type);
- Check_SPARK_Restriction ("invisible attribute of}", N);
+ Check_SPARK_Restriction ("invisible attribute of type", N);
end if;
-- Remaining processing depends on attribute
