Home
last modified time | relevance | path

Searched refs:State_Id (Results 1 – 25 of 162) sorted by relevance

1234567

/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb760 State_Id : Entity_Id;
765 if Is_Ghost_Entity (State_Id) then
771 if Is_Checked_Ghost_Entity (State_Id)
779 State, State_Id);
784 elsif Is_Ignored_Ghost_Entity (State_Id)
792 State, State_Id);
804 Constit, State_Id);
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb760 State_Id : Entity_Id;
765 if Is_Ghost_Entity (State_Id) then
771 if Is_Checked_Ghost_Entity (State_Id)
779 State, State_Id);
784 elsif Is_Ignored_Ghost_Entity (State_Id)
792 State, State_Id);
804 Constit, State_Id);
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb760 State_Id : Entity_Id;
765 if Is_Ghost_Entity (State_Id) then
771 if Is_Checked_Ghost_Entity (State_Id)
779 State, State_Id);
784 elsif Is_Ignored_Ghost_Entity (State_Id)
792 State, State_Id);
804 Constit, State_Id);
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb760 State_Id : Entity_Id;
765 if Is_Ghost_Entity (State_Id) then
771 if Is_Checked_Ghost_Entity (State_Id)
779 State, State_Id);
784 elsif Is_Ignored_Ghost_Entity (State_Id)
792 State, State_Id);
804 Constit, State_Id);
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
25683 State_Id : Entity_Id; variable
26177 N, State_Id);
27251 State_Id : Entity_Id; variable
27653 State, State_Id);
28615 State_Id : Entity_Id; variable
28637 if Present (State_Id) then
29108 State_Id : Entity_Id; variable
29118 return State_Id;
29121 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dsem_prag.adb307 (State_Id : Entity_Id;
3449 State_Id : Entity_Id; variable
17679 State_Id => State_Id,
23534 State_Id : Entity_Id; variable
23839 State, State_Id);
24233 State_Id : Entity_Id; variable
24966 State_Id : Entity_Id; variable
24976 return State_Id;
24979 State_Id := Encapsulating_State (State_Id);
24989 State_Id : Entity_Id; variable
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dsem_prag.adb274 (State_Id : Entity_Id;
26792 State_Id : Entity_Id; variable
27274 N, State_Id);
28350 State_Id : Entity_Id; variable
28785 State, State_Id);
29945 State_Id : Entity_Id; variable
29967 if Present (State_Id) then
30448 State_Id : Entity_Id; variable
30458 return State_Id;
30461 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dsem_prag.adb280 (State_Id : Entity_Id;
27114 State_Id : Entity_Id; variable
27596 N, State_Id);
28672 State_Id : Entity_Id; variable
29111 State, State_Id);
30267 State_Id : Entity_Id; variable
30289 if Present (State_Id) then
30771 State_Id : Entity_Id; variable
30781 return State_Id;
30784 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dsem_prag.adb274 (State_Id : Entity_Id;
26792 State_Id : Entity_Id; variable
27274 N, State_Id);
28350 State_Id : Entity_Id; variable
28785 State, State_Id);
29945 State_Id : Entity_Id; variable
29967 if Present (State_Id) then
30448 State_Id : Entity_Id; variable
30458 return State_Id;
30461 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dsem_prag.adb274 (State_Id : Entity_Id;
26792 State_Id : Entity_Id; variable
27274 N, State_Id);
28350 State_Id : Entity_Id; variable
28785 State, State_Id);
29945 State_Id : Entity_Id; variable
29967 if Present (State_Id) then
30448 State_Id : Entity_Id; variable
30458 return State_Id;
30461 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
26729 State_Id : Entity_Id; variable
27223 N, State_Id);
28301 State_Id : Entity_Id; variable
28703 State, State_Id);
29690 State_Id : Entity_Id; variable
29712 if Present (State_Id) then
30183 State_Id : Entity_Id; variable
30193 return State_Id;
30196 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dsem_prag.adb273 (State_Id : Entity_Id;
27043 State_Id : Entity_Id; variable
27533 N, State_Id);
28611 State_Id : Entity_Id; variable
29013 State, State_Id);
30000 State_Id : Entity_Id; variable
30022 if Present (State_Id) then
30493 State_Id : Entity_Id; variable
30503 return State_Id;
30506 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb745 State_Id : Entity_Id;
750 if Is_Ghost_Entity (State_Id) then
756 if Is_Checked_Ghost_Entity (State_Id)
764 State, State_Id);
769 elsif Is_Ignored_Ghost_Entity (State_Id)
777 State, State_Id);
789 Constit, State_Id);
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dsem_prag.adb273 (State_Id : Entity_Id;
27043 State_Id : Entity_Id; variable
27533 N, State_Id);
28611 State_Id : Entity_Id; variable
29013 State, State_Id);
30000 State_Id : Entity_Id; variable
30022 if Present (State_Id) then
30493 State_Id : Entity_Id; variable
30503 return State_Id;
30506 State_Id := Encapsulating_State (State_Id);
[all …]
H A Dghost.adb745 State_Id : Entity_Id;
750 if Is_Ghost_Entity (State_Id) then
756 if Is_Checked_Ghost_Entity (State_Id)
764 State, State_Id);
769 elsif Is_Ignored_Ghost_Entity (State_Id)
777 State, State_Id);
789 Constit, State_Id);
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dsem_prag.adb273 (State_Id : Entity_Id;
27043 State_Id : Entity_Id; variable
27533 N, State_Id);
28611 State_Id : Entity_Id; variable
29013 State, State_Id);
30000 State_Id : Entity_Id; variable
30022 if Present (State_Id) then
30493 State_Id : Entity_Id; variable
30503 return State_Id;
30506 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
26729 State_Id : Entity_Id; variable
27223 N, State_Id);
28301 State_Id : Entity_Id; variable
28703 State, State_Id);
29690 State_Id : Entity_Id; variable
29712 if Present (State_Id) then
30183 State_Id : Entity_Id; variable
30193 return State_Id;
30196 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dsem_prag.adb272 (State_Id : Entity_Id;
26729 State_Id : Entity_Id; variable
27223 N, State_Id);
28301 State_Id : Entity_Id; variable
28703 State, State_Id);
29690 State_Id : Entity_Id; variable
29712 if Present (State_Id) then
30183 State_Id : Entity_Id; variable
30193 return State_Id;
30196 State_Id := Encapsulating_State (State_Id);
[all …]
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dsem_prag.adb260 (State_Id : Entity_Id;
17984 State_Id : Entity_Id;
25210 State_Id : Entity_Id; variable
25604 State, State_Id);
25651 State, State_Id);
26470 State_Id : Entity_Id; variable
26480 return State_Id;
26483 State_Id := Encapsulating_State (State_Id);
26493 State_Id : Entity_Id; variable
26517 if Present (State_Id) then
[all …]
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dsem_prag.adb260 (State_Id : Entity_Id;
17984 State_Id : Entity_Id;
25210 State_Id : Entity_Id; variable
25604 State, State_Id);
25651 State, State_Id);
26470 State_Id : Entity_Id; variable
26480 return State_Id;
26483 State_Id := Encapsulating_State (State_Id);
26493 State_Id : Entity_Id; variable
26517 if Present (State_Id) then
[all …]

1234567