ftn -h acc: a loop seq construct inside a routine seq procedure gives wrong sums

! # Draft finding: acc34-w-loop-in-routine on cce19
!
! - compiler: cce19
! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
! - program: catalog acc34-w-loop-in-routine (f90, version 34, sha256 1499c90f659f38cf)
! - expected: check=pass (trusted; elision + model)
! - actual: wrong_answer check=fail (check_fail: ran_on_host=0 check=fail)
! - verdict: compiler_bug by rule R20-runtime-bug: a legal program fails at run time, deterministically, against an expected value
!   from two or more independent sources with an executed witness, and another toolchain, mode, arch or the elision gives the
!   expected value
! - reason: expected trusted check=pass (elision + model): stored main verdict: elision + model agree; witnesses: elision
! - citations: RUL-DERIVED-NEEDS-EXECUTION (rulings.md); RUL-WITNESS-PER-MODE (rulings.md);
!   RUL-SAME-COMPILER-RUNS (rulings.md); RUL-PRESENCE-WITNESS (rulings.md); RUL-METAMORPHIC-OTHER-FAMILY
!   (rulings.md)
! - legality: legal: offload.engine.prerun.check accepts it (rerun: offload.engine.rules with the
!   race rule and the restriction checks, and the AFAR flang front end, not under test here); no
!   compiler under test, gfortran or gcc is a legality witness
! - witnesses: elision
! - withdrawn: none
!
! Generated by compliance.widen (OpenACC 3.4, free-form Fortran; catalog widening). Do not edit.
! id: acc34-w-loop-in-routine
! primary atom: base.device.loop_in_routine
! atoms: base.device.loop_in_routine
! legal: yes
! observable: yes
! ran_on_host: inside the compute region of interest (acc_on_device)
! evidence: construct
! needs: none
! std: f2008
! feature: a loop seq construct inside a routine seq procedure called in a parallel loop
! spec: OpenACC 3.4 §2.9 (loop construct) and §2.15.1 (routine seq: a loop construct in it must be seq)
module wmod
  implicit none
contains
  subroutine rowsum(x, s)
    !$acc routine seq
    integer, intent(in) :: x(:)
    integer, intent(out) :: s
    integer :: k
    s = 0
    !$acc loop seq
    do k = 1, size(x)
      s = s + x(k)
    end do
  end subroutine rowsum
end module wmod

program wide_prog
  use openacc, only: acc_device_host, acc_on_device
  use wmod
  implicit none
  integer, parameter :: n = 64
  integer :: a(n), b(n), ref(n)
  integer :: a2(4, n)
  integer :: k
  integer :: i, host_flag
  logical :: ok
  do i = 1, n
    a(i) = i
    b(i) = 0
    ref(i) = 10*i
  end do
  do i = 1, n
    do k = 1, 4
      a2(k, i) = k*i
    end do
  end do
  host_flag = 1
  !$acc parallel loop copyin(a2) copyout(b) copy(host_flag)
  do i = 1, n
    call rowsum(a2(:, i), b(i))
    if (i == 1) host_flag = merge(1, 0, acc_on_device(acc_device_host))
  end do
  ok = all(b == ref)
  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
end program wide_prog