[flang] Add semantics test for ERROR STOP statement

Reviewed By: ktras

Differential Revision: https://reviews.llvm.org/D130530

diff --git a/flang/test/Semantics/error_stop.f90 b/flang/test/Semantics/error_stop.f90
new file mode 100644 (file)
index 0000000..925cdf4
--- /dev/null
+++ b/flang/test/Semantics/error_stop.f90
@@ -0,0 +1,113 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! This test checks for semantic errors in error stop statements based on the
+! statement specification in section 11.4 of the Fortran 2018 standard.
+
+program test_error_stop
+  implicit none
+
+  integer int_code, int_array(1), int_coarray[*], array_coarray(1)[*]
+  integer(kind=1) non_default_int_kind
+  character(len=128) char_code, char_array(1), char_coarray[*], non_logical
+  character(kind=4, len=128) non_default_char_kind
+  logical bool, logical_array(1), logical_coarray[*], non_integer, non_character
+
+  !___ standard-conforming statements ____________________________
+  error stop
+
+  !___ standard-conforming statement with stop-code ______________
+  error stop int_code
+  error stop 5
+  error stop (5)
+  error stop ((5 + 8) * 2)
+  error stop char_code
+  error stop 'c'
+  error stop ('c')
+  error stop ('program failed')
+  error stop int_array(1)
+  error stop char_array(1)
+  error stop int_coarray
+  error stop int_coarray[1]
+  error stop char_coarray
+  error stop char_coarray[1]
+  error stop array_coarray(1)
+  error stop array_coarray(1)[1]
+
+  !___ standard-conforming statement with stop-code and quiet= ___
+  error stop int_code, quiet=bool
+  error stop int_code, quiet=logical_array(1)
+  error stop int_code, quiet=logical_coarray
+  error stop int_code, quiet=logical_coarray[1]
+  error stop int_code, quiet=.true.
+  error stop (int_code), quiet=.false.
+
+  !___ non-standard-conforming statement _________________________
+
+  ! unknown stop-code
+  !ERROR: expected execution part construct
+  error stop code=int_code
+
+  ! invalid stop-code typing
+  error stop non_integer
+
+  ! invalid stop-code typing
+  error stop non_character
+
+  ! stop-code must be of default kind
+  error stop non_default_int_kind
+
+  ! stop-code must be of default kind
+  error stop non_default_char_kind
+
+  ! stop-code must be scalar
+  error stop char_array
+
+  ! stop-code must be scalar
+  error stop array_coarray[1]
+
+  ! invalid quiet= typing
+  error stop int_code, quiet=non_logical
+
+  ! quiet= must be scalar
+  error stop int_code, quiet=logical_array
+
+  ! missing 'quiet='
+  !ERROR: expected execution part construct
+  error stop int_code, bool
+
+  ! incorrect spelling for 'quiet='
+  !ERROR: expected execution part construct
+  error stop int_code, quiets=bool
+
+  ! missing scalar-logical-expr for quiet=
+  !ERROR: expected execution part construct
+  error stop int_code, quiet
+
+  ! superfluous stop-code
+  !ERROR: expected execution part construct
+  error stop int_code, char_code
+
+  ! repeated quiet=
+  !ERROR: expected execution part construct
+  error stop int_code, quiet=bool, quiet=.true.
+
+  ! superfluous stop-code
+  !ERROR: expected execution part construct
+  error stop int_code, char_code, quiet=bool
+
+  ! superfluous integer
+  !ERROR: expected execution part construct
+  error stop int_code, quiet=bool, 5
+
+  ! quiet= appears without stop-code
+  !ERROR: expected execution part construct
+  error stop quiet=bool
+
+  ! incorrect syntax
+  !ERROR: expected execution part construct
+  error stop ()
+
+  ! incorrect syntax
+  !ERROR: expected execution part construct
+  error stop (2, quiet=.true.)
+
+end program test_error_stop