[all-commits] [llvm/llvm-project] 455de5: [flang] Fix non-portable TYPE(*) usage in generic ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 455de5543c9e27f64563292ec57142da01e5fc5a
      https://github.com/llvm/llvm-project/commit/455de5543c9e27f64563292ec57142da01e5fc5a
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2026-01-19 (Mon, 19 Jan 2026)

  Changed paths:
    M flang/include/flang/Support/Fortran-features.h
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Semantics/call03.f90
    A flang/test/Semantics/call46.f90

  Log Message:
  -----------
  [flang] Fix non-portable TYPE(*) usage in generic (#176235)

Fortran allows a scalar actual argument of any type to correspond with a
TYPE(*) dummy argument that is an assumed-size array. This usage isn't
portable, and it didn't work with a generic procedure with this
compiler, only specific procedures. It affected at least one API in
OpenMPI.

Fix generic resolution to allow for this case, add a distinguishability
test to detect generic interfaces that have ambiguous specific
procedures due to it, and add an optional portability warning (off by
default).



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