[all-commits] [llvm/llvm-project] b2c363: [flang] Fix generic resolution with actual/dummy p...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b2c363e2616dc6ac6ee76c223d84ec512e118d5d
      https://github.com/llvm/llvm-project/commit/b2c363e2616dc6ac6ee76c223d84ec512e118d5d
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2024-12-17 (Tue, 17 Dec 2024)

  Changed paths:
    M flang/lib/Semantics/expression.cpp
    A flang/test/Semantics/generic11.f90

  Log Message:
  -----------
  [flang] Fix generic resolution with actual/dummy procedure incompatib… (#120105)

…ility

We generally allow any legal procedure pointer target as an actual
argument for association with a dummy procedure, since many actual
procedures are underspecified EXTERNALs. But for proper generic
resolution, it is necessary to disallow incompatible functions with
explicit result types.

Fixes https://github.com/llvm/llvm-project/issues/119151.



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