projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 307542e) | patch
2011-08-04 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 08:02:00 +0000 (08:02 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 08:02:00 +0000 (08:02 +0000)
commit9d86d2e9e2d072a7d6846c0036a4ec98a3d8acca
tree6f3eb5c1927de33d93c7b907c188624ea27aa1cctree | snapshot
parent307542e2ccaf036c4a47139c8b42240a3331e643commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177324 138bc75d-0d04-0410-961f-82ee72b054a4
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;