/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | sem_prag.adb | 3315 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4008 end Analyze_If_Present; 4179 Analyze_If_Present (Pragma_SPARK_Mode); 10821 Analyze_If_Present (Pragma_SPARK_Mode); 10859 Analyze_If_Present (Pragma_Initializes); 14549 Analyze_If_Present (Pragma_SPARK_Mode); 15732 Analyze_If_Present (Pragma_SPARK_Mode); 15734 Analyze_If_Present (Pragma_Initializes); 15846 Analyze_If_Present (Pragma_SPARK_Mode); 19630 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | sem_prag.adb | 3315 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4008 end Analyze_If_Present; 4179 Analyze_If_Present (Pragma_SPARK_Mode); 10821 Analyze_If_Present (Pragma_SPARK_Mode); 10859 Analyze_If_Present (Pragma_Initializes); 14549 Analyze_If_Present (Pragma_SPARK_Mode); 15732 Analyze_If_Present (Pragma_SPARK_Mode); 15734 Analyze_If_Present (Pragma_Initializes); 15846 Analyze_If_Present (Pragma_SPARK_Mode); 19630 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | sem_prag.adb | 3678 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4388 end Analyze_If_Present; 4678 Analyze_If_Present (Pragma_SPARK_Mode); 11969 Analyze_If_Present (Pragma_SPARK_Mode); 12000 Analyze_If_Present (Pragma_Initializes); 15849 Analyze_If_Present (Pragma_SPARK_Mode); 17047 Analyze_If_Present (Pragma_SPARK_Mode); 17049 Analyze_If_Present (Pragma_Initializes); 17162 Analyze_If_Present (Pragma_SPARK_Mode); 21371 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | sem_prag.adb | 3855 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4550 end Analyze_If_Present; 4853 Analyze_If_Present (Pragma_SPARK_Mode); 12289 Analyze_If_Present (Pragma_SPARK_Mode); 12320 Analyze_If_Present (Pragma_Initializes); 16511 Analyze_If_Present (Pragma_SPARK_Mode); 17740 Analyze_If_Present (Pragma_SPARK_Mode); 17742 Analyze_If_Present (Pragma_Initializes); 18022 Analyze_If_Present (Pragma_SPARK_Mode); 22331 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | sem_prag.adb | 3981 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4678 end Analyze_If_Present; 4981 Analyze_If_Present (Pragma_SPARK_Mode); 12514 Analyze_If_Present (Pragma_SPARK_Mode); 12545 Analyze_If_Present (Pragma_Initializes); 16804 Analyze_If_Present (Pragma_SPARK_Mode); 18033 Analyze_If_Present (Pragma_SPARK_Mode); 18035 Analyze_If_Present (Pragma_Initializes); 18315 Analyze_If_Present (Pragma_SPARK_Mode); 22668 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | sem_prag.adb | 3855 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4550 end Analyze_If_Present; 4853 Analyze_If_Present (Pragma_SPARK_Mode); 12289 Analyze_If_Present (Pragma_SPARK_Mode); 12320 Analyze_If_Present (Pragma_Initializes); 16511 Analyze_If_Present (Pragma_SPARK_Mode); 17740 Analyze_If_Present (Pragma_SPARK_Mode); 17742 Analyze_If_Present (Pragma_Initializes); 18022 Analyze_If_Present (Pragma_SPARK_Mode); 22331 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | sem_prag.adb | 3855 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4550 end Analyze_If_Present; 4853 Analyze_If_Present (Pragma_SPARK_Mode); 12289 Analyze_If_Present (Pragma_SPARK_Mode); 12320 Analyze_If_Present (Pragma_Initializes); 16511 Analyze_If_Present (Pragma_SPARK_Mode); 17740 Analyze_If_Present (Pragma_SPARK_Mode); 17742 Analyze_If_Present (Pragma_Initializes); 18022 Analyze_If_Present (Pragma_SPARK_Mode); 22331 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | sem_prag.adb | 3725 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4518 end Analyze_If_Present; 4810 Analyze_If_Present (Pragma_SPARK_Mode); 12402 Analyze_If_Present (Pragma_SPARK_Mode); 12433 Analyze_If_Present (Pragma_Initializes); 16672 Analyze_If_Present (Pragma_SPARK_Mode); 17894 Analyze_If_Present (Pragma_SPARK_Mode); 17896 Analyze_If_Present (Pragma_Initializes); 18167 Analyze_If_Present (Pragma_SPARK_Mode); 22408 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | sem_prag.adb | 3808 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4579 end Analyze_If_Present; 4871 Analyze_If_Present (Pragma_SPARK_Mode); 12596 Analyze_If_Present (Pragma_SPARK_Mode); 12627 Analyze_If_Present (Pragma_Initializes); 16930 Analyze_If_Present (Pragma_SPARK_Mode); 18150 Analyze_If_Present (Pragma_SPARK_Mode); 18152 Analyze_If_Present (Pragma_Initializes); 18423 Analyze_If_Present (Pragma_SPARK_Mode); 22709 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | sem_prag.adb | 3808 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4579 end Analyze_If_Present; 4871 Analyze_If_Present (Pragma_SPARK_Mode); 12596 Analyze_If_Present (Pragma_SPARK_Mode); 12627 Analyze_If_Present (Pragma_Initializes); 16930 Analyze_If_Present (Pragma_SPARK_Mode); 18150 Analyze_If_Present (Pragma_SPARK_Mode); 18152 Analyze_If_Present (Pragma_Initializes); 18423 Analyze_If_Present (Pragma_SPARK_Mode); 22709 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | sem_prag.adb | 3808 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4579 end Analyze_If_Present; 4871 Analyze_If_Present (Pragma_SPARK_Mode); 12596 Analyze_If_Present (Pragma_SPARK_Mode); 12627 Analyze_If_Present (Pragma_Initializes); 16930 Analyze_If_Present (Pragma_SPARK_Mode); 18150 Analyze_If_Present (Pragma_SPARK_Mode); 18152 Analyze_If_Present (Pragma_Initializes); 18423 Analyze_If_Present (Pragma_SPARK_Mode); 22709 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | sem_prag.adb | 3725 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4518 end Analyze_If_Present; 4810 Analyze_If_Present (Pragma_SPARK_Mode); 12402 Analyze_If_Present (Pragma_SPARK_Mode); 12433 Analyze_If_Present (Pragma_Initializes); 16672 Analyze_If_Present (Pragma_SPARK_Mode); 17894 Analyze_If_Present (Pragma_SPARK_Mode); 17896 Analyze_If_Present (Pragma_Initializes); 18167 Analyze_If_Present (Pragma_SPARK_Mode); 22408 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | sem_prag.adb | 3725 procedure Analyze_If_Present (Id : Pragma_Id); subprogspec 4518 end Analyze_If_Present; 4810 Analyze_If_Present (Pragma_SPARK_Mode); 12402 Analyze_If_Present (Pragma_SPARK_Mode); 12433 Analyze_If_Present (Pragma_Initializes); 16672 Analyze_If_Present (Pragma_SPARK_Mode); 17894 Analyze_If_Present (Pragma_SPARK_Mode); 17896 Analyze_If_Present (Pragma_Initializes); 18167 Analyze_If_Present (Pragma_SPARK_Mode); 22408 Analyze_If_Present (Pragma_SPARK_Mode); [all …]
|