From e0b2c764476478c895fcf755ea8ad7562a834f6e Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 4 Aug 2011 13:05:56 +0000 Subject: 2011-08-04 Pascal Obry * urealp.adb: Minor reformatting. 2011-08-04 Tristan Gingold * exp_ch7.adb (build_finalizer.process_declarations.processing_actions): Handle the case when Cleanup_Protected_Object returns Empty. 2011-08-04 Yannick Moy * frontend.adb (Frontend): only qualify names in non-ALFA mode 2011-08-04 Ed Schonberg * 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 --- gcc/ada/frontend.adb | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'gcc/ada/frontend.adb') 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; -- cgit v1.2.1