Home
last modified time | relevance | path

Searched refs:Type_Of_Formal (Results 1 – 20 of 20) sorted by relevance

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dcontracts.adb2079 Type_Of_Formal : Entity_Id; variable
2094 Type_Of_Formal := Base_Type (Etype (Formal));
2099 if Type_Of_Formal = Base_Type (Etype (First_Formal (SPF_Id)))
2100 and then Scope (Type_Of_Formal) = Scope (Subp_Id)
2111 elsif Scope (Type_Of_Formal) = Scope (Subp_Id) then
2116 Stable_Properties (Type_Of_Formal, Negated => Ignored);
H A Dexp_util.adb12006 function Type_Of_Formal subprogspec
12199 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12246 function Type_Of_Formal subprogram
12272 end Type_Of_Formal; argument
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dcontracts.adb2079 Type_Of_Formal : Entity_Id; variable
2094 Type_Of_Formal := Base_Type (Etype (Formal));
2099 if Type_Of_Formal = Base_Type (Etype (First_Formal (SPF_Id)))
2100 and then Scope (Type_Of_Formal) = Scope (Subp_Id)
2111 elsif Scope (Type_Of_Formal) = Scope (Subp_Id) then
2116 Stable_Properties (Type_Of_Formal, Negated => Ignored);
H A Dexp_util.adb12006 function Type_Of_Formal subprogspec
12199 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12246 function Type_Of_Formal subprogram
12272 end Type_Of_Formal; argument
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dcontracts.adb2079 Type_Of_Formal : Entity_Id; variable
2094 Type_Of_Formal := Base_Type (Etype (Formal));
2099 if Type_Of_Formal = Base_Type (Etype (First_Formal (SPF_Id)))
2100 and then Scope (Type_Of_Formal) = Scope (Subp_Id)
2111 elsif Scope (Type_Of_Formal) = Scope (Subp_Id) then
2116 Stable_Properties (Type_Of_Formal, Negated => Ignored);
H A Dexp_util.adb12006 function Type_Of_Formal subprogspec
12199 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12246 function Type_Of_Formal subprogram
12272 end Type_Of_Formal; argument
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dcontracts.adb2194 Type_Of_Formal : Entity_Id; variable
2209 Type_Of_Formal := Base_Type (Etype (Formal));
2214 if Type_Of_Formal = Base_Type (Etype (First_Formal (SPF_Id)))
2215 and then Scope (Type_Of_Formal) = Scope (Subp_Id)
2226 elsif Scope (Type_Of_Formal) = Scope (Subp_Id) then
2231 Stable_Properties (Type_Of_Formal, Negated => Ignored);
H A Dexp_util.adb12233 function Type_Of_Formal subprogspec
12439 (Type_Of_Formal (Context, Old_Ref), New_Ref);
12488 function Type_Of_Formal subprogram
12514 end Type_Of_Formal; argument
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dexp_util.adb11815 function Type_Of_Formal subprogspec
12009 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12056 function Type_Of_Formal subprogram
12082 end Type_Of_Formal; argument
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dexp_util.adb11815 function Type_Of_Formal subprogspec
12009 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12056 function Type_Of_Formal subprogram
12082 end Type_Of_Formal; argument
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dexp_util.adb11815 function Type_Of_Formal subprogspec
12009 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
12056 function Type_Of_Formal subprogram
12082 end Type_Of_Formal; argument
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dexp_util.adb11622 function Type_Of_Formal subprogspec
11816 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11863 function Type_Of_Formal subprogram
11889 end Type_Of_Formal; argument
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dexp_util.adb11729 function Type_Of_Formal subprogspec
11923 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11970 function Type_Of_Formal subprogram
11996 end Type_Of_Formal; argument
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dexp_util.adb11729 function Type_Of_Formal subprogspec
11923 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11970 function Type_Of_Formal subprogram
11996 end Type_Of_Formal; argument
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dexp_util.adb11729 function Type_Of_Formal subprogspec
11923 Convert_To (Type_Of_Formal (Context, Old_Ref), New_Ref);
11970 function Type_Of_Formal subprogram
11996 end Type_Of_Formal; argument