From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 31 Mar 2023 14:43:23 +0000 (+0200)
Subject: ada: Tune message for missing 'Result in Contract_Cases
X-Git-Tag: basepoints/gcc-15~8816
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dedcfceaf012675d5c5c4f34a7cd97d23357d3f3;p=thirdparty%2Fgcc.git

ada: Tune message for missing 'Result in Contract_Cases

Make the message consistent with the one for postcondition.

gcc/ada/

	* sem_util.adb (Check_Result_And_Post_State): Tune message.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 9d12ee71d939..1839214332d6 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -4644,7 +4644,8 @@ package body Sem_Util is
       --  attribute 'Result.
 
       elsif Present (Case_Prag) and then not Seen_In_Case then
-         Error_Msg_N ("contract cases do not mention result?.t?", Case_Prag);
+         Error_Msg_N
+           ("contract cases do not mention function result?.t?", Case_Prag);
 
       --  The function has non-trivial postconditions only and they do not
       --  mention attribute 'Result.