projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a14bfb) | patch
[Ada] Fix spurious error on checking of null Abstract_State
authorYannick Moy <moy@adacore.com>
Wed, 11 Dec 2019 16:39:07 +0000 (17:39 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 25 May 2020 14:00:55 +0000 (10:00 -0400)
commit431e762fae0faf10c6a115cd4e36d7c8867c5c17
treea725d10f7ffd0d7a42a1c046338d396119190755tree
parent1a14bfbd78324a25943998ed1e877e41ec4cd417commit | diff
[Ada] Fix spurious error on checking of null Abstract_State

2020-05-25  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_util.adb (Check_No_Hidden_State): Stop propagation at
first block/task/entry.
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_util.adb diff | blob | history