Home
last modified time | relevance | path

Searched defs:Prag (Results 176 – 200 of 422) sorted by relevance

12345678910>>...17

/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dsem_util.adb4051 Prag : Node_Id; variable
4270 Prag : constant Node_Id := SPARK_Pragma (Id); constant
7675 Prag : Node_Id; variable
9633 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10965 Prag : Node_Id; variable
12040 Prag : Node_Id := Empty; variable
12268 Prag : Node_Id := Empty; variable
12994 Prag : Node_Id; variable
17560 Prag : Node_Id; variable
19451 Prag : Node_Id; variable
[all …]
H A Dfreeze.adb5173 Prag : constant Node_Id := Import_Pragma (E); constant
5215 Prag : Node_Id; variable
5767 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dsem_util.adb4051 Prag : Node_Id; variable
4270 Prag : constant Node_Id := SPARK_Pragma (Id); constant
7650 Prag : Node_Id; variable
9608 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10940 Prag : Node_Id; variable
12015 Prag : Node_Id := Empty; variable
12243 Prag : Node_Id := Empty; variable
12969 Prag : Node_Id; variable
17535 Prag : Node_Id; variable
19426 Prag : Node_Id; variable
[all …]
H A Dfreeze.adb5173 Prag : constant Node_Id := Import_Pragma (E); constant
5215 Prag : Node_Id; variable
5767 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dsem_util.adb4187 Prag : Node_Id; variable
4406 Prag : constant Node_Id := SPARK_Pragma (Id); constant
7882 Prag : Node_Id; variable
11336 Prag : Node_Id; variable
12411 Prag : Node_Id := Empty; variable
12639 Prag : Node_Id := Empty; variable
13408 Prag : Node_Id; variable
18066 Prag : Node_Id; variable
20110 Prag : Node_Id; variable
22137 Prag : constant Node_Id := Get_Pragma (Id, Pragma_No_Caching); constant
[all …]
H A Dfreeze.adb5128 Prag : constant Node_Id := Import_Pragma (E); constant
5170 Prag : Node_Id; variable
5772 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dsem_util.adb4187 Prag : Node_Id; variable
4406 Prag : constant Node_Id := SPARK_Pragma (Id); constant
7882 Prag : Node_Id; variable
11336 Prag : Node_Id; variable
12411 Prag : Node_Id := Empty; variable
12639 Prag : Node_Id := Empty; variable
13408 Prag : Node_Id; variable
18066 Prag : Node_Id; variable
20110 Prag : Node_Id; variable
22137 Prag : constant Node_Id := Get_Pragma (Id, Pragma_No_Caching); constant
[all …]
H A Dfreeze.adb5125 Prag : constant Node_Id := Import_Pragma (E); constant
5167 Prag : Node_Id; variable
5769 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dsem_util.adb4187 Prag : Node_Id; variable
4406 Prag : constant Node_Id := SPARK_Pragma (Id); constant
7882 Prag : Node_Id; variable
11336 Prag : Node_Id; variable
12411 Prag : Node_Id := Empty; variable
12639 Prag : Node_Id := Empty; variable
13408 Prag : Node_Id; variable
18066 Prag : Node_Id; variable
20110 Prag : Node_Id; variable
22137 Prag : constant Node_Id := Get_Pragma (Id, Pragma_No_Caching); constant
[all …]
H A Dfreeze.adb5125 Prag : constant Node_Id := Import_Pragma (E); constant
5167 Prag : Node_Id; variable
5769 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dfreeze.adb5094 Prag : constant Node_Id := Import_Pragma (E); constant
5136 Prag : Node_Id; variable
5737 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
H A Dexp_prag.adb2499 Prag : Node_Id; variable
2914 Prag : Node_Id; variable
H A Dsem_util.adb5106 Prag : Node_Id; variable
5325 Prag : constant Node_Id := SPARK_Pragma (Id); constant
8777 Prag : Node_Id; variable
12414 Prag : Node_Id; variable
13811 Prag : Node_Id := Empty; variable
14085 Prag : Node_Id := Empty; variable
14977 Prag : Node_Id; variable
20242 Prag : Node_Id; variable
22444 Prag : Node_Id; variable
24409 Prag : constant Node_Id := Get_Pragma (Id, Pragma_No_Caching); constant
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dfreeze.adb5094 Prag : constant Node_Id := Import_Pragma (E); constant
5136 Prag : Node_Id; variable
5737 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
H A Dexp_prag.adb2499 Prag : Node_Id; variable
2914 Prag : Node_Id; variable
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dfreeze.adb5094 Prag : constant Node_Id := Import_Pragma (E); constant
5136 Prag : Node_Id; variable
5737 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
H A Dexp_prag.adb2499 Prag : Node_Id; variable
2914 Prag : Node_Id; variable
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dfreeze.adb5173 Prag : constant Node_Id := Import_Pragma (E); constant
5215 Prag : Node_Id; variable
5767 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dexp_prag.adb2530 Prag : Node_Id; variable
2945 Prag : Node_Id; variable
H A Dsem_util.adb5069 Prag : Node_Id; variable
5290 Prag : constant Node_Id := SPARK_Pragma (Id); constant
8968 Prag : Node_Id; variable
12704 Prag : Node_Id; variable
13323 Prag : Node_Id; variable
14293 Prag : Node_Id := Empty; variable
14569 Prag : Node_Id := Empty; variable
15488 Prag : Node_Id; variable
21131 Prag : Node_Id; variable
23397 Prag : Node_Id; variable
[all …]
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dsem_util.adb1203 Prag : constant Node_Id := constant
1351 Prag : constant Node_Id := constant
3499 Prag : Node_Id; variable
3847 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
6668 Prag : Node_Id; variable
9056 Prag : Node_Id; variable
10209 Prag : Node_Id := Empty; variable
13855 Prag : Node_Id; variable
17097 Prag : Node_Id; variable
H A Dexp_prag.adb1632 Prag : Node_Id; variable
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dsem_util.adb1203 Prag : constant Node_Id := constant
1351 Prag : constant Node_Id := constant
3499 Prag : Node_Id; variable
3847 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
6668 Prag : Node_Id; variable
9056 Prag : Node_Id; variable
10209 Prag : Node_Id := Empty; variable
13855 Prag : Node_Id; variable
17097 Prag : Node_Id; variable
H A Dexp_prag.adb1632 Prag : Node_Id; variable
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dexp_prag.adb1653 Prag : Node_Id; variable

12345678910>>...17