diff options
| author | Yannick Moy <moy@adacore.com> | 2023-07-28 09:17:41 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-07 13:14:36 +0200 |
| commit | 43057533fe24b3bbcc08f7e094af6fcaf58f279e (patch) | |
| tree | 22123f3a519e4423f208162af47c2db91e8a9a94 /Makefile.in | |
| parent | 3ad67df218bf6073f4c783df54cdf0e20fa5e42a (diff) | |
| download | gcc-43057533fe24b3bbcc08f7e094af6fcaf58f279e.zip gcc-43057533fe24b3bbcc08f7e094af6fcaf58f279e.tar.gz gcc-43057533fe24b3bbcc08f7e094af6fcaf58f279e.tar.bz2 | |
ada: Crash in GNATprove due to wrong detection of inlining
When a function is called in a predicate, it was not properly detected
as not always inlined in GNATprove mode, which led to crashes later during
analysis. Fixed now.
gcc/ada/
* sem_res.adb (Resolve_Call): Always call Cannot_Inline so that
subprogram called is marked as not always inlined.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions