diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-02-06 14:40:26 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:09 +0200 |
commit | 3754477bb08f12a7866d9f422fad85bac79f2579 (patch) | |
tree | 85bd0c671ec7a5544c832e39306a77909c4bfb82 /intl | |
parent | 86bcf5d5d369cd78ebd99989978432f8cdb73bb4 (diff) | |
download | gcc-3754477bb08f12a7866d9f422fad85bac79f2579.zip gcc-3754477bb08f12a7866d9f422fad85bac79f2579.tar.gz gcc-3754477bb08f12a7866d9f422fad85bac79f2579.tar.bz2 |
ada: Fix spurious warning on Inline_Always and contracts
Warnings about pre/postconditions being ignored with Inline_Always were
only true for the obsolete frontend inlining. With the current backend
pre/postconditions work fine with Inline_Always.
gcc/ada/
* sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram): Only
emit warning when frontend inlining is enabled.
Diffstat (limited to 'intl')
0 files changed, 0 insertions, 0 deletions