| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | contracts.adb | 444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_ch10.adb | 2275 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2343 Saved_SM := SPARK_Mode;
2391 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 4747 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4762 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4948 SPARK_Mode => Saved_SM,
5605 and then Saved_SM /= Off
5618 and then Saved_SM /= Off
5621 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5784 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5798 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11628 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11957 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 13284 Saved_SM : SPARK_Mode_Type; variable
13315 Saved_SM := SPARK_Mode;
13330 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | contracts.adb | 444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_ch10.adb | 2275 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2343 Saved_SM := SPARK_Mode;
2391 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 4747 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4762 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4948 SPARK_Mode => Saved_SM,
5605 and then Saved_SM /= Off
5618 and then Saved_SM /= Off
5621 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5784 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5798 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11628 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11957 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 13284 Saved_SM : SPARK_Mode_Type; variable
13315 Saved_SM := SPARK_Mode;
13330 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
| H A D | contracts.adb | 450 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
503 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
538 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
712 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
738 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | rtsfind.adb | 934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1048 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch10.adb | 2310 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2380 Saved_SM := SPARK_Mode;
2428 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 3995 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
4819 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4834 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5669 and then Saved_SM /= Off
5682 and then Saved_SM /= Off
5685 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5853 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5867 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11825 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
12160 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 18007 Saved_SM : SPARK_Mode_Type; variable
18038 Saved_SM := SPARK_Mode;
18053 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | contracts.adb | 444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_ch10.adb | 2275 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2343 Saved_SM := SPARK_Mode;
2391 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 4747 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4762 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4948 SPARK_Mode => Saved_SM,
5605 and then Saved_SM /= Off
5618 and then Saved_SM /= Off
5621 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5784 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5798 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11628 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11957 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 13284 Saved_SM : SPARK_Mode_Type; variable
13315 Saved_SM := SPARK_Mode;
13330 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
| H A D | contracts.adb | 444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_ch10.adb | 2275 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2343 Saved_SM := SPARK_Mode;
2391 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 4747 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4762 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4948 SPARK_Mode => Saved_SM,
5605 and then Saved_SM /= Off
5618 and then Saved_SM /= Off
5621 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5784 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5798 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11628 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11957 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 13274 Saved_SM : SPARK_Mode_Type; variable
13305 Saved_SM := SPARK_Mode;
13320 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | contracts.adb | 444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_ch10.adb | 2275 Saved_SM : SPARK_Mode_Type := SPARK_Mode; variable
2343 Saved_SM := SPARK_Mode;
2391 Install_SPARK_Mode (Saved_SM, Saved_SMP);
|
| H A D | sem_ch12.adb | 4747 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4762 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
4948 SPARK_Mode => Saved_SM,
5605 and then Saved_SM /= Off
5618 and then Saved_SM /= Off
5621 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5784 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
5798 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11628 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
11957 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
|
| H A D | sem_elab.adb | 13284 Saved_SM : SPARK_Mode_Type; variable
13315 Saved_SM := SPARK_Mode;
13330 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
|