[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 9 Jul 2012 13:19:56 +0000 (15:19 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 9 Jul 2012 13:19:56 +0000 (15:19 +0200)
commitd48f3dca79fe7cd124c90d33dcc88b2147e23856
tree1d5c645601721230be583f9182a5db021543e450
parent22a83cea153e34e826ed42afd56334be89a9ad8e
[multiple changes]

2012-07-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb: Extend previous change to elementary types.

2012-07-09  Javier Miranda  <miranda@adacore.com>

* exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Reverse
previous patch since unconditionally handling as renaming_as_body
renamings of predefined dispatching equality and unequality operator
cause visibility problems with private overridings of the equality
operator (see ACATS C854001).

2012-07-09  Vincent Pucci  <pucci@adacore.com>

* exp_attr.adb (Signal_Bad_Attribute): Raise Program_Error in
case of internal attribute names (already rejected by the parser).
* par-ch13.adb (P_Representation_Clause): Complain if an internal
attribute name that comes from source occurs.
* par-ch4.adb (P_Name): Complain if an internal attribute name
occurs in the context of an attribute reference.
* par-util.adb (Signal_Bad_Attribute): Don't complain about
mispelling attribute with internal attributes.
* sem_attr.adb (Analyze_Attribute): Raise Program_Error in case
of internal attribute names (already rejected by the parser).
* snames.adb-tmpl (Is_Internal_Attribute_Name): New routine.
* snames.ads-tmpl: Attributes CPU, Dispatching_Domain and
Interrupt_Priority are marked as INT attributes since they
don't denote real attribute and are only used internally in
the compiler.
(Is_Internal_Attribute_Name): New routine.

From-SVN: r189378
gcc/ada/ChangeLog
gcc/ada/exp_attr.adb
gcc/ada/exp_ch8.adb
gcc/ada/par-ch13.adb
gcc/ada/par-ch4.adb
gcc/ada/par-util.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_ch13.adb
gcc/ada/snames.adb-tmpl
gcc/ada/snames.ads-tmpl