Home
last modified time | relevance | path

Searched refs:Is_Postconditions_Proc (Results 1 – 16 of 16) sorted by relevance

/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6290 elsif Is_Postconditions_Proc (Target_Id) then
6689 or else Is_Postconditions_Proc (Id);
6914 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6920 end Is_Postconditions_Proc;
8184 elsif Is_Postconditions_Proc (Target_Id) then
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dsem_elab.adb1486 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1487 pragma Inline (Is_Postconditions_Proc);
2001 or else Is_Postconditions_Proc (Id)
6323 elsif Is_Postconditions_Proc (Target_Id) then
6722 or else Is_Postconditions_Proc (Id);
6947 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6953 end Is_Postconditions_Proc;
8198 elsif Is_Postconditions_Proc (Target_Id) then
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6280 elsif Is_Postconditions_Proc (Target_Id) then
6679 or else Is_Postconditions_Proc (Id);
6904 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6910 end Is_Postconditions_Proc;
8174 elsif Is_Postconditions_Proc (Target_Id) then
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6290 elsif Is_Postconditions_Proc (Target_Id) then
6689 or else Is_Postconditions_Proc (Id);
6914 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6920 end Is_Postconditions_Proc;
8184 elsif Is_Postconditions_Proc (Target_Id) then
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6290 elsif Is_Postconditions_Proc (Target_Id) then
6689 or else Is_Postconditions_Proc (Id);
6914 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6920 end Is_Postconditions_Proc;
8184 elsif Is_Postconditions_Proc (Target_Id) then
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6290 elsif Is_Postconditions_Proc (Target_Id) then
6689 or else Is_Postconditions_Proc (Id);
6914 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6920 end Is_Postconditions_Proc;
8184 elsif Is_Postconditions_Proc (Target_Id) then
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/
H A Dsem_elab.adb1407 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1408 pragma Inline (Is_Postconditions_Proc);
1910 or else Is_Postconditions_Proc (Id)
6290 elsif Is_Postconditions_Proc (Target_Id) then
6689 or else Is_Postconditions_Proc (Id);
6914 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6920 end Is_Postconditions_Proc;
8184 elsif Is_Postconditions_Proc (Target_Id) then
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dsem_elab.adb1486 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1487 pragma Inline (Is_Postconditions_Proc);
2001 or else Is_Postconditions_Proc (Id)
6313 elsif Is_Postconditions_Proc (Target_Id) then
6712 or else Is_Postconditions_Proc (Id);
6937 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6943 end Is_Postconditions_Proc;
8188 elsif Is_Postconditions_Proc (Target_Id) then
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dsem_elab.adb1486 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1487 pragma Inline (Is_Postconditions_Proc);
2001 or else Is_Postconditions_Proc (Id)
6323 elsif Is_Postconditions_Proc (Target_Id) then
6722 or else Is_Postconditions_Proc (Id);
6947 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
6953 end Is_Postconditions_Proc;
8198 elsif Is_Postconditions_Proc (Target_Id) then
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2476 elsif Is_Postconditions_Proc (Subp_Id) then
6640 elsif Is_Postconditions_Proc (Subp_Id) then
13129 elsif Is_Postconditions_Proc (Targ_Id) then
14415 or else Is_Postconditions_Proc (Id);
14459 or else Is_Postconditions_Proc (Id)
14620 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14626 end Is_Postconditions_Proc;
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2476 elsif Is_Postconditions_Proc (Subp_Id) then
6640 elsif Is_Postconditions_Proc (Subp_Id) then
13129 elsif Is_Postconditions_Proc (Targ_Id) then
14415 or else Is_Postconditions_Proc (Id);
14459 or else Is_Postconditions_Proc (Id)
14620 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14626 end Is_Postconditions_Proc;
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2476 elsif Is_Postconditions_Proc (Subp_Id) then
6640 elsif Is_Postconditions_Proc (Subp_Id) then
13129 elsif Is_Postconditions_Proc (Targ_Id) then
14415 or else Is_Postconditions_Proc (Id);
14459 or else Is_Postconditions_Proc (Id)
14620 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14626 end Is_Postconditions_Proc;
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2486 elsif Is_Postconditions_Proc (Subp_Id) then
6650 elsif Is_Postconditions_Proc (Subp_Id) then
13168 elsif Is_Postconditions_Proc (Targ_Id) then
14448 or else Is_Postconditions_Proc (Id);
14490 or else Is_Postconditions_Proc (Id)
14650 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14656 end Is_Postconditions_Proc;
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2486 elsif Is_Postconditions_Proc (Subp_Id) then
6641 elsif Is_Postconditions_Proc (Subp_Id) then
13173 elsif Is_Postconditions_Proc (Targ_Id) then
14446 or else Is_Postconditions_Proc (Id);
14488 or else Is_Postconditions_Proc (Id)
14648 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14654 end Is_Postconditions_Proc;
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2486 elsif Is_Postconditions_Proc (Subp_Id) then
6650 elsif Is_Postconditions_Proc (Subp_Id) then
13168 elsif Is_Postconditions_Proc (Targ_Id) then
14448 or else Is_Postconditions_Proc (Id);
14490 or else Is_Postconditions_Proc (Id)
14650 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14656 end Is_Postconditions_Proc;
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dsem_elab.adb1812 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean; subprogspec
1813 pragma Inline (Is_Postconditions_Proc);
2486 elsif Is_Postconditions_Proc (Subp_Id) then
6650 elsif Is_Postconditions_Proc (Subp_Id) then
13168 elsif Is_Postconditions_Proc (Targ_Id) then
14448 or else Is_Postconditions_Proc (Id);
14490 or else Is_Postconditions_Proc (Id)
14650 function Is_Postconditions_Proc (Id : Entity_Id) return Boolean is subprogram
14656 end Is_Postconditions_Proc;