diff options
| author | Yannick Moy <moy@adacore.com> | 2023-12-13 15:38:59 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-06 11:11:24 +0200 |
| commit | 53c32e9d7f01ee350803c9371b8630bf3e4844b7 (patch) | |
| tree | f5b885283908bd84d818efcb8323ae2154a536cb /gcc/ada/fe.h | |
| parent | 8daf4eb02a2e739d5c62b94528adfddaed506a0a (diff) | |
| download | gcc-53c32e9d7f01ee350803c9371b8630bf3e4844b7.zip gcc-53c32e9d7f01ee350803c9371b8630bf3e4844b7.tar.gz gcc-53c32e9d7f01ee350803c9371b8630bf3e4844b7.tar.bz2 | |
ada: Do not inline in GNATprove the subprograms with (Un)Hide_Info
The annotations Hide_Info and Unhide_Info in GNATprove are meant to
give special visibility in the corresponding scope to the precise definition
of some entities. Hence, such scopes should not be inlined in GNATprove.
gcc/ada/
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Adapt checking.
Diffstat (limited to 'gcc/ada/fe.h')
0 files changed, 0 insertions, 0 deletions