[Bug fortran/27766] [meta] -fbounds-check related bugs

[dominiq at lps dot ens dot fr]

------- Comment #6 from dominiq at lps dot ens dot fr  2008-11-23 00:32 -------
(1) It seems that the failure of gfortran.dg/array_memset_2.f90 comes from a
too broad regexp for scan-tree-dump-times: grep memset
array_memset_2.f90.003t.original gives

          _gfortran_runtime_error_at (&"At line 8 of file
/opt/gcc/_gcc_clean/gcc/testsuite/gfortran.dg/array_memset_2.f90"[1]{lb: 1 sz:
1}, &"Array reference out of bounds, upper bound of dimension 2 of array \'a\'
exceeded (%ld > %ld)"[1]{lb: 1 sz: 1}, 1, (<unnamed-signed:32>) ubound.2);
          _gfortran_runtime_error_at (&"At line 8 of file
/opt/gcc/_gcc_clean/gcc/testsuite/gfortran.dg/array_memset_2.f90"[1]{lb: 1 sz:
1}, &"Array reference out of bounds, upper bound of dimension 2 of array \'a\'
exceeded (%ld > %ld)"[1]{lb: 1 sz: 1}, (<unnamed-signed:32>) NON_LVALUE_EXPR
<D.1514>, (<unnamed-signed:32>) ubound.2);
          _gfortran_runtime_error_at (&"At line 8 of file
/opt/gcc/_gcc_clean/gcc/testsuite/gfortran.dg/array_memset_2.f90"[1]{lb: 1 sz:
1}, &"Array reference out of bounds for array \'a\', upper bound of dimension 1
 exceeded (%ld > %ld)"[1]{lb: 1 sz: 1}, 1, (<unnamed-signed:32>) ubound.0);
  (void) __builtin_memset ((void *) &b, 0, 8);
  (void) __builtin_memset ((void *) &c, 0, 8);

Either the regexp or the name of the test should be changed.

(2) The failure of gfortran.dg/bound_2.f90 comes from " Incorrect size in
SOURCE argument to RESHAPE intrinsic: is 9, should be 4".  This is wrong, the
standard says:

"If PAD is absent or of size zero, the size of SOURCE shall be greater than or
equal to PRODUCT (SHAPE)."

(3) I think the failure of gfortran.dg/forall_13.f90: "Array reference out of
bounds for array 'p', upper bound of dimension 1 exceeded (4 > 3)", is also
wrong.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27766