[all-commits] [llvm/llvm-project] 848cca: [flang] Checks for pointers to intrinsic functions

[Emil Kieri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 848cca6c5bf0e79c45cf03d4b3fd33be803c30d3
      https://github.com/llvm/llvm-project/commit/848cca6c5bf0e79c45cf03d4b3fd33be803c30d3
  Author: Emil Kieri <j.emil.kieri at gmail.com>
  Date:   2021-10-28 (Thu, 28 Oct 2021)

  Changed paths:
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Semantics/resolve46.f90

  Log Message:
  -----------
  [flang] Checks for pointers to intrinsic functions

Check that when a procedure pointer is initialised or assigned with an intrinsic
function, or when its interface is being defined by one, that intrinsic function
is unrestricted specific (listed in Table 16.2 of F'2018).

Mark intrinsics LGE, LGT, LLE, and LLT as restricted specific. Getting their
classifications right helps in designing the tests.

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