| /dports/lang/adacontrol/adactl-1.18r9/src/ |
| H A D | rules-simplifiable_expressions.adb | 110 end Add_Check;
117 Add_Check (K_Logical_True);
118 Add_Check (K_Logical_False);
119 Add_Check (K_Logical_Not);
121 Add_Check (Key);
125 Add_Check (K_Range);
126 Add_Check (K_Logical_True);
127 Add_Check (K_Logical_False);
128 Add_Check (K_Logical_Not);
129 Add_Check (K_Parentheses);
[all …]
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
| H A D | checks.adb | 4475 end Add_Check;
4904 Add_Check
5011 end Add_Check;
5447 Add_Check
5453 Add_Check
5462 Add_Check
5468 Add_Check
5579 Add_Check
5585 Add_Check
5757 Add_Check
[all …]
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
| H A D | checks.adb | 4475 end Add_Check;
4904 Add_Check
5011 end Add_Check;
5447 Add_Check
5453 Add_Check
5462 Add_Check
5468 Add_Check
5579 Add_Check
5585 Add_Check
5757 Add_Check
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
| H A D | checks.adb | 8170 end Add_Check;
8596 Add_Check
8704 end Add_Check;
9077 Add_Check
9083 Add_Check
9092 Add_Check
9098 Add_Check
9221 Add_Check
9227 Add_Check
9410 Add_Check
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
| H A D | checks.adb | 7965 end Add_Check;
8391 Add_Check
8499 end Add_Check;
8873 Add_Check
8879 Add_Check
8888 Add_Check
8894 Add_Check
9015 Add_Check
9021 Add_Check
9204 Add_Check
[all …]
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
| H A D | checks.adb | 7965 end Add_Check;
8391 Add_Check
8499 end Add_Check;
8873 Add_Check
8879 Add_Check
8888 Add_Check
8894 Add_Check
9015 Add_Check
9021 Add_Check
9204 Add_Check
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
| H A D | checks.adb | 9599 end Add_Check;
10061 Add_Check
10169 end Add_Check;
10542 Add_Check
10548 Add_Check
10557 Add_Check
10563 Add_Check
10686 Add_Check
10692 Add_Check
10875 Add_Check
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
| H A D | checks.adb | 8859 end Add_Check;
9285 Add_Check
9393 end Add_Check;
9766 Add_Check
9772 Add_Check
9781 Add_Check
9787 Add_Check
9910 Add_Check
9916 Add_Check
10099 Add_Check
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
| H A D | checks.adb | 9599 end Add_Check;
10061 Add_Check
10169 end Add_Check;
10542 Add_Check
10548 Add_Check
10557 Add_Check
10563 Add_Check
10686 Add_Check
10692 Add_Check
10875 Add_Check
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | checks.adb | 9378 end Add_Check;
9806 Add_Check
9914 end Add_Check;
10287 Add_Check
10293 Add_Check
10302 Add_Check
10308 Add_Check
10431 Add_Check
10437 Add_Check
10620 Add_Check
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
| H A D | checks.adb | 9479 end Add_Check;
9907 Add_Check
10015 end Add_Check;
10388 Add_Check
10394 Add_Check
10403 Add_Check
10409 Add_Check
10532 Add_Check
10538 Add_Check
10721 Add_Check
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
| H A D | checks.adb | 9479 end Add_Check;
9907 Add_Check
10015 end Add_Check;
10388 Add_Check
10394 Add_Check
10403 Add_Check
10409 Add_Check
10532 Add_Check
10538 Add_Check
10721 Add_Check
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
| H A D | checks.adb | 9599 end Add_Check;
10061 Add_Check
10169 end Add_Check;
10542 Add_Check
10548 Add_Check
10557 Add_Check
10563 Add_Check
10686 Add_Check
10692 Add_Check
10875 Add_Check
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
| H A D | checks.adb | 9479 end Add_Check;
9907 Add_Check
10015 end Add_Check;
10388 Add_Check
10394 Add_Check
10403 Add_Check
10409 Add_Check
10532 Add_Check
10538 Add_Check
10721 Add_Check
[all …]
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
| H A D | checks.adb | 8859 end Add_Check;
9285 Add_Check
9393 end Add_Check;
9766 Add_Check
9772 Add_Check
9781 Add_Check
9787 Add_Check
9910 Add_Check
9916 Add_Check
10099 Add_Check
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
| H A D | checks.adb | 9924 end Add_Check;
10389 Add_Check
10500 end Add_Check;
10873 Add_Check
10880 Add_Check
10896 Add_Check
10916 Add_Check
10923 Add_Check
11030 Add_Check
11035 Add_Check
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
| H A D | checks.adb | 9827 end Add_Check;
10289 Add_Check
10397 end Add_Check;
10770 Add_Check
10776 Add_Check
10785 Add_Check
10791 Add_Check
10914 Add_Check
10920 Add_Check
11103 Add_Check
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
| H A D | checks.adb | 9827 end Add_Check;
10289 Add_Check
10397 end Add_Check;
10770 Add_Check
10776 Add_Check
10785 Add_Check
10791 Add_Check
10914 Add_Check
10920 Add_Check
11103 Add_Check
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
| H A D | checks.adb | 9827 end Add_Check;
10289 Add_Check
10397 end Add_Check;
10770 Add_Check
10776 Add_Check
10785 Add_Check
10791 Add_Check
10914 Add_Check
10920 Add_Check
11103 Add_Check
[all …]
|