]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 865c5db) | patch
ada: Fix crash on inlining in GNATprove
authorYannick Moy <moy@adacore.com>
Thu, 8 Jun 2023 14:52:24 +0000 (16:52 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 20 Jun 2023 11:25:28 +0000 (13:25 +0200)
commitc11ef75cb2cd60b0c4408aa8ed1898b69b8c946a
tree4fe65000f44822b2934c740db09c0998ee4aa911tree
parent865c5db7cbc16de9887d5941be9a63a7fa03692ecommit | diff
ada: Fix crash on inlining in GNATprove

After the recent change on detection of non-inlining, calls inside
the iterator part of a quantified expression were not considered
as preventing inlining anymore, leading to a crash later on inside
GNATprove. Now fixed.

gcc/ada/

* sem_res.adb (Resolve_Call): Fix change that replaced test for
quantified expressions by the test for potentially unevaluated
contexts. Both should be performed.
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git