Home
last modified time | relevance | path

Searched refs:Body_Id (Results 1 – 25 of 511) sorted by relevance

12345678910>>...21

/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dsem_ch7.adb211 Body_Id : Entity_Id; variable
259 Body_Id := Defining_Entity (N);
313 Set_Is_Child_Unit (Body_Id);
323 Body_Id := Defining_Entity (N);
341 Body_Id := Defining_Entity (N);
350 Set_Body_Entity (Spec_Id, Body_Id);
352 Set_Contract (Body_Id, Make_Contract (Sloc (Body_Id)));
393 Set_SPARK_Aux_Pragma (Body_Id, SPARK_Pragma (Body_Id));
478 Check_Completion (Body_Id);
524 E := First_Entity (Body_Id);
[all …]
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dsem_ch6.adb260 Body_Id : Entity_Id; variable
362 Check_Fully_Conformant (Body_Id, Gen_Id, Body_Id);
825 Enter_Name (Body_Id);
835 elsif Prev_Id = Body_Id
885 P_Ent := Body_Id;
1024 (Body_Id, Spec_Id,
1045 if Spec_Id /= Body_Id then
1083 (Body_Id, Body_Id, 'b', Set_Ref => False, Force => True);
1086 New_Scope (Body_Id);
1126 Check_Eliminated (Body_Id);
[all …]
H A Dsem_ch7.adb125 Body_Id : Entity_Id; variable
183 Body_Id := Defining_Entity (N);
240 Set_Is_Child_Unit (Body_Id);
250 Body_Id := Defining_Entity (N);
262 Body_Id := Defining_Entity (N);
270 Set_Ekind (Body_Id, E_Package_Body);
271 Set_Body_Entity (Spec_Id, Body_Id);
272 Set_Spec_Entity (Body_Id, Spec_Id);
338 Check_Completion (Body_Id);
384 E := First_Entity (Body_Id);
[all …]
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dsem_ch6.adb260 Body_Id : Entity_Id;
362 Check_Fully_Conformant (Body_Id, Gen_Id, Body_Id);
825 Enter_Name (Body_Id);
835 elsif Prev_Id = Body_Id
885 P_Ent := Body_Id;
1024 (Body_Id, Spec_Id,
1045 if Spec_Id /= Body_Id then
1083 (Body_Id, Body_Id, 'b', Set_Ref => False, Force => True);
1086 New_Scope (Body_Id);
1126 Check_Eliminated (Body_Id);
[all …]
H A Dsem_ch7.adb125 Body_Id : Entity_Id;
183 Body_Id := Defining_Entity (N);
240 Set_Is_Child_Unit (Body_Id);
250 Body_Id := Defining_Entity (N);
262 Body_Id := Defining_Entity (N);
270 Set_Ekind (Body_Id, E_Package_Body);
271 Set_Body_Entity (Spec_Id, Body_Id);
272 Set_Spec_Entity (Body_Id, Spec_Id);
338 Check_Completion (Body_Id);
384 E := First_Entity (Body_Id);
[all …]
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dcontracts.adb432 if Ekind (Body_Id) = E_Void then
450 Save_SPARK_Mode_And_Set (Body_Id, Mode);
455 Check_Result_And_Post_State (Body_Id);
941 (Body_Id : Entity_Id;
1102 if Chars (Body_Id) = Name_uParent then
1130 Freeze_Id => Body_Id);
1534 Body_Id : Entity_Id; variable
1554 Body_Id := Proc_Id;
1559 if No (Body_Id) then
1563 Spec := Parent (Body_Id);
[all …]
H A Dsem_ch7.adb535 Body_Id : Entity_Id; variable
584 Body_Id := Defining_Entity (N);
644 Set_Is_Child_Unit (Body_Id);
654 Body_Id := Defining_Entity (N);
679 Body_Id := Defining_Entity (N);
688 Set_Body_Entity (Spec_Id, Body_Id);
689 Set_Spec_Entity (Body_Id, Spec_Id);
733 Set_Is_Ghost_Entity (Body_Id);
824 Check_Completion (Body_Id);
870 E := First_Entity (Body_Id);
[all …]
H A Dsem_ch6.adb1126 Body_Id : Entity_Id; variable
1256 Check_Fully_Conformant (Body_Id, Gen_Id, Body_Id);
2411 Scop := Body_Id;
2594 Id := Body_Id;
2655 Id := Body_Id;
3046 Enter_Name (Body_Id);
3057 elsif Prev_Id = Body_Id and then Has_Completion (Body_Id) then
3454 (Body_Id, Body_Id, 'b', Set_Ref => False, Force => True);
3457 Push_Scope (Body_Id);
3840 Set_Analyzed (Body_Id);
[all …]
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dcontracts.adb432 if Ekind (Body_Id) = E_Void then
450 Save_SPARK_Mode_And_Set (Body_Id, Mode);
455 Check_Result_And_Post_State (Body_Id);
941 (Body_Id : Entity_Id;
1102 if Chars (Body_Id) = Name_uParent then
1130 Freeze_Id => Body_Id);
1534 Body_Id : Entity_Id; variable
1554 Body_Id := Proc_Id;
1559 if No (Body_Id) then
1563 Spec := Parent (Body_Id);
[all …]
H A Dsem_ch7.adb535 Body_Id : Entity_Id; variable
584 Body_Id := Defining_Entity (N);
644 Set_Is_Child_Unit (Body_Id);
654 Body_Id := Defining_Entity (N);
679 Body_Id := Defining_Entity (N);
688 Set_Body_Entity (Spec_Id, Body_Id);
689 Set_Spec_Entity (Body_Id, Spec_Id);
733 Set_Is_Ghost_Entity (Body_Id);
824 Check_Completion (Body_Id);
870 E := First_Entity (Body_Id);
[all …]
H A Dsem_ch6.adb1126 Body_Id : Entity_Id; variable
1256 Check_Fully_Conformant (Body_Id, Gen_Id, Body_Id);
2411 Scop := Body_Id;
2594 Id := Body_Id;
2655 Id := Body_Id;
3046 Enter_Name (Body_Id);
3057 elsif Prev_Id = Body_Id and then Has_Completion (Body_Id) then
3454 (Body_Id, Body_Id, 'b', Set_Ref => False, Force => True);
3457 Push_Scope (Body_Id);
3840 Set_Analyzed (Body_Id);
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dcontracts.adb459 if Ekind (Body_Id) = E_Void then
477 Set_SPARK_Mode (Body_Id);
482 Check_Result_And_Post_State (Body_Id);
519 Expand_Subprogram_Contract (Body_Id);
1001 (Body_Id : Entity_Id;
1030 Set_SPARK_Mode (Body_Id);
2515 Process_Preconditions_For (Body_Id);
2538 Subp_Id := Body_Id;
2737 Freeze_Id => Body_Id);
2744 Freeze_Id => Body_Id);
[all …]
H A Dsem_ch7.adb683 Body_Id : Entity_Id; variable
703 Body_Id := Defining_Entity (N);
817 Set_Is_Child_Unit (Body_Id);
827 Body_Id := Defining_Entity (N);
852 Body_Id := Defining_Entity (N);
860 Set_Ekind (Body_Id, E_Package_Body);
861 Set_Body_Entity (Spec_Id, Body_Id);
862 Set_Spec_Entity (Body_Id, Spec_Id);
992 Check_Completion (Body_Id);
1039 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dcontracts.adb459 if Ekind (Body_Id) = E_Void then
477 Set_SPARK_Mode (Body_Id);
482 Check_Result_And_Post_State (Body_Id);
519 Expand_Subprogram_Contract (Body_Id);
1001 (Body_Id : Entity_Id;
1030 Set_SPARK_Mode (Body_Id);
2515 Process_Preconditions_For (Body_Id);
2538 Subp_Id := Body_Id;
2737 Freeze_Id => Body_Id);
2744 Freeze_Id => Body_Id);
[all …]
H A Dsem_ch7.adb683 Body_Id : Entity_Id; variable
703 Body_Id := Defining_Entity (N);
817 Set_Is_Child_Unit (Body_Id);
827 Body_Id := Defining_Entity (N);
852 Body_Id := Defining_Entity (N);
860 Set_Ekind (Body_Id, E_Package_Body);
861 Set_Body_Entity (Spec_Id, Body_Id);
862 Set_Spec_Entity (Body_Id, Spec_Id);
992 Check_Completion (Body_Id);
1039 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dcontracts.adb459 if Ekind (Body_Id) = E_Void then
477 Set_SPARK_Mode (Body_Id);
482 Check_Result_And_Post_State (Body_Id);
519 Expand_Subprogram_Contract (Body_Id);
1001 (Body_Id : Entity_Id;
1030 Set_SPARK_Mode (Body_Id);
2515 Process_Preconditions_For (Body_Id);
2538 Subp_Id := Body_Id;
2737 Freeze_Id => Body_Id);
2744 Freeze_Id => Body_Id);
[all …]
H A Dsem_ch7.adb683 Body_Id : Entity_Id; variable
703 Body_Id := Defining_Entity (N);
817 Set_Is_Child_Unit (Body_Id);
827 Body_Id := Defining_Entity (N);
852 Body_Id := Defining_Entity (N);
860 Set_Ekind (Body_Id, E_Package_Body);
861 Set_Body_Entity (Spec_Id, Body_Id);
862 Set_Spec_Entity (Body_Id, Spec_Id);
992 Check_Completion (Body_Id);
1039 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dsem_ch6.adb1728 Body_Id : Entity_Id; variable
1850 Check_Fully_Conformant (Body_Id, Gen_Id, Body_Id);
3319 Scop := Body_Id;
3451 (Sloc (Body_Id), Chars (Body_Id));
3525 Id := Body_Id;
3559 Id := Body_Id;
4225 elsif Prev_Id = Body_Id and then Has_Completion (Body_Id) then
4608 if Spec_Id /= Body_Id
4731 (Body_Id, Body_Id, 'b', Set_Ref => False, Force => True);
5255 Set_Analyzed (Body_Id);
[all …]
H A Dsem_ch7.adb701 Body_Id : Entity_Id; variable
721 Body_Id := Defining_Entity (N);
837 Set_Is_Child_Unit (Body_Id);
847 Body_Id := Defining_Entity (N);
872 Body_Id := Defining_Entity (N);
881 Set_Body_Entity (Spec_Id, Body_Id);
882 Set_Spec_Entity (Body_Id, Spec_Id);
888 Set_Scope (Body_Id, Scope (Spec_Id));
1021 Check_Completion (Body_Id);
1068 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dsem_ch7.adb698 Body_Id : Entity_Id; variable
718 Body_Id := Defining_Entity (N);
832 Set_Is_Child_Unit (Body_Id);
842 Body_Id := Defining_Entity (N);
867 Body_Id := Defining_Entity (N);
875 Set_Ekind (Body_Id, E_Package_Body);
876 Set_Body_Entity (Spec_Id, Body_Id);
877 Set_Spec_Entity (Body_Id, Spec_Id);
1023 Check_Completion (Body_Id);
1070 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dsem_ch7.adb698 Body_Id : Entity_Id; variable
718 Body_Id := Defining_Entity (N);
832 Set_Is_Child_Unit (Body_Id);
842 Body_Id := Defining_Entity (N);
867 Body_Id := Defining_Entity (N);
875 Set_Ekind (Body_Id, E_Package_Body);
876 Set_Body_Entity (Spec_Id, Body_Id);
877 Set_Spec_Entity (Body_Id, Spec_Id);
1023 Check_Completion (Body_Id);
1070 E := First_Entity (Body_Id);
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dsem_ch7.adb698 Body_Id : Entity_Id; variable
718 Body_Id := Defining_Entity (N);
832 Set_Is_Child_Unit (Body_Id);
842 Body_Id := Defining_Entity (N);
867 Body_Id := Defining_Entity (N);
875 Set_Ekind (Body_Id, E_Package_Body);
876 Set_Body_Entity (Spec_Id, Body_Id);
877 Set_Spec_Entity (Body_Id, Spec_Id);
1023 Check_Completion (Body_Id);
1070 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dsem_ch7.adb677 Body_Id : Entity_Id; variable
697 Body_Id := Defining_Entity (N);
811 Set_Is_Child_Unit (Body_Id);
821 Body_Id := Defining_Entity (N);
846 Body_Id := Defining_Entity (N);
854 Set_Ekind (Body_Id, E_Package_Body);
855 Set_Body_Entity (Spec_Id, Body_Id);
856 Set_Spec_Entity (Body_Id, Spec_Id);
983 Check_Completion (Body_Id);
1030 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dsem_ch7.adb677 Body_Id : Entity_Id; variable
697 Body_Id := Defining_Entity (N);
811 Set_Is_Child_Unit (Body_Id);
821 Body_Id := Defining_Entity (N);
846 Body_Id := Defining_Entity (N);
854 Set_Ekind (Body_Id, E_Package_Body);
855 Set_Body_Entity (Spec_Id, Body_Id);
856 Set_Spec_Entity (Body_Id, Spec_Id);
983 Check_Completion (Body_Id);
1030 E := First_Entity (Body_Id);
[all …]
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dsem_ch7.adb677 Body_Id : Entity_Id; variable
697 Body_Id := Defining_Entity (N);
811 Set_Is_Child_Unit (Body_Id);
821 Body_Id := Defining_Entity (N);
846 Body_Id := Defining_Entity (N);
854 Set_Ekind (Body_Id, E_Package_Body);
855 Set_Body_Entity (Spec_Id, Body_Id);
856 Set_Spec_Entity (Body_Id, Spec_Id);
983 Check_Completion (Body_Id);
1030 E := First_Entity (Body_Id);
[all …]

12345678910>>...21