/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | contracts.adb | 586 (Subp_Id : Entity_Id; 2203 if not (Is_Primitive (Subp_Id) and then Comes_From_Source (Subp_Id)) 2576 Subp_Id => Subp_Id, 2583 Subp_Id => Subp_Id, 2751 Subp_Id := Ultimate_Alias (Subp_Id); 2760 Subp_Id := LSP_Subprogram (Subp_Id); 3105 Subp_Id := Spec_Id; 3107 Subp_Id := Body_Id; 4592 Subp_Id := Ultimate_Alias (Subp_Id); 4602 Subp_Id := LSP_Subprogram (Subp_Id); [all …]
|
H A D | sem_elab.adb | 1290 Subp_Id : Entity_Id; 2030 Subp_Id : Entity_Id; 3583 Subp_Id : Entity_Id; variable 3669 Subp_Id => Subp_Id) 3910 Canon_Id := Subp_Id; 5386 Subp_Id => Subp_Id, 5492 Subp_Id => Subp_Id, 5502 Subp_Id => Subp_Id, 13563 Subp_Id : Entity_Id; 14813 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | contracts.adb | 532 (Subp_Id : Entity_Id; 568 Set_SPARK_Mode (Subp_Id); 720 Gen_Id => Subp_Id); 1458 (Subp_Id : Entity_Id; 1473 (Subp_Id : Entity_Id; 1498 (Subp_Id : Entity_Id; 1742 (Subp_Id : Entity_Id; 1902 Subp_Id => Subp_Id, 2536 Subp_Id := Spec_Id; 2538 Subp_Id := Body_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2026 Subp_Id : Entity_Id; 3585 Subp_Id : Entity_Id; variable 3677 Subp_Id => Subp_Id) 3903 Canon_Id := Subp_Id; 5385 Subp_Id => Subp_Id, 5491 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 13535 Subp_Id : Entity_Id; 14785 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | contracts.adb | 532 (Subp_Id : Entity_Id; 568 Set_SPARK_Mode (Subp_Id); 720 Gen_Id => Subp_Id); 1458 (Subp_Id : Entity_Id; 1473 (Subp_Id : Entity_Id; 1498 (Subp_Id : Entity_Id; 1742 (Subp_Id : Entity_Id; 1902 Subp_Id => Subp_Id, 2536 Subp_Id := Spec_Id; 2538 Subp_Id := Body_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2026 Subp_Id : Entity_Id; 3585 Subp_Id : Entity_Id; variable 3677 Subp_Id => Subp_Id) 3903 Canon_Id := Subp_Id; 5385 Subp_Id => Subp_Id, 5491 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 13535 Subp_Id : Entity_Id; 14785 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | contracts.adb | 532 (Subp_Id : Entity_Id; 568 Set_SPARK_Mode (Subp_Id); 720 Gen_Id => Subp_Id); 1458 (Subp_Id : Entity_Id; 1473 (Subp_Id : Entity_Id; 1498 (Subp_Id : Entity_Id; 1742 (Subp_Id : Entity_Id; 1902 Subp_Id => Subp_Id, 2536 Subp_Id := Spec_Id; 2538 Subp_Id := Body_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2026 Subp_Id : Entity_Id; 3585 Subp_Id : Entity_Id; variable 3677 Subp_Id => Subp_Id) 3903 Canon_Id := Subp_Id; 5385 Subp_Id => Subp_Id, 5491 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 13535 Subp_Id : Entity_Id; 14785 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | contracts.adb | 574 (Subp_Id : Entity_Id; 608 Set_SPARK_Mode (Subp_Id); 1666 (Subp_Id : Entity_Id; 1687 (Subp_Id : Entity_Id; 1712 (Subp_Id : Entity_Id; 2088 if not (Is_Primitive (Subp_Id) and then Comes_From_Source (Subp_Id)) 2196 (Subp_Id : Entity_Id; 2469 Subp_Id => Subp_Id, 2476 Subp_Id => Subp_Id, 3110 Subp_Id := Spec_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2030 Subp_Id : Entity_Id; 3592 Subp_Id : Entity_Id; variable 3678 Subp_Id => Subp_Id) 3919 Canon_Id := Subp_Id; 5395 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 5511 Subp_Id => Subp_Id, 13572 Subp_Id : Entity_Id; 14815 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | contracts.adb | 574 (Subp_Id : Entity_Id; 608 Set_SPARK_Mode (Subp_Id); 1666 (Subp_Id : Entity_Id; 1687 (Subp_Id : Entity_Id; 1712 (Subp_Id : Entity_Id; 2088 if not (Is_Primitive (Subp_Id) and then Comes_From_Source (Subp_Id)) 2196 (Subp_Id : Entity_Id; 2469 Subp_Id => Subp_Id, 2476 Subp_Id => Subp_Id, 3110 Subp_Id := Spec_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2030 Subp_Id : Entity_Id; 3592 Subp_Id : Entity_Id; variable 3678 Subp_Id => Subp_Id) 3919 Canon_Id := Subp_Id; 5395 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 5511 Subp_Id => Subp_Id, 13572 Subp_Id : Entity_Id; 14815 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | contracts.adb | 574 (Subp_Id : Entity_Id; 608 Set_SPARK_Mode (Subp_Id); 1666 (Subp_Id : Entity_Id; 1687 (Subp_Id : Entity_Id; 1712 (Subp_Id : Entity_Id; 2088 if not (Is_Primitive (Subp_Id) and then Comes_From_Source (Subp_Id)) 2196 (Subp_Id : Entity_Id; 2469 Subp_Id => Subp_Id, 2476 Subp_Id => Subp_Id, 3110 Subp_Id := Spec_Id; [all …]
|
H A D | sem_elab.adb | 1286 Subp_Id : Entity_Id; 2030 Subp_Id : Entity_Id; 3592 Subp_Id : Entity_Id; variable 3678 Subp_Id => Subp_Id) 3919 Canon_Id := Subp_Id; 5395 Subp_Id => Subp_Id, 5501 Subp_Id => Subp_Id, 5511 Subp_Id => Subp_Id, 13572 Subp_Id : Entity_Id; 14815 Subp_Id := Get_Renamed_Entity (Subp_Id); [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | contracts.adb | 541 (Subp_Id : Entity_Id; 577 Set_SPARK_Mode (Subp_Id); 729 Gen_Id => Subp_Id); 1738 Subp_Id : Entity_Id; variable 1942 (Subp_Id : Entity_Id; 1957 (Subp_Id : Entity_Id; 1982 (Subp_Id : Entity_Id; 2226 (Subp_Id : Entity_Id; 2386 Subp_Id => Subp_Id, 3020 Subp_Id := Spec_Id; [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | contracts.adb | 541 (Subp_Id : Entity_Id; 577 Set_SPARK_Mode (Subp_Id); 729 Gen_Id => Subp_Id); 1738 Subp_Id : Entity_Id; variable 1942 (Subp_Id : Entity_Id; 1957 (Subp_Id : Entity_Id; 1982 (Subp_Id : Entity_Id; 2226 (Subp_Id : Entity_Id; 2386 Subp_Id => Subp_Id, 3020 Subp_Id := Spec_Id; [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | contracts.adb | 541 (Subp_Id : Entity_Id; 577 Set_SPARK_Mode (Subp_Id); 729 Gen_Id => Subp_Id); 1738 Subp_Id : Entity_Id; variable 1942 (Subp_Id : Entity_Id; 1957 (Subp_Id : Entity_Id; 1982 (Subp_Id : Entity_Id; 2226 (Subp_Id : Entity_Id; 2386 Subp_Id => Subp_Id, 3020 Subp_Id := Spec_Id; [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 498 (Subp_Id : Entity_Id; 648 Gen_Id => Subp_Id); 1412 (Subp_Id : Entity_Id; 1427 (Subp_Id : Entity_Id; 1461 (Subp_Id : Entity_Id; 1747 (Subp_Id : Entity_Id; 2035 Subp_Id => Subp_Id, 2139 Subp_Id : Entity_Id; variable 2530 Subp_Id := Spec_Id; 2532 Subp_Id := Body_Id; [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 498 (Subp_Id : Entity_Id; 648 Gen_Id => Subp_Id); 1412 (Subp_Id : Entity_Id; 1427 (Subp_Id : Entity_Id; 1461 (Subp_Id : Entity_Id; 1747 (Subp_Id : Entity_Id; 2035 Subp_Id => Subp_Id, 2139 Subp_Id : Entity_Id; variable 2530 Subp_Id := Spec_Id; 2532 Subp_Id := Body_Id; [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 526 (Subp_Id : Entity_Id; 562 Set_SPARK_Mode (Subp_Id); 680 Gen_Id => Subp_Id); 1644 Subp_Id : Entity_Id; variable 1848 (Subp_Id : Entity_Id; 1863 (Subp_Id : Entity_Id; 1888 (Subp_Id : Entity_Id; 2132 (Subp_Id : Entity_Id; 2290 Subp_Id => Subp_Id, 2873 Subp_Id := Spec_Id; [all …]
|