Home
last modified time | relevance | path

Searched refs:Subp_Id (Results 1 – 25 of 644) sorted by relevance

12345678910>>...26

/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dcontracts.adb586 (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 Dsem_elab.adb1290 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 Dcontracts.adb532 (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 Dsem_elab.adb1286 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 Dcontracts.adb532 (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 Dsem_elab.adb1286 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 Dcontracts.adb532 (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 Dsem_elab.adb1286 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 Dcontracts.adb574 (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 Dsem_elab.adb1286 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 Dcontracts.adb574 (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 Dsem_elab.adb1286 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 Dcontracts.adb574 (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 Dsem_elab.adb1286 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 Dcontracts.adb541 (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 Dcontracts.adb541 (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 Dcontracts.adb541 (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 Dcontracts.adb498 (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 Dcontracts.adb498 (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 Dcontracts.adb526 (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 Dcontracts.adb526 (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 Dcontracts.adb526 (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 Dcontracts.adb526 (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 Dcontracts.adb526 (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 Dcontracts.adb526 (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 …]

12345678910>>...26