diff options
author | Harald Anlauf <anlauf@gmx.de> | 2022-12-17 22:04:32 +0100 |
---|---|---|
committer | Harald Anlauf <anlauf@gmx.de> | 2022-12-23 22:23:10 +0100 |
commit | 6a95f0e0a06d78d94138d4c3dd64d41591197281 (patch) | |
tree | 223e54217b2a9224018047fada3b7b188382ace2 /gcc/testsuite | |
parent | cf59c8983ef6590f0d69014f8dc8778b5b7691c6 (diff) | |
download | gcc-6a95f0e0a06d78d94138d4c3dd64d41591197281.zip gcc-6a95f0e0a06d78d94138d4c3dd64d41591197281.tar.gz gcc-6a95f0e0a06d78d94138d4c3dd64d41591197281.tar.bz2 |
Fortran: incorrect array bounds when bound intrinsic used in decl [PR108131]
gcc/fortran/ChangeLog:
PR fortran/108131
* array.cc (match_array_element_spec): Avoid too early simplification
of matched array element specs that can lead to a misinterpretation
when used as array bounds in array declarations.
gcc/testsuite/ChangeLog:
PR fortran/108131
* gfortran.dg/pr103505.f90: Adjust expected patterns.
* gfortran.dg/pr108131.f90: New test.
Diffstat (limited to 'gcc/testsuite')
-rw-r--r-- | gcc/testsuite/gfortran.dg/pr103505.f90 | 8 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/pr108131.f90 | 25 |
2 files changed, 30 insertions, 3 deletions
diff --git a/gcc/testsuite/gfortran.dg/pr103505.f90 b/gcc/testsuite/gfortran.dg/pr103505.f90 index 522e53e..0130801 100644 --- a/gcc/testsuite/gfortran.dg/pr103505.f90 +++ b/gcc/testsuite/gfortran.dg/pr103505.f90 @@ -3,7 +3,9 @@ ! Testcase by G.Steinmetz program p - integer, parameter :: a((2.)) = [4,8] ! { dg-error "scalar INTEGER" } - integer, parameter :: z(1:(2.)) = [4,8] ! { dg-error "scalar INTEGER" } - print *, a(1:1) ! { dg-error "Syntax error" } + integer, parameter :: a((2.)) = [4,8] ! { dg-error "INTEGER type" } + integer, parameter :: z(1:(2.)) = [4,8] ! { dg-error "INTEGER type" } + print *, a(1:1) end + +! { dg-prune-output "Parameter array" } diff --git a/gcc/testsuite/gfortran.dg/pr108131.f90 b/gcc/testsuite/gfortran.dg/pr108131.f90 new file mode 100644 index 0000000..8bf36d3 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr108131.f90 @@ -0,0 +1,25 @@ +! { dg-do run } +! { dg-additional-options "-fdump-tree-original" } +! PR fortran/108131 +! +! Incorrect array bounds when bound intrinsic used in declaration + +program test + implicit none + integer, parameter :: mg(7:10) = 0 + integer, parameter :: u = ubound(mg, dim=1) + integer, parameter :: cx(-1:ubound(mg, dim=1)) = 1 + integer, parameter :: dx(lbound(mg, dim=1):ubound(cx, dim=1)) = 2 + + write(*,*) ubound(mg, dim=1) + write(*,*) ubound(cx, dim=1) + if (u /= 10) stop 1 + if (ubound(mg, dim=1) /= 10) stop 2 + if (ubound(cx, dim=1) /= 10) stop 3 + if (ubound(dx, dim=1) /= 10) stop 4 + if (lbound(mg, dim=1) /= 7) stop 5 + if (lbound(cx, dim=1) /= -1) stop 6 + if (lbound(dx, dim=1) /= 7) stop 7 +end program test + +! { dg-final { scan-tree-dump-not "_gfortran_stop_numeric" "original" } } |