projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e84098) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 23 Oct 2015 10:44:35 +0000 (12:44 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 23 Oct 2015 10:44:35 +0000 (12:44 +0200)
commited37f25a36339a3c198c0c8d0d9e07735897d3cd
tree43a5152a860facf5af287afe4d3c26852031e444tree | snapshot
parent6e840989730297abbe1610c3b15ecb565e967f1fcommit | diff
[multiple changes]

2015-10-23  Gary Dismukes  <dismukes@adacore.com>

* bindgen.adb, restrict.adb: Minor spelling/grammar fixes.

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

* sem_res.adb (Resolve_Entity_Name): Code cleanup. Check for possible
elaboration issues in SPARK when the name denotes a source variable.

From-SVN: r229228
gcc/ada/ChangeLog diff | blob | history
gcc/ada/bindgen.adb diff | blob | history
gcc/ada/restrict.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
Domain: System / Toolchain;