diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-10 17:27:27 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-10 17:27:27 +0200 |
commit | 934a3a25802c8652fab728259b779c3ae59e5c1e (patch) | |
tree | 18f772cc26efda100ec73485971be219e84db360 /gcc/ada/exp_attr.adb | |
parent | ab8e1b353ed60724667bfeaf0d07fc37c9fffff4 (diff) | |
download | gcc-934a3a25802c8652fab728259b779c3ae59e5c1e.zip gcc-934a3a25802c8652fab728259b779c3ae59e5c1e.tar.gz gcc-934a3a25802c8652fab728259b779c3ae59e5c1e.tar.bz2 |
[multiple changes]
2009-04-10 Thomas Quinot <quinot@adacore.com>
* exp_attr.adb: Minor reformatting
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.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.
From-SVN: r145923
Diffstat (limited to 'gcc/ada/exp_attr.adb')
-rw-r--r-- | gcc/ada/exp_attr.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 6c3d1d4..d1d6ee9 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -1346,7 +1346,6 @@ package body Exp_Attr is 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 @@ -4361,7 +4360,7 @@ package body Exp_Attr is 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. @@ -4408,7 +4407,6 @@ package body Exp_Attr is 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 |