Home
last modified time | relevance | path

Searched defs:Analyze_Package_Instantiation (Results 1 – 25 of 46) sorted by relevance

12

/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dsem_ch12.ads33 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dsem_ch12.ads33 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dsem_ch12.adb3888 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 Dsem_ch12.adb3888 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 Dsem_ch12.adb3888 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 Dsem_ch12.adb3494 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 Dsem_ch12.adb3494 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 Dsem_ch12.ads32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
H A Dsem_ch12.adb3279 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 Dsem_ch12.ads32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
H A Dsem_ch12.adb3279 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 Dsem_ch12.ads32 procedure Analyze_Package_Instantiation (N : Node_Id); subprogspec
H A Dsem_ch12.adb3296 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 Dsem_ch12.adb3845 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 Dsem_ch12.adb3845 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 Dsem_ch12.adb3845 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3857 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 Dsem_ch12.adb3998 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 Dsem_ch12.adb4046 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 Dsem_ch12.adb3998 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 …]

12