Home
last modified time | relevance | path

Searched defs:Prag (Results 201 – 225 of 422) sorted by relevance

12345678910>>...17

/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
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/lang/gcc11/gcc-11.2.0/gcc/ada/
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/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7437 Prag : Node_Id; variable
9278 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10540 Prag : Node_Id; variable
11635 Prag : Node_Id := Empty; variable
11863 Prag : Node_Id := Empty; variable
16714 Prag : Node_Id; variable
21725 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7462 Prag : Node_Id; variable
9303 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10565 Prag : Node_Id; variable
11660 Prag : Node_Id := Empty; variable
11888 Prag : Node_Id := Empty; variable
16739 Prag : Node_Id; variable
21750 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7437 Prag : Node_Id; variable
9278 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10540 Prag : Node_Id; variable
11635 Prag : Node_Id := Empty; variable
11863 Prag : Node_Id := Empty; variable
16714 Prag : Node_Id; variable
21725 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7437 Prag : Node_Id; variable
9278 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10540 Prag : Node_Id; variable
11635 Prag : Node_Id := Empty; variable
11863 Prag : Node_Id := Empty; variable
16714 Prag : Node_Id; variable
21725 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7437 Prag : Node_Id; variable
9278 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10540 Prag : Node_Id; variable
11635 Prag : Node_Id := Empty; variable
11863 Prag : Node_Id := Empty; variable
16714 Prag : Node_Id; variable
21725 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/
H A Dsem_util.adb3995 Prag : Node_Id; variable
4214 Prag : constant Node_Id := SPARK_Pragma (Id); constant
4519 Prag : constant Node_Id := Get_Pragma (Body_Id, Pragma_Refined_State); constant
7437 Prag : Node_Id; variable
9278 Prag : constant Entity_Id := Get_Pragma (Id, Pragma_Max_Queue_Length); constant
10540 Prag : Node_Id; variable
11635 Prag : Node_Id := Empty; variable
11863 Prag : Node_Id := Empty; variable
16714 Prag : Node_Id; variable
21725 Prag : Node_Id; variable
H A Dexp_prag.adb1913 Prag : Node_Id; variable
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Dsem_ch6.adb2006 Prag : Node_Id; variable
7149 Prag : Node_Id; variable
7209 Prag : Node_Id; variable
11168 Prag : Node_Id; variable
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Dsem_ch6.adb2006 Prag : Node_Id; variable
7149 Prag : Node_Id; variable
7209 Prag : Node_Id; variable
11168 Prag : Node_Id; variable
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dfreeze.adb5996 Prag : constant Node_Id := Import_Pragma (E); constant
6038 Prag : Node_Id; variable
6638 Prag : constant Node_Id := Get_Pragma (E, Pragma_Invariant); constant
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dexp_prag.adb1933 Prag : Node_Id; variable
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dpar.adb1045 function Prag (Pragma_Node : Node_Id; Semi : Source_Ptr) return Node_Id; subprogspec
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/
H A Dpar.adb1045 function Prag (Pragma_Node : Node_Id; Semi : Source_Ptr) return Node_Id; subprogspec

12345678910>>...17