diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:56:46 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:56:46 +0000 |
| commit | a2ce3d11abaf346519f7864362f999323c4c628c (patch) | |
| tree | a1ed26ceee9fdd4551695269467b9f8197730aac /gcc/ada/exp_dbug.adb | |
| parent | c1fb36a72eaad552afafa10c63d8d3d91e4178b2 (diff) | |
| download | gcc-a2ce3d11abaf346519f7864362f999323c4c628c.tar.gz | |
2012-10-29 Pascal Obry <obry@adacore.com>
* xoscons.adb, Make-generated.in; The template used by xoscons is now
given as parameter.
* gcc-interface/Make-lang.in: Update dependencies.
2012-10-29 Yannick Moy <moy@adacore.com>
* exp_dbug.adb (Qualify_Entity_Name): Only do renaming in formal
verification mode when there is a homonym.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192942 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_dbug.adb')
| -rw-r--r-- | gcc/ada/exp_dbug.adb | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ada/exp_dbug.adb b/gcc/ada/exp_dbug.adb index bcf6111a636..9267982f85f 100644 --- a/gcc/ada/exp_dbug.adb +++ b/gcc/ada/exp_dbug.adb @@ -1315,10 +1315,13 @@ package body Exp_Dbug is -- qualifying names when needed. elsif Alfa_Mode then - Get_Name_String (Chars (Ent)); - Append_Homonym_Number (Ent); - Output_Homonym_Numbers_Suffix; - Set_Chars (Ent, Name_Enter); + if Has_Homonym (Ent) then + Get_Name_String (Chars (Ent)); + Append_Homonym_Number (Ent); + Output_Homonym_Numbers_Suffix; + Set_Chars (Ent, Name_Enter); + end if; + return; -- If the entity is a variable encoding the debug name for an object |