summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/bounds_check_3.f90
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg/bounds_check_3.f90')
-rw-r--r--gcc/testsuite/gfortran.dg/bounds_check_3.f9069
1 files changed, 69 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/bounds_check_3.f90 b/gcc/testsuite/gfortran.dg/bounds_check_3.f90
new file mode 100644
index 000000000..5fb96b8dd
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/bounds_check_3.f90
@@ -0,0 +1,69 @@
+! { dg-do compile }
+ integer,parameter :: n = 5, m = 8
+ integer a(10), i
+
+ print *, a(15:14) ! don't warn
+ print *, a(14:15) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-6) ! don't warn
+ print *, a(-6:-5) ! { dg-warning "is out of bounds" }
+ print *, a(15:14:1) ! don't warn
+ print *, a(14:15:1) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-6:1) ! don't warn
+ print *, a(-6:-5:1) ! { dg-warning "is out of bounds" }
+ print *, a(15:14:-1) ! { dg-warning "is out of bounds" }
+ print *, a(14:15:-1) ! don't warn
+ print *, a(-5:-6:-1) ! { dg-warning "is out of bounds" }
+ print *, a(-6:-5:-1) ! don't warn
+
+ print *, a(15:) ! don't warn
+ print *, a(15::-1) ! { dg-warning "is out of bounds" }
+ print *, a(-1:) ! { dg-warning "is out of bounds" }
+ print *, a(-1::-1) ! don't warn
+ print *, a(:-1) ! don't warn
+ print *, a(:-1:-1) ! { dg-warning "is out of bounds" }
+ print *, a(:11) ! { dg-warning "is out of bounds" }
+ print *, a(:11:-1) ! don't warn
+
+ print *, a(1:20:10) ! { dg-warning "is out of bounds" }
+ print *, a(1:15:15) ! don't warn
+ print *, a(1:16:15) ! { dg-warning "is out of bounds" }
+ print *, a(10:15:6) ! don't warn
+ print *, a(11:15:6) ! { dg-warning "is out of bounds" }
+ print *, a(11:-5:6) ! don't warn
+
+ print *, a(10:-8:-9) ! { dg-warning "is out of bounds" }
+ print *, a(10:-7:-9) ! don't warn
+
+ print *, a(0:0:-1) ! { dg-warning "is out of bounds" }
+ print *, a(0:0:1) ! { dg-warning "is out of bounds" }
+ print *, a(0:0) ! { dg-warning "is out of bounds" }
+
+ print *, a(1:15:i) ! don't warn
+ print *, a(1:15:n) ! { dg-warning "is out of bounds" }
+ print *, a(1:15:m) ! don't warn
+
+ print *, a(1:-5:-m) ! don't warn
+ print *, a(1:-5:-n) ! { dg-warning "is out of bounds" }
+ print *, a(1:-5:-i) ! don't warn
+
+ print *, a(-5:-5) ! { dg-warning "is out of bounds" }
+ print *, a(15:15) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-5:1) ! { dg-warning "is out of bounds" }
+ print *, a(15:15:-1) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-5:2) ! { dg-warning "is out of bounds" }
+ print *, a(15:15:-2) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-5:n) ! { dg-warning "is out of bounds" }
+ print *, a(15:15:-n) ! { dg-warning "is out of bounds" }
+ print *, a(-5:-5:i) ! { dg-warning "is out of bounds" }
+ print *, a(15:15:-i) ! { dg-warning "is out of bounds" }
+ print *, a(5:5) ! don't warn
+ print *, a(5:5:1) ! don't warn
+ print *, a(5:5:-1) ! don't warn
+ print *, a(5:5:2) ! don't warn
+ print *, a(5:5:-2) ! don't warn
+ print *, a(5:5:n) ! don't warn
+ print *, a(5:5:-n) ! don't warn
+ print *, a(5:5:i) ! don't warn
+ print *, a(5:5:-i) ! don't warn
+
+ end