diff options
| author | Simon Buist <buist@adacore.com> | 2019-07-10 09:02:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:12 +0000 |
| commit | 1ae0159eb46044545610b78fc4ea82427c45c568 (patch) | |
| tree | aba954c995b32716e71cf247113d6b8c0e882f66 /gcc/ada/init.c | |
| parent | f35688c95a8ab5d3d6eeee51623d69705a00b115 (diff) | |
| download | gcc-1ae0159eb46044545610b78fc4ea82427c45c568.zip gcc-1ae0159eb46044545610b78fc4ea82427c45c568.tar.gz gcc-1ae0159eb46044545610b78fc4ea82427c45c568.tar.bz2 | |
[Ada] Entity names are not unique
This patch updates the Unique_Name procedure in order to prefix the
string "ada___" to child units that have a nested subprogram or package,
so that they do not clash with a parent package of the same name.
This is for GNATprove only and does not affect regular compilation.
2019-07-10 Simon Buist <buist@adacore.com>
gcc/ada/
* sem_util.ads (Child_Prefix): New constant.
* sem_util.adb (Unique_Name): Add a special prefix to child
units that have a nested subprogram or package.
From-SVN: r273343
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions