[all-commits] [llvm/llvm-project] 486be1: [flang] Catch impure specifics called in DO CONCUR...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 486be17ddaf639dc13b8df4ba078f2677f0c5829
      https://github.com/llvm/llvm-project/commit/486be17ddaf639dc13b8df4ba078f2677f0c5829
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-07-17 (Mon, 17 Jul 2023)

  Changed paths:
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Semantics/check-do-forall.cpp
    M flang/module/__fortran_ieee_exceptions.f90
    M flang/test/Semantics/call11.f90
    M flang/test/Semantics/doconcurrent01.f90
    M flang/test/Semantics/doconcurrent09.f90

  Log Message:
  -----------
  [flang] Catch impure specifics called in DO CONCURRENT

Rework the code used to check for calls to impure procedures in DO CONCURRENT
constructs.  The current code wasn't checking the representation of the
procedure references in the strongly typed expressions, so it was missing
calls to impure subprograms made via generic interfaces.  While here,
improve error messages, and fix some minor issues exposed by testing the
improved checks.

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