diff options
| author | Yannick Moy <moy@adacore.com> | 2023-06-08 09:12:25 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-20 09:30:50 +0200 |
| commit | 8912b95779dd233fb3a8c8b4dda033ed7b50be31 (patch) | |
| tree | e8636ef3eba23725e15b2a6016ebf43c1a49031c /libcpp/directives.cc | |
| parent | f1c15fe3f054d453f94e1412ec5bcb2c1e7205e8 (diff) | |
| download | gcc-8912b95779dd233fb3a8c8b4dda033ed7b50be31.zip gcc-8912b95779dd233fb3a8c8b4dda033ed7b50be31.tar.gz gcc-8912b95779dd233fb3a8c8b4dda033ed7b50be31.tar.bz2 | |
ada: Do not issue warning on postcondition in some cases
Warning on suspicious postcondition is not relevant if contract
Exceptional_Cases is present, or if contract Always_Terminates is
present with a non-statically True value, as in those cases the
postcondition can be used to indicate constraints on those pre-state
for which the subprogram might terminate normally.
gcc/ada/
* sem_util.adb (Check_Result_And_Post_State): Do not warn in cases
where the warning could be spurious.
Diffstat (limited to 'libcpp/directives.cc')
0 files changed, 0 insertions, 0 deletions