projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6db566c) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:42:17 +0000 (12:42 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:42:17 +0000 (12:42 +0100)
commit269428bb41d535ea6c42eb5f6e9382f2f1d45dfc
tree919c345adf1cf20ea091bae6919c55d8ce14434btree
parent6db566c308dd9ecf9e82938d7bec32884a596e74commit | diff
[multiple changes]

2012-10-29  Thomas Quinot  <quinot@adacore.com>

* xoscons.adb: Minor reformatting.

2012-10-29  Yannick Moy  <moy@adacore.com>

* exp_alfa.adb (Expand_Alfa): Backtrack change that removed
qualification of names in formal verification mode. Instead,
the qualification should be modified.
* exp_dbug.adb (Qualify_Entity_Name): Modify qualification in formal
verification mode, so that only a suffix is added to distinguish
homonyms from the same scope.

From-SVN: r192940
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_alfa.adb diff | blob | history
gcc/ada/exp_dbug.adb diff | blob | history
gcc/ada/xoscons.adb diff | blob | history