diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 15:05:56 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 15:05:56 +0200 |
| commit | 88f47280999b57fce68aeee692d1820f12fc8264 (patch) | |
| tree | 819e74e1eae21599af6257ee886a18c2d95fca63 /gcc/ada/frontend.adb | |
| parent | 05c53a690494d5188cef77a8aef9adb54683bb9a (diff) | |
| download | gcc-88f47280999b57fce68aeee692d1820f12fc8264.tar.gz | |
[multiple changes]
2011-08-04 Pascal Obry <obry@adacore.com>
* urealp.adb: Minor reformatting.
2011-08-04 Tristan Gingold <gingold@adacore.com>
* exp_ch7.adb (build_finalizer.process_declarations.processing_actions):
Handle the case when Cleanup_Protected_Object returns Empty.
2011-08-04 Yannick Moy <moy@adacore.com>
* frontend.adb (Frontend): only qualify names in non-ALFA mode
2011-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Class_Wide_Operation): if the context is a procedure
call, ignore functions.
From-SVN: r177377
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index fd83b5d5b5c..02a272f9d88 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -370,11 +370,13 @@ begin end if; -- Qualify all entity names in inner packages, package bodies, etc., - -- except when compiling for the VM back-ends, which depend on - -- having unqualified names in certain cases and handles the - -- generation of qualified names when needed. + -- except when compiling for the VM back-ends, which depend on having + -- unqualified names in certain cases and handles the generation of + -- qualified names when needed, and when compiling for formal verification, + -- in which the back-end calls directly Qualify_All_Entity_Names after some + -- preprocessing which uses the non-qualified names. - if VM_Target = No_VM then + if VM_Target = No_VM and then not ALFA_Mode then Exp_Dbug.Qualify_All_Entity_Names; end if; |