projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a409f8) | patch
[Ada] SPARK: fix a bug related to loop exit environment
authorMaroua Maalej <maalej@adacore.com>
Wed, 26 Sep 2018 09:19:33 +0000 (09:19 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 26 Sep 2018 09:19:33 +0000 (09:19 +0000)
commit2d9a8c0ba10d03608aa2add8cf9f33053ab8c421
tree5a0d7881408b088dfc35ce19279027818abb4fcetree
parent1a409f80df7452dbcab228390a2de483bed5b875commit | diff
[Ada] SPARK: fix a bug related to loop exit environment

2018-09-26  Maroua Maalej  <maalej@adacore.com>

gcc/ada/

* sem_spark.adb (Check_Loop_Statement): Fix a bug related to
loop exit environment.
(Check_Statement): fixing a bug when comparing the source and
target in an assignment statement.

From-SVN: r264631
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history