From: Piotr Trojanek Date: Mon, 6 Jun 2022 14:41:32 +0000 (+0200) Subject: [Ada] Annotate GNAT.Sockets with No_Return aspects X-Git-Tag: basepoints/gcc-14~5721 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5c0729d2edbc963e5bdea29547aa7b0c751cb491;p=thirdparty%2Fgcc.git [Ada] Annotate GNAT.Sockets with No_Return aspects Opportunity for extra annotations spotted while fixing detection of unreachable code that follows calls to procedures annotated with No_Return. gcc/ada/ * libgnat/g-socket.adb (Raise_Host_Error): Add No_Return aspect. (Raise_GAI_Error): Likewise. * libgnat/g-socket.ads (Raise_Socket_Error): Likewise. --- diff --git a/gcc/ada/libgnat/g-socket.adb b/gcc/ada/libgnat/g-socket.adb index 12abb683bb0..4267d9f408f 100644 --- a/gcc/ada/libgnat/g-socket.adb +++ b/gcc/ada/libgnat/g-socket.adb @@ -191,12 +191,14 @@ package body GNAT.Sockets is else Value); -- Removes dot at the end of error message - procedure Raise_Host_Error (H_Error : Integer; Name : String); + procedure Raise_Host_Error (H_Error : Integer; Name : String) + with No_Return; -- Raise Host_Error exception with message describing error code (note -- hstrerror seems to be obsolete) from h_errno. Name is the name -- or address that was being looked up. - procedure Raise_GAI_Error (RC : C.int; Name : String); + procedure Raise_GAI_Error (RC : C.int; Name : String) + with No_Return; -- Raise Host_Error with exception message in case of errors in -- getaddrinfo and getnameinfo. diff --git a/gcc/ada/libgnat/g-socket.ads b/gcc/ada/libgnat/g-socket.ads index 41ede44ef69..cfc47bea7f9 100644 --- a/gcc/ada/libgnat/g-socket.ads +++ b/gcc/ada/libgnat/g-socket.ads @@ -1593,7 +1593,7 @@ private Wait_For_A_Full_Reception : constant Request_Flag_Type := 4; Send_End_Of_Record : constant Request_Flag_Type := 8; - procedure Raise_Socket_Error (Error : Integer); + procedure Raise_Socket_Error (Error : Integer) with No_Return; -- Raise Socket_Error with an exception message describing the error code -- from errno.