[all-commits] [llvm/llvm-project] b0f02c: [flang] Catch impure defined assignments in DO CON...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b0f02cee2b5b9a767705db9b9aa0663b49742c4e
      https://github.com/llvm/llvm-project/commit/b0f02cee2b5b9a767705db9b9aa0663b49742c4e
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-03-27 (Mon, 27 Mar 2023)

  Changed paths:
    M flang/lib/Semantics/check-do-forall.cpp
    M flang/test/Semantics/doconcurrent01.f90

  Log Message:
  -----------
  [flang] Catch impure defined assignments in DO CONCURRENT

The semantic checking of DO CONCURRENT bodies looks only at the
parse tree, not the typed expressions produced from it, so it
misses calls to defined assignment subroutines that arise from
assignment statements that resolve via generic interfaces into
subroutine calls.  Extend the checking to peek into the typed
assignment operations left on the parse tree by semantics.

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