! 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 statements 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 statements 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 statements _________________________

  ! unknown stop-code
  !ERROR: expected end of statement
  error stop code=int_code

  ! missing 'quiet='
  !ERROR: expected end of statement
  error stop int_code, bool

  ! incorrect spelling for 'quiet='
  !ERROR: expected end of statement
  error stop int_code, quiets=bool

  ! missing scalar-logical-expr for quiet=
  !ERROR: expected end of statement
  error stop int_code, quiet

  ! superfluous stop-code
  !ERROR: expected end of statement
  error stop int_code, char_code

  ! repeated quiet=
  !ERROR: expected end of statement
  error stop int_code, quiet=bool, quiet=.true.

  ! superfluous stop-code
  !ERROR: expected end of statement
  error stop int_code, char_code, quiet=bool

  ! superfluous integer
  !ERROR: expected end of statement
  error stop int_code, quiet=bool, 5

  ! quiet= appears without stop-code
  !ERROR: expected end of statement
  error stop quiet=bool

  ! incorrect syntax
  !ERROR: expected end of statement
  error stop ()

  ! incorrect syntax
  !ERROR: expected end of statement
  error stop (2, quiet=.true.)

end program test_error_stop