projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39af2ba) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 13:04:53 +0000 (15:04 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 13:04:53 +0000 (15:04 +0200)
commit91952132ebb4f0adadf617af5dce4ecb03509591
tree6a0e0fff21176dc132bcca6f1539c88225e70bb0tree
parent39af2bac25b7a60c9ab868e794202dd45af94e14commit | diff
[multiple changes]

2013-10-10  Yannick Moy  <moy@adacore.com>

* errout.adb (Compilation_Errors): In formal verification mode,
always return False.

2013-10-10  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Collect_Hidden_States_In_Decls): Only consider source
non-constant objects.

From-SVN: r203372
gcc/ada/ChangeLog diff | blob | history
gcc/ada/errout.adb diff | blob | history
gcc/ada/errout.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history