[all-commits] [llvm/llvm-project] bd92bc: [flang] Fix purity testing for generic calls

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bd92bca53517bfbce3396d9f87f42fa438e8d1fd
      https://github.com/llvm/llvm-project/commit/bd92bca53517bfbce3396d9f87f42fa438e8d1fd
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-05-24 (Tue, 24 May 2022)

  Changed paths:
    M flang/lib/Semantics/expression.cpp
    A flang/test/Semantics/doconcurrent09.f90

  Log Message:
  -----------
  [flang] Fix purity testing for generic calls

The purity or impurity of a call to a generic interface
depends on the attributes of the specific procedure or specific
binding.  Change expression analysis of calls to generic interfaces
to replace the symbol in the parse tree with the specific procedure
or binding; this ensures that later checking for purity in
DO CONCURRENT and other contexts will be accurate.

Remove an "XFAIL" from a test that now passes again with this fix.

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