projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 245fee1) | patch
sem_util.adb: Minor refactoring.
authorYannick Moy <moy@adacore.com>
Tue, 25 Apr 2017 12:35:59 +0000 (12:35 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:35:59 +0000 (14:35 +0200)
commite4b1cd76560d70923fbcbc52b2be32e4c760ba49
treeb6a00fcba8163929715823be20e72f352d816975tree
parent245fee17cb416f3b5e09743a2dbee768ec8c8b16commit | diff
sem_util.adb: Minor refactoring.

2017-04-25  Yannick Moy  <moy@adacore.com>

* sem_util.adb: Minor refactoring.
* freeze.adb (Freeze_Record_Type): Fix checking of SPARK RM 7.1.3(5).

From-SVN: r247211
gcc/ada/ChangeLog diff | blob | history
gcc/ada/freeze.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history