/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gnat.dg/ |
H A D | pure_function2.adb | 3 function Pure_Function2 (X : Integer) return Integer is subprogram 6 end Pure_Function2; 8 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 9 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i… 10 pragma Pure_Function (Pure_Function2); -- { dg-error "pragma \"Pure_Function\" argument must be i…
|
H A D | pure_function2.ads | 1 function Pure_Function2 (X : Integer) return Integer with Pure_Function; subprogspec 3 pragma Pure_Function (Pure_Function2); 4 pragma Pure_Function (Pure_Function2); 5 pragma Pure_Function (Pure_Function2);
|