/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | sem_ch12.ads | 33 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | sem_ch12.ads | 33 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | sem_ch12.adb | 3888 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 3889 Has_Inline_Always : Boolean := False; 3986 Gen_Id : constant Node_Id := Name (N); 3987 Inst_Id : constant Entity_Id := Defining_Entity (N); 3989 Loc : constant Source_Ptr := Sloc (N); 3991 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3993 Saved_ISMP : constant Boolean := 3995 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3996 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4021 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | sem_ch12.adb | 3888 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 3889 Has_Inline_Always : Boolean := False; 3986 Gen_Id : constant Node_Id := Name (N); 3987 Inst_Id : constant Entity_Id := Defining_Entity (N); 3989 Loc : constant Source_Ptr := Sloc (N); 3991 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3993 Saved_ISMP : constant Boolean := 3995 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3996 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4021 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | sem_ch12.adb | 3888 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 3889 Has_Inline_Always : Boolean := False; 3986 Gen_Id : constant Node_Id := Name (N); 3987 Inst_Id : constant Entity_Id := Defining_Entity (N); 3989 Loc : constant Source_Ptr := Sloc (N); 3991 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3993 Saved_ISMP : constant Boolean := 3995 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3996 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4021 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | sem_ch12.adb | 3494 Act_Decl : Node_Id; 3495 Act_Decl_Name : Node_Id; 3496 Act_Decl_Id : Entity_Id; 3497 Act_Spec : Node_Id; 3498 Act_Tree : Node_Id; 3500 Gen_Decl : Node_Id; 3501 Gen_Spec : Node_Id; 3502 Gen_Unit : Entity_Id; 3509 Renaming_List : List_Id; 3510 Unit_Renaming : Node_Id; [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | sem_ch12.adb | 3494 Act_Decl : Node_Id; 3495 Act_Decl_Name : Node_Id; 3496 Act_Decl_Id : Entity_Id; 3497 Act_Spec : Node_Id; 3498 Act_Tree : Node_Id; 3500 Gen_Decl : Node_Id; 3501 Gen_Spec : Node_Id; 3502 Gen_Unit : Entity_Id; 3509 Renaming_List : List_Id; 3510 Unit_Renaming : Node_Id; [all …]
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | sem_ch12.ads | 32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
|
H A D | sem_ch12.adb | 3279 Act_Decl : Node_Id; 3280 Act_Decl_Name : Node_Id; 3281 Act_Decl_Id : Entity_Id; 3282 Act_Spec : Node_Id; 3283 Act_Tree : Node_Id; 3285 Gen_Decl : Node_Id; 3286 Gen_Unit : Entity_Id; 3293 Renaming_List : List_Id; 3294 Unit_Renaming : Node_Id; 3295 Needs_Body : Boolean; [all …]
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | sem_ch12.ads | 32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
|
H A D | sem_ch12.adb | 3279 Act_Decl : Node_Id; 3280 Act_Decl_Name : Node_Id; 3281 Act_Decl_Id : Entity_Id; 3282 Act_Spec : Node_Id; 3283 Act_Tree : Node_Id; 3285 Gen_Decl : Node_Id; 3286 Gen_Unit : Entity_Id; 3293 Renaming_List : List_Id; 3294 Unit_Renaming : Node_Id; 3295 Needs_Body : Boolean; [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | sem_ch12.ads | 32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
|
H A D | sem_ch12.adb | 3296 Act_Decl : Node_Id; 3297 Act_Decl_Name : Node_Id; 3298 Act_Decl_Id : Entity_Id; 3299 Act_Spec : Node_Id; 3300 Act_Tree : Node_Id; 3302 Gen_Decl : Node_Id; 3303 Gen_Unit : Entity_Id; 3310 Renaming_List : List_Id; 3311 Unit_Renaming : Node_Id; 3312 Needs_Body : Boolean; [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | sem_ch12.adb | 3845 Has_Inline_Always : Boolean := False; 3847 procedure Delay_Descriptors (E : Entity_Id); 3860 procedure Delay_Descriptors (E : Entity_Id) is 3901 Gen_Id : constant Node_Id := Name (N); 3902 Is_Actual_Pack : constant Boolean := 3904 Loc : constant Source_Ptr := Sloc (N); 3906 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3908 Saved_ISMP : constant Boolean := 3910 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3936 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | sem_ch12.adb | 3845 Has_Inline_Always : Boolean := False; 3847 procedure Delay_Descriptors (E : Entity_Id); 3860 procedure Delay_Descriptors (E : Entity_Id) is 3901 Gen_Id : constant Node_Id := Name (N); 3902 Is_Actual_Pack : constant Boolean := 3904 Loc : constant Source_Ptr := Sloc (N); 3906 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3908 Saved_ISMP : constant Boolean := 3910 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3936 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | sem_ch12.adb | 3845 Has_Inline_Always : Boolean := False; 3847 procedure Delay_Descriptors (E : Entity_Id); 3860 procedure Delay_Descriptors (E : Entity_Id) is 3901 Gen_Id : constant Node_Id := Name (N); 3902 Is_Actual_Pack : constant Boolean := 3904 Loc : constant Source_Ptr := Sloc (N); 3906 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3908 Saved_ISMP : constant Boolean := 3910 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3936 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | sem_ch12.adb | 3857 Has_Inline_Always : Boolean := False; 3859 procedure Delay_Descriptors (E : Entity_Id); 3872 procedure Delay_Descriptors (E : Entity_Id) is 3913 Gen_Id : constant Node_Id := Name (N); 3914 Is_Actual_Pack : constant Boolean := 3916 Loc : constant Source_Ptr := Sloc (N); 3918 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 3919 Saved_ISMP : constant Boolean := 3921 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 3947 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | sem_ch12.adb | 3998 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 3999 Has_Inline_Always : Boolean := False; 4106 Gen_Id : constant Node_Id := Name (N); 4107 Inst_Id : constant Entity_Id := Defining_Entity (N); 4109 Loc : constant Source_Ptr := Sloc (N); 4111 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 4113 Saved_ISMP : constant Boolean := 4115 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 4116 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4141 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | sem_ch12.adb | 4046 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 4047 Has_Inline_Always : Boolean := False; 4154 Gen_Id : constant Node_Id := Name (N); 4155 Inst_Id : constant Entity_Id := Defining_Entity (N); 4157 Loc : constant Source_Ptr := Sloc (N); 4159 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 4161 Saved_ISMP : constant Boolean := 4163 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 4164 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4189 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | sem_ch12.adb | 3998 procedure Analyze_Package_Instantiation (N : Node_Id) is subprogram 3999 Has_Inline_Always : Boolean := False; 4106 Gen_Id : constant Node_Id := Name (N); 4107 Inst_Id : constant Entity_Id := Defining_Entity (N); 4109 Loc : constant Source_Ptr := Sloc (N); 4111 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode; 4113 Saved_ISMP : constant Boolean := 4115 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; 4116 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma; 4141 -- Start of processing for Analyze_Package_Instantiation argument [all …]
|