| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
| H A D | a-nbnbig.ads | 45 Predicate_Failure => raise Program_Error;
76 Predicate_Failure => (raise Constraint_Error);
82 Predicate_Failure => (raise Constraint_Error);
|
| H A D | a-nbnbin.ads | 35 Predicate_Failure => raise Program_Error;
54 Predicate_Failure => (raise Constraint_Error);
60 Predicate_Failure => (raise Constraint_Error);
|
| H A D | a-nbnbre.ads | 34 Predicate_Failure => raise Program_Error;
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 35 Predicate_Failure => raise Program_Error;
54 Predicate_Failure => (raise Constraint_Error);
60 Predicate_Failure => (raise Constraint_Error);
|
| H A D | a-nbnbre.ads | 34 Predicate_Failure => raise Program_Error;
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 35 Predicate_Failure => raise Program_Error;
54 Predicate_Failure => (raise Constraint_Error);
60 Predicate_Failure => (raise Constraint_Error);
|
| H A D | a-nbnbre.ads | 34 Predicate_Failure => raise Program_Error;
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 35 Predicate_Failure => raise Program_Error;
54 Predicate_Failure => (raise Constraint_Error);
60 Predicate_Failure => (raise Constraint_Error);
|
| H A D | a-nbnbre.ads | 34 Predicate_Failure => raise Program_Error;
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 49 Predicate_Failure => (raise Constraint_Error);
53 Predicate_Failure => (raise Constraint_Error);
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 49 Predicate_Failure => (raise Constraint_Error);
53 Predicate_Failure => (raise Constraint_Error);
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
| H A D | a-nbnbin.ads | 49 Predicate_Failure => (raise Constraint_Error);
53 Predicate_Failure => (raise Constraint_Error);
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
| H A D | ChangeLog | 479 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog | 591 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog | 591 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog | 591 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog | 591 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
| H A D | ChangeLog | 617 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_characteristics.rst | 92 Predicate_Failure aspect. See 3.2.4(31)."
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 4629 Pragma Predicate_Failure
4637 pragma Predicate_Failure
4642 The `Predicate_Failure` pragma is intended to be an exact replacement for
4644 `Predicate_Failure` aspect, and shares its restrictions and semantics.
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 4629 Pragma Predicate_Failure
4637 pragma Predicate_Failure
4642 The `Predicate_Failure` pragma is intended to be an exact replacement for
4644 `Predicate_Failure` aspect, and shares its restrictions and semantics.
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 4879 Pragma Predicate_Failure
4887 pragma Predicate_Failure
4892 The ``Predicate_Failure`` pragma is intended to be an exact replacement for
4894 ``Predicate_Failure`` aspect, and shares its restrictions and semantics.
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 4879 Pragma Predicate_Failure
4887 pragma Predicate_Failure
4892 The ``Predicate_Failure`` pragma is intended to be an exact replacement for
4894 ``Predicate_Failure`` aspect, and shares its restrictions and semantics.
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 5107 Pragma Predicate_Failure
5115 pragma Predicate_Failure
5120 The ``Predicate_Failure`` pragma is intended to be an exact replacement for
5122 ``Predicate_Failure`` aspect, and shares its restrictions and semantics.
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/doc/gnat_rm/ |
| H A D | implementation_defined_pragmas.rst | 4956 Pragma Predicate_Failure
4964 pragma Predicate_Failure
4969 The ``Predicate_Failure`` pragma is intended to be an exact replacement for
4971 ``Predicate_Failure`` aspect, and shares its restrictions and semantics.
|