commit | 5c0729d2edbc963e5bdea29547aa7b0c751cb491 | [log] [tgz] |
---|---|---|
author | Piotr Trojanek <trojanek@adacore.com> | Mon Jun 06 16:41:32 2022 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Tue Jul 05 08:28:19 2022 +0000 |
tree | 02e46aec088ecb7cf2426ba55a124eed6bb656cc | |
parent | dd1c3433aa93d70d41d6c6cc1836249396413eab [diff] |
[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.