diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-12-22 10:34:37 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-03 05:28:21 -0400 |
| commit | e36ee1b4df7197b6e7542bb67004b1fcf09714ce (patch) | |
| tree | 4c718af3c6d41b3f01b1797de8590f864d76cef5 /gcc/loop-init.c | |
| parent | 1668564fdefee11a2f455766f310baf8d5b2e1af (diff) | |
| download | gcc-e36ee1b4df7197b6e7542bb67004b1fcf09714ce.zip gcc-e36ee1b4df7197b6e7542bb67004b1fcf09714ce.tar.gz gcc-e36ee1b4df7197b6e7542bb67004b1fcf09714ce.tar.bz2 | |
[Ada] Spurious warning on postcondition and result
gcc/ada/
* sem_util.adb (Check_Result_And_Post_State): Replace custom
Has_In_Out_Parameter with existing Has_Out_Or_In_Out_Parameter
flag which corresponds exactly to what we need.
Diffstat (limited to 'gcc/loop-init.c')
0 files changed, 0 insertions, 0 deletions