projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a466ee) | patch
[Ada] Rename GNATprove annotate pragma for termination to Always_Return
authorClaire Dross <dross@adacore.com>
Wed, 18 May 2022 13:22:39 +0000 (15:22 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Jun 2022 09:06:43 +0000 (09:06 +0000)
commit2b376b593570317195f99c65343a5856ae8c07eb
tree8625a1abef732b0e2fbf95e048a618c7421ebd47tree | snapshot
parent2a466ee093827650cd33fe877c1043441c4e9427commit | diff
[Ada] Rename GNATprove annotate pragma for termination to Always_Return

GNATprove changed the name of the pragma Annotate used to verify that
a subprogram always returns normally. It is now called Always_Return
instead of Terminating.

gcc/ada/

* libgnat/s-aridou.adb: Use Always_Return instead of Terminating
to annotate termination for GNATprove.
* libgnat/s-arit32.adb: Idem.
* libgnat/s-spcuop.ads: Idem.
gcc/ada/libgnat/s-aridou.adb diff | blob | history
gcc/ada/libgnat/s-arit32.adb diff | blob | history
gcc/ada/libgnat/s-spcuop.ads diff | blob | history
Domain: System / Toolchain;