diff options
| author | Claire Dross <dross@adacore.com> | 2022-05-18 15:22:39 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-02 09:06:43 +0000 |
| commit | 2b376b593570317195f99c65343a5856ae8c07eb (patch) | |
| tree | 8625a1abef732b0e2fbf95e048a618c7421ebd47 /gcc/ada/gcc-interface | |
| parent | 2a466ee093827650cd33fe877c1043441c4e9427 (diff) | |
| download | gcc-2b376b593570317195f99c65343a5856ae8c07eb.zip gcc-2b376b593570317195f99c65343a5856ae8c07eb.tar.gz gcc-2b376b593570317195f99c65343a5856ae8c07eb.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions