diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:31:14 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:31:14 +0000 |
commit | 0f4d3df58751279fc3b1c603b0e03c5baad0feee (patch) | |
tree | bfbd6ffff1b8799e3f068096093ce709cd32cef8 /gcc/ada/frontend.adb | |
parent | 65f9fc745f4189b9f42de01bc6e14fcfb05289b4 (diff) | |
download | ppe42-gcc-0f4d3df58751279fc3b1c603b0e03c5baad0feee.tar.gz ppe42-gcc-0f4d3df58751279fc3b1c603b0e03c5baad0feee.zip |
2011-08-04 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Improve documentation of gnatmake switch
--source-info-file=.
2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Make_Final_Call): Add local variable Atyp (assertion
type). Initialize Atyp to the appropriate type which is later checked
for completion. Rewrite the assertion associated with private type
completion.
2011-08-04 Ed Falis <falis@adacore.com>
* adaint.c: Add call to vxCpuConfiguredGet for VxWorks SMP to
initialize the number of CPUs.
2011-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_type.adb (Disambiguate): New subsidiary routine
In_Same_Declaration_List, to implement AI05-0020: a user-defined
equality on an anonymous access type whose designated type is private
does not lead to an ambiguity with the universal access equality
operator in the body or child units of the defining package. The same
is true for a multiplication operator on a private type completed with
a fixed-point-type.
2011-08-04 Javier Miranda <miranda@adacore.com>
* opt.ads (Init_Or_Norm_Scalars_Config): Removed.
(Normalize_Scalars_Config): Removed.
* opt.adb
(Register_Opt_Config_Switches): Remove registering config values of
Init_Or_Norm_Scalars_Config and Normalize_Scalars_Config.
(Restore_Opt_Config_Switches): Remove code which restores the values of
Init_Or_Norm_Scalars and Normalize_Scalars. Recalculate value of
Init_Or_Norm_Scalars.
(Save_Opt_Config_Switches): Remove code which saves values of
Init_Or_Norm_Scalars and Normalize_Scalars.
(Set_Opt_Config_Switches): Remove code which restores config values of
Init_Or_Norm_Scalars and Normalize_Scalars. Recalculate value of
Init_Or_Norm_Scalars.
2011-08-04 Yannick Moy <moy@adacore.com>
* frontend.adb (Frontend): remove previous patch to avoid full
qualification in ALFA mode.
* lib-xref-alfa.adb (Add_ALFA_Xrefs): use unique name for variables.
* sem_util.adb, sem_util.ads (Unique_Name): new function to define a
unique name for an entity, which could be used to identify the entity
across compilation units.
2011-08-04 Thomas Quinot <quinot@adacore.com>
* prj-env.adb
(Initialize_Default_Project_Path): Add target specific directory
($prefix/$target/lib/gnat) in front of project path in all cases
(making gnatmake's behaviour consistent with gprbuild).
* gnatcmd.adb, make.adb, prj-makr.adb, clean.adb:
Pass target name from Sdefault to project subsystem.
* gnatls.adb: Show new target specific default project directory.
2011-08-04 Johannes Kanig <kanig@adacore.com>
* cstand.adb: Add Information to Identifier in Standard
(Identifer_For): Set Entity to the corresponding entity
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177383 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/frontend.adb')
-rw-r--r-- | gcc/ada/frontend.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 02a272f9d88..c6dd8cb5991 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -372,11 +372,9 @@ begin -- 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, 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. + -- qualified names when needed. - if VM_Target = No_VM and then not ALFA_Mode then + if VM_Target = No_VM then Exp_Dbug.Qualify_All_Entity_Names; end if; |