[all-commits] [llvm/llvm-project] 223604: [flang] Further refine errors vs warnings for ambi...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2236048f5fdde70dd95e97ccc87437424a371cef
      https://github.com/llvm/llvm-project/commit/2236048f5fdde70dd95e97ccc87437424a371cef
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2024-02-20 (Tue, 20 Feb 2024)

  Changed paths:
    M flang/lib/Semantics/check-declarations.cpp
    M flang/test/Semantics/resolve17.f90

  Log Message:
  -----------
  [flang] Further refine errors vs warnings for ambiguous generics (#80161)

Ensure that the compiler emits a hard error for a generic interface with
ambiguous specific procedures when it is declared as such, and the
ambiguity doesn't involve optional or unlimited polymorphic dummy data
arguments. But: emit an optional portability warning when the ambiguity
in the generic interface is due to USE association's merging of multiple
generics, as USE association may involve modules not under control of
the programmer; we'll emit a hard error message if any the actual
arguments in a particular reference to the generic procedure doesn't
resolve to exactly one specific procedure. And don't emit warnings when
potential ambiguity due to USE association is taking place in a module
file; the warnings, if any, will have been produced when the module file
was compiled.



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