/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | sem_util.adb | 5106 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 D | sem_util.adb | 5106 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 D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | sem_util.adb | 3995 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 D | exp_prag.adb | 1913 Prag : Node_Id; variable
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | sem_ch6.adb | 2006 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 D | sem_ch6.adb | 2006 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 D | freeze.adb | 5996 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 D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | exp_prag.adb | 1933 Prag : Node_Id; variable
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | par.adb | 1045 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 D | par.adb | 1045 function Prag (Pragma_Node : Node_Id; Semi : Source_Ptr) return Node_Id; subprogspec
|