+2009-04-10 Thomas Quinot <quinot@adacore.com>
+
+ * exp_attr.adb: Minor reformatting
+
+2009-04-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
+ analyze the expression for a postcondition, even if the compiler mode
+ is Generate_Code.
+
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
begin
-- We have an object of a task interface class-wide type as a prefix
-- to Callable. Generate:
-
-- callable (Task_Id (Pref._disp_get_task_id));
if Ada_Version >= Ada_05
Analyze_And_Resolve (N, RTE (RE_Tag));
end if;
- -- (Ada 2005 (AI-251): The use of 'Tag in the sources always
+ -- Ada 2005 (AI-251): The use of 'Tag in the sources always
-- references the primary tag of the actual object. If 'Tag is
-- applied to class-wide interface objects we generate code that
-- displaces "this" to reference the base of the object.
begin
-- The prefix of Terminated is of a task interface class-wide type.
-- Generate:
-
-- terminated (Task_Id (Pref._disp_get_task_id));
if Ada_Version >= Ada_05
elsif Nkind (D) = N_Object_Renaming_Declaration then
return Renamed_Object (Ent);
- -- If this is a component declaration whose entity is constant, it is
+ -- If this is a component declaration whose entity is a constant, it is
-- a prival within a protected function (and so has no constant value).
elsif Nkind (D) = N_Component_Declaration then
if Nkind (Parent (N)) = N_Subprogram_Body
and then List_Containing (N) = Declarations (Parent (N))
then
- if Operating_Mode /= Generate_Code then
+ if Operating_Mode /= Generate_Code
+ or else Inside_A_Generic
+ then
-- Analyze expression in pragma, for correctness
-- and for ASIS use.