diff options
| author | Yannick Moy <moy@adacore.com> | 2023-06-08 16:52:24 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-20 13:25:28 +0200 |
| commit | c11ef75cb2cd60b0c4408aa8ed1898b69b8c946a (patch) | |
| tree | 4fe65000f44822b2934c740db09c0998ee4aa911 /gcc/ada/gcc-interface/decl.cc | |
| parent | 865c5db7cbc16de9887d5941be9a63a7fa03692e (diff) | |
| download | gcc-c11ef75cb2cd60b0c4408aa8ed1898b69b8c946a.zip gcc-c11ef75cb2cd60b0c4408aa8ed1898b69b8c946a.tar.gz gcc-c11ef75cb2cd60b0c4408aa8ed1898b69b8c946a.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions