From c0c7206d89c1d73f5253415d7a8958f932f62e2b Mon Sep 17 00:00:00 2001 From: Thomas Koenig Date: Tue, 21 Oct 2008 20:12:52 +0000 Subject: re PR libfortran/34670 (bounds checking for array intrinsics) 2008-10-21 Thomas Koenig PR libfortran/34670 * intrinsics/transpose_generic.c: Implement bounds checking. * m4/transpose.m4: Likewise. * generated/transpose_c8.c: Regenerated. * generated/transpose_c16.c: Regenerated. * generated/transpose_r10.c: Regenerated. * generated/transpose_i8.c: Regenerated. * generated/transpose_c10.c: Regenerated. * generated/transpose_r4.c: Regenerated. * generated/transpose_c4.c: Regenerated. * generated/transpose_i16.c: Regenerated. * generated/transpose_i4.c: Regenerated. * generated/transpose_r8.c: Regenerated. * generated/transpose_r16.c: Regenerated. 2008-10-21 Thomas Koenig PR libfortran/34670 * gfortran.dg/transpose_2.f90: New test. From-SVN: r141276 --- libgfortran/generated/transpose_i16.c | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'libgfortran/generated/transpose_i16.c') diff --git a/libgfortran/generated/transpose_i16.c b/libgfortran/generated/transpose_i16.c index b7564ad..83d6257 100644 --- a/libgfortran/generated/transpose_i16.c +++ b/libgfortran/generated/transpose_i16.c @@ -69,6 +69,28 @@ transpose_i16 (gfc_array_i16 * const restrict ret, ret->data = internal_malloc_size (sizeof (GFC_INTEGER_16) * size0 ((array_t *) ret)); ret->offset = 0; + } else if (unlikely (compile_options.bounds_check)) + { + index_type ret_extent, src_extent; + + ret_extent = ret->dim[0].ubound + 1 - ret->dim[0].lbound; + src_extent = source->dim[1].ubound + 1 - source->dim[1].lbound; + + if (src_extent != ret_extent) + runtime_error ("Incorrect extent in return value of TRANSPOSE" + " intrinsic in dimension 1: is %ld," + " should be %ld", (long int) src_extent, + (long int) ret_extent); + + ret_extent = ret->dim[1].ubound + 1 - ret->dim[1].lbound; + src_extent = source->dim[0].ubound + 1 - source->dim[0].lbound; + + if (src_extent != ret_extent) + runtime_error ("Incorrect extent in return value of TRANSPOSE" + " intrinsic in dimension 2: is %ld," + " should be %ld", (long int) src_extent, + (long int) ret_extent); + } sxstride = source->dim[0].stride; -- cgit v1.1