[all-commits] [llvm/llvm-project] d9195d: [flang] More precise checks for NULL() operands

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d9195d6603f2c95124e29beacec9129ae8fd616e
      https://github.com/llvm/llvm-project/commit/d9195d6603f2c95124e29beacec9129ae8fd616e
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-09-16 (Thu, 16 Sep 2021)

  Changed paths:
    M flang/include/flang/Evaluate/expression.h
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Semantics/resolve63.f90

  Log Message:
  -----------
  [flang] More precise checks for NULL() operands

Improve checking for NULL() and NULL(MOLD=) when used as
variables and expressions outside the few contexts where
a disassociated pointer can be valid.  There were both
inappropriate errors and missing checks.

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