diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:05:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:05:56 +0000 |
| commit | e0b2c764476478c895fcf755ea8ad7562a834f6e (patch) | |
| tree | 819e74e1eae21599af6257ee886a18c2d95fca63 /gcc/ada/frontend.adb | |
| parent | 7f6a3c27e0676cf088717ddadb5e76a97abd9ecd (diff) | |
| download | gcc-e0b2c764476478c895fcf755ea8ad7562a834f6e.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177377 138bc75d-0d04-0410-961f-82ee72b054a4
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; |