[flang-commits] [PATCH] D155489: [flang] Catch impure specifics called in DO CONCURRENT

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: PeteSteinfeld.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

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.


https://reviews.llvm.org/D155489

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D155489.541115.patch
Type: text/x-patch
Size: 8707 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230717/0c0133a5/attachment-0001.bin>