/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | contracts.adb | 1489 procedure Process_Preconditions; subprogspec 2101 procedure Process_Preconditions is subprogram 2102 Class_Pre : Node_Id := Empty; 2106 Insert_Node : Node_Id := Empty; 2130 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2138 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2258 procedure Prepend_To_Decls (Item : Node_Id) is 2278 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2310 procedure Process_Inherited_Preconditions is 2376 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | contracts.adb | 1489 procedure Process_Preconditions; subprogspec 2101 procedure Process_Preconditions is subprogram 2102 Class_Pre : Node_Id := Empty; 2106 Insert_Node : Node_Id := Empty; 2130 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2138 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2258 procedure Prepend_To_Decls (Item : Node_Id) is 2278 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2310 procedure Process_Inherited_Preconditions is 2376 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | contracts.adb | 1489 procedure Process_Preconditions; subprogspec 2101 procedure Process_Preconditions is subprogram 2102 Class_Pre : Node_Id := Empty; 2106 Insert_Node : Node_Id := Empty; 2130 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2138 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2258 procedure Prepend_To_Decls (Item : Node_Id) is 2278 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2310 procedure Process_Inherited_Preconditions is 2376 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 1452 procedure Process_Preconditions; subprogspec 2210 procedure Process_Preconditions is subprogram 2211 Class_Pre : Node_Id := Empty; 2235 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2243 procedure Merge_Preconditions (From : Node_Id; Into : Node_Id) is 2315 procedure Prepend_To_Decls (Item : Node_Id) is 2333 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2365 procedure Process_Inherited_Preconditions is 2421 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument 2484 -- Start of processing for Process_Preconditions argument
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 1452 procedure Process_Preconditions; subprogspec 2210 procedure Process_Preconditions is subprogram 2211 Class_Pre : Node_Id := Empty; 2235 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2243 procedure Merge_Preconditions (From : Node_Id; Into : Node_Id) is 2315 procedure Prepend_To_Decls (Item : Node_Id) is 2333 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2365 procedure Process_Inherited_Preconditions is 2421 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument 2484 -- Start of processing for Process_Preconditions argument
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | contracts.adb | 1703 procedure Process_Preconditions; subprogspec 2675 procedure Process_Preconditions is subprogram 2676 Class_Pre : Node_Id := Empty; 2680 Insert_Node : Node_Id := Empty; 2704 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2712 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2832 procedure Prepend_To_Decls (Item : Node_Id) is 2852 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2884 procedure Process_Inherited_Preconditions is 2950 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | contracts.adb | 1703 procedure Process_Preconditions; subprogspec 2675 procedure Process_Preconditions is subprogram 2676 Class_Pre : Node_Id := Empty; 2680 Insert_Node : Node_Id := Empty; 2704 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2712 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2832 procedure Prepend_To_Decls (Item : Node_Id) is 2852 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2884 procedure Process_Inherited_Preconditions is 2950 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | contracts.adb | 1879 procedure Process_Preconditions; subprogspec 2475 procedure Process_Preconditions is subprogram 2476 Class_Pre : Node_Id := Empty; 2480 Insert_Node : Node_Id := Empty; 2504 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2512 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2632 procedure Prepend_To_Decls (Item : Node_Id) is 2650 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2682 procedure Process_Inherited_Preconditions is 2738 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | contracts.adb | 1703 procedure Process_Preconditions; subprogspec 2675 procedure Process_Preconditions is subprogram 2676 Class_Pre : Node_Id := Empty; 2680 Insert_Node : Node_Id := Empty; 2704 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2712 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2832 procedure Prepend_To_Decls (Item : Node_Id) is 2852 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2884 procedure Process_Inherited_Preconditions is 2950 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | contracts.adb | 1973 procedure Process_Preconditions; subprogspec 2585 procedure Process_Preconditions is subprogram 2586 Class_Pre : Node_Id := Empty; 2590 Insert_Node : Node_Id := Empty; 2614 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2622 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2742 procedure Prepend_To_Decls (Item : Node_Id) is 2762 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2794 procedure Process_Inherited_Preconditions is 2860 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | contracts.adb | 1973 procedure Process_Preconditions; subprogspec 2585 procedure Process_Preconditions is subprogram 2586 Class_Pre : Node_Id := Empty; 2590 Insert_Node : Node_Id := Empty; 2614 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2622 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2742 procedure Prepend_To_Decls (Item : Node_Id) is 2762 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2794 procedure Process_Inherited_Preconditions is 2860 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | contracts.adb | 1973 procedure Process_Preconditions; subprogspec 2585 procedure Process_Preconditions is subprogram 2586 Class_Pre : Node_Id := Empty; 2590 Insert_Node : Node_Id := Empty; 2614 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2622 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2742 procedure Prepend_To_Decls (Item : Node_Id) is 2762 procedure Prepend_To_Decls_Or_Save (Prag : Node_Id) is 2794 procedure Process_Inherited_Preconditions is 2860 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | contracts.adb | 1818 procedure Process_Preconditions; subprogspec 2823 procedure Process_Preconditions is subprogram 2839 procedure Process_Preconditions_For (Subp_Id : Entity_Id); argument 2847 function Is_Prologue_Renaming (Decl : Node_Id) return Boolean is 2895 procedure Prepend_To_Decls (Item : Node_Id) is 2915 procedure Prepend_Pragma_To_Decls (Prag : Node_Id) is 2946 procedure Process_Preconditions_For (Subp_Id : Entity_Id) is argument 3034 -- Start of processing for Process_Preconditions argument
|