[all-commits] [llvm/llvm-project] efd7ca: [flang] IEEE_SUPPORT_FLAG(..., LOCAL) in specifica...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: efd7caac2e60209fd9358a24f038c91afe6a4a0a
      https://github.com/llvm/llvm-project/commit/efd7caac2e60209fd9358a24f038c91afe6a4a0a
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2025-04-04 (Fri, 04 Apr 2025)

  Changed paths:
    M flang/include/flang/Evaluate/characteristics.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/test/Evaluate/errors01.f90

  Log Message:
  -----------
  [flang] IEEE_SUPPORT_FLAG(..., LOCAL) in specification expression (#134270)

The optional second argument to IEEE_SUPPORT_FLAG (and related functions
from the intrinsic IEEE_ARITHMETIC module) is needed only for its type,
not its value. Restrictions on local objects as arguments to function
references in specification expressions shouldn't apply to it.

Define a new attribute for dummy data object characteristics to
distinguish such arguments, set it for the appropriate intrinsic
function references, and test it during specification expression
validation.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications