projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24fd21c) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 11:32:36 +0000 (12:32 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 11:32:36 +0000 (12:32 +0100)
commit363f2c587eb0ae1238fe398326223ebc79c39cd3
tree696cc369b97a574c58bc50e624a588f1b2761fb8tree
parent24fd21c393d671989c45f53fcfb0f489d9ca768ecommit | diff
[multiple changes]

2015-10-26  Yannick Moy  <moy@adacore.com>

* lib-xref-spark_specific.adb (Traverse_Protected_Declaration): New
procedure for traversal.
(Add_SPARK_Xrefs): Remove debugging code.
(Traverse_Declaration_Or_Statement): Call the new traversal
procedure.

2015-10-26  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Pragma): Pragma
Extensions_Visible can now appear on an abstract subprogram
declaration.

From-SVN: r229338
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history