From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2140) id 5522D385E02C; Thu, 20 Oct 2022 04:09:37 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5522D385E02C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666238977; bh=MTNcUqy2nM3255PBcPys2SZb1Jcisuv/XVEwEtkrr24=; h=From:To:Subject:Date:From; b=lGjhSO2l182CLh38sUR/9oU3bVXQEIUsqsoRBX3InGynlhVFH8hVq0vcfEDGFOe4r ePZtXDdRh//V9EGFTzlEvwbyrMv8kyrcmCrNJgZsqI3AhMvoaPJKUItEzVJ8DQLLrL KJRZBYd32/DBd6EA1VGncIKIlKLducRiEodtl+TI= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Alexandre Oliva To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/aoliva/heads/testme)] Expose expected_throw attribute X-Act-Checkin: gcc X-Git-Author: Alexandre Oliva X-Git-Refname: refs/users/aoliva/heads/testme X-Git-Oldrev: b96bdb8e2028adaaa21b5bcb1b993329043e8527 X-Git-Newrev: 2bf450062dd91d54e51d467a61dd7e8248e50d4d Message-Id: <20221020040937.5522D385E02C@sourceware.org> Date: Thu, 20 Oct 2022 04:09:37 +0000 (GMT) List-Id: https://gcc.gnu.org/g:2bf450062dd91d54e51d467a61dd7e8248e50d4d commit 2bf450062dd91d54e51d467a61dd7e8248e50d4d Author: Alexandre Oliva Date: Wed Oct 19 20:36:25 2022 -0300 Expose expected_throw attribute Diff: --- gcc/ada/libgnat/a-except.ads | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/gcc/ada/libgnat/a-except.ads b/gcc/ada/libgnat/a-except.ads index af87d6624a9..b0f3bcb78bd 100644 --- a/gcc/ada/libgnat/a-except.ads +++ b/gcc/ada/libgnat/a-except.ads @@ -79,11 +79,13 @@ package Ada.Exceptions is procedure Raise_Exception (E : Exception_Id; Message : String := ""); pragma No_Return (Raise_Exception); + pragma Machine_Attribute (Raise_Exception, "expected_throw"); -- Note: In accordance with AI-466, CE is raised if E = Null_Id function Exception_Message (X : Exception_Occurrence) return String; procedure Reraise_Occurrence (X : Exception_Occurrence); + pragma Machine_Attribute (Reraise_Occurrence, "expected_throw"); -- Note: it would be really nice to give a pragma No_Return for this -- procedure, but it would be wrong, since Reraise_Occurrence does return -- if the argument is the null exception occurrence. See also procedure @@ -177,6 +179,7 @@ private procedure Raise_Exception_Always (E : Exception_Id; Message : String := ""); pragma No_Return (Raise_Exception_Always); + pragma Machine_Attribute (Raise_Exception_Always, "expected_throw"); pragma Export (Ada, Raise_Exception_Always, "__gnat_raise_exception"); -- This differs from Raise_Exception only in that the caller has determined -- that for sure the parameter E is not null, and that therefore no check @@ -195,6 +198,9 @@ private "__gnat_raise_from_controlled_operation"); -- Raise Program_Error, providing information about X (an exception raised -- during a controlled operation) in the exception message. + pragma Machine_Attribute (Raise_From_Controlled_Operation, + "expected_throw"); + -- Mark it like internal exception-raising subprograms procedure Reraise_Library_Exception_If_Any; pragma Export @@ -205,6 +211,7 @@ private procedure Reraise_Occurrence_Always (X : Exception_Occurrence); pragma No_Return (Reraise_Occurrence_Always); + pragma Machine_Attribute (Reraise_Occurrence_Always, "expected_throw"); -- This differs from Raise_Occurrence only in that the caller guarantees -- that for sure the parameter X is not the null occurrence, and that -- therefore this procedure cannot return. The expander uses this routine @@ -212,6 +219,7 @@ private procedure Reraise_Occurrence_No_Defer (X : Exception_Occurrence); pragma No_Return (Reraise_Occurrence_No_Defer); + pragma Machine_Attribute (Reraise_Occurrence_No_Defer, "expected_throw"); -- Exactly like Reraise_Occurrence, except that abort is not deferred -- before the call and the parameter X is known not to be the null -- occurrence. This is used in generated code when it is known that abort