[PATCH] D88313: [flang] Failed call to CHECK() for call to ASSOCIATED(NULL())

[Pete Steinfeld via Phabricator via llvm-commits]

PeteSteinfeld updated this revision to Diff 295332.
PeteSteinfeld added a comment.

I reverted the interface of the `FromActual()` function.  This required redoing
the analysis of procedure arguments.  To make sure I covered all the code in
the anslysis of procedure arguments, I added some tests that exposed another
bad call to `CHECK()` that I fixed.  I added tests for all of this.

I also added some tests for passing `NULL()` as the second argument to
`ASSOCIATED()`.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88313/new/

https://reviews.llvm.org/D88313

Files:
  flang/include/flang/Evaluate/characteristics.h
  flang/include/flang/Evaluate/type.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Evaluate/intrinsics.cpp
  flang/lib/Semantics/check-call.cpp
  flang/test/Semantics/call02.f90
  flang/test/Semantics/call09.f90
  flang/test/Semantics/resolve89.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88313.295332.patch
Type: text/x-patch
Size: 17559 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200930/df60e542/attachment.bin>