diff options
| author | Yannick Moy <moy@adacore.com> | 2023-12-13 17:40:03 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-06 11:11:25 +0200 |
| commit | cdf15b4b661c5fa1a210642e0b2a508969faf197 (patch) | |
| tree | a28c6c59671691b07b02721070fd9f0b5b640e82 /gcc/ada/fe.h | |
| parent | 48d7a599ecd141f7936deff6170dd5199edb2d98 (diff) | |
| download | gcc-cdf15b4b661c5fa1a210642e0b2a508969faf197.zip gcc-cdf15b4b661c5fa1a210642e0b2a508969faf197.tar.gz gcc-cdf15b4b661c5fa1a210642e0b2a508969faf197.tar.bz2 | |
ada: Prevent inlining in GNATprove for memory leaks
In some cases, inlining a call in GNATprove could lead to
missing a memory leak. Recognize such cases and do not inline
such calls.
gcc/ada/
* inline.adb (Call_Can_Be_Inlined_In_GNATprove_Mode):
Add case to prevent inlining of call.
* inline.ads: Likewise.
* sem_res.adb (Resolve_Call): Update comment and message.
Diffstat (limited to 'gcc/ada/fe.h')
0 files changed, 0 insertions, 0 deletions