[PATCH] D87859: [flang] Unnecessary call to CHECK() for call to NULL() as an actual argument

[Peter Klausler via Phabricator via llvm-commits]

klausler requested changes to this revision.
klausler added a comment.
This revision now requires changes to proceed.

`NULL()` isn't "undefined".  It's a pointer (or in some other contexts, an unallocated allocatable), and the description of `ASSOCIATED()` in 16.9.16 just requires that its first (`POINTER=`) argument be a pointer.

(Even if `NULL()` were undefined, it would be okay -- see paragraph (2) of 16.1, which describes general rules for inquiry functions, of which `ASSOCIATED` is an example.)  "Unless the description of an intrinsic inquiry function states otherwise, these arguments are permitted to be unallocated allocatable variables or pointers that are undefined or disassociated."


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87859