[all-commits] [llvm/llvm-project] 755180: [flang] Avoid bogus errors with LBOUND/UBOUND(assu...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 755180cf1bae896c04efd49ddb71d7eb2dede490
      https://github.com/llvm/llvm-project/commit/755180cf1bae896c04efd49ddb71d7eb2dede490
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-07-17 (Mon, 17 Jul 2023)

  Changed paths:
    M flang/lib/Evaluate/fold-integer.cpp
    M flang/test/Semantics/misc-intrinsics.f90

  Log Message:
  -----------
  [flang] Avoid bogus errors with LBOUND/UBOUND(assumed rank array, DIM=)

Don't emit bogus compile-time error messages about out-of-range values
for the DIM= argument to LBOUND/BOUND when the array in question is an
assumed-rank dummy array argument.

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


  Commit: df111658a2535d273a4d7d1edf7c412e090ac97e
      https://github.com/llvm/llvm-project/commit/df111658a2535d273a4d7d1edf7c412e090ac97e
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-07-17 (Mon, 17 Jul 2023)

  Changed paths:
    M flang/docs/Extensions.md
    M flang/include/flang/Common/Fortran-features.h
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/resolve30.f90

  Log Message:
  -----------
  [flang] Extension: allow DATA to precede declaration under IMPLICIT NONE(TYPE)

It is not standard conforming under IMPLICIT NONE(TYPE) for a name to
appear in a DATA statement prior to its explicit type declaration,
but it is benign, supported in other compilers, and attested in real
applications.  Support it with an optional portability warning.

Fixes GitHub LLVM bug https://github.com/llvm/llvm-project/issues/63783.


Compare: https://github.com/llvm/llvm-project/compare/8b2904826782...df111658a253