projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e293fb) | patch
sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of reference for...
authorYannick Moy <moy@adacore.com>
Thu, 4 Aug 2011 08:02:00 +0000 (08:02 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 4 Aug 2011 08:02:00 +0000 (10:02 +0200)
commite9a1ed9bed46e92e18d754d6956602f63ad73623
tree6f3eb5c1927de33d93c7b907c188624ea27aa1cctree | snapshot
parent8e293fbdc67c2db30becbf0a7deeb77f6bd9d0b0commit | diff
sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of reference for ALFA mode.

2011-08-04  Yannick Moy  <moy@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of
reference for ALFA mode.
* lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make
procedure public so as to use it from formal verification back-end.

From-SVN: r177324
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-alfa.adb diff | blob | history
gcc/ada/lib-xref.ads diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
Domain: System / Toolchain;