/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | sem_ch7.adb | 211 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 D | sem_ch6.adb | 260 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 D | sem_ch7.adb | 125 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 D | sem_ch6.adb | 260 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 D | sem_ch7.adb | 125 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 D | contracts.adb | 432 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 D | sem_ch7.adb | 535 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 D | sem_ch6.adb | 1126 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 D | contracts.adb | 432 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 D | sem_ch7.adb | 535 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 D | sem_ch6.adb | 1126 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 D | contracts.adb | 459 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 D | sem_ch7.adb | 683 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 D | contracts.adb | 459 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 D | sem_ch7.adb | 683 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 D | contracts.adb | 459 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 D | sem_ch7.adb | 683 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 D | sem_ch6.adb | 1728 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 D | sem_ch7.adb | 701 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 D | sem_ch7.adb | 698 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 D | sem_ch7.adb | 698 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 D | sem_ch7.adb | 698 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 D | sem_ch7.adb | 677 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 D | sem_ch7.adb | 677 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 D | sem_ch7.adb | 677 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 …]
|