/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | sem_util.adb | 4051 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 D | freeze.adb | 5173 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 D | sem_util.adb | 4051 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 D | freeze.adb | 5173 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 D | sem_util.adb | 4187 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 D | freeze.adb | 5128 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 D | sem_util.adb | 4187 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 D | freeze.adb | 5125 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 D | sem_util.adb | 4187 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 D | freeze.adb | 5125 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 D | freeze.adb | 5094 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 D | exp_prag.adb | 2499 Prag : Node_Id; variable 2914 Prag : Node_Id; variable
|
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/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | freeze.adb | 5094 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 D | exp_prag.adb | 2499 Prag : Node_Id; variable 2914 Prag : Node_Id; variable
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | freeze.adb | 5094 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 D | exp_prag.adb | 2499 Prag : Node_Id; variable 2914 Prag : Node_Id; variable
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | freeze.adb | 5173 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 D | exp_prag.adb | 2530 Prag : Node_Id; variable 2945 Prag : Node_Id; variable
|
H A D | sem_util.adb | 5069 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 D | sem_util.adb | 1203 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 D | exp_prag.adb | 1632 Prag : Node_Id; variable
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | sem_util.adb | 1203 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 D | exp_prag.adb | 1632 Prag : Node_Id; variable
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | exp_prag.adb | 1653 Prag : Node_Id; variable
|