diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-02-06 14:45:22 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:09 +0200 |
| commit | f2cffc11f85691e26f80b76065411ec0a27f2a49 (patch) | |
| tree | c9f9155ad560ef853329c6a7ca5f00a5ab5d7c65 /gcc/ada/debug.adb | |
| parent | 3754477bb08f12a7866d9f422fad85bac79f2579 (diff) | |
| download | gcc-f2cffc11f85691e26f80b76065411ec0a27f2a49.zip gcc-f2cffc11f85691e26f80b76065411ec0a27f2a49.tar.gz gcc-f2cffc11f85691e26f80b76065411ec0a27f2a49.tar.bz2 | |
ada: Add warning on frontend inlining of Subprogram_Variant
We already warned when contracts like pre/postcondition appear together
with pragma Inline_Always and they are ignored by the frontend inlining.
For consistency we now also warn for Subprogram_Variant, which is
similarly ignored even though this contract is only meaningful for
recursive subprograms and those can't be inlined anyway (but error about
this might only be emitted when full compilation is done).
gcc/ada/
* sem_prag.adb
(Check_Postcondition_Use_In_Inlined_Subprogram): Mention
Subprogram_Variant in the comment.
(Analyze_Subprogram_Variant_In_Decl_Part): Warn when contract is
ignored because of pragma Inline_Always and frontend inlining.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions