diff options
| author | Yannick Moy <moy@adacore.com> | 2020-11-16 12:06:32 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:48 -0500 |
| commit | 3fcb8100aac71b8a109a4f0ceaabd6cfd650b668 (patch) | |
| tree | 6c89c3c7377ed176bd7391c5449eb7aed51ef93d /gcc/gcov.c | |
| parent | 49ea96b4d883105e44a63f304584088928732975 (diff) | |
| download | gcc-3fcb8100aac71b8a109a4f0ceaabd6cfd650b668.zip gcc-3fcb8100aac71b8a109a4f0ceaabd6cfd650b668.tar.gz gcc-3fcb8100aac71b8a109a4f0ceaabd6cfd650b668.tar.bz2 | |
[Ada] Correctly mark subprogram as not always inlined in GNATprove mode
gcc/ada/
* inline.adb (Cannot_Inline): Add No_Info parameter to disable
info message.
* inline.ads (Cannot_Inline): When No_Info is set to True, do
not issue info message in GNATprove mode, but still mark the
subprogram as not always inlined.
* sem_res.adb (Resolve_Call): Always call Cannot_Inline inside
an assertion expression.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions