[all-commits] [llvm/llvm-project] f4fc95: [flang] Catch impossible but necessary TBP overrid...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f4fc959c35eb862776ac2e83cb9f41aa88989e3f
      https://github.com/llvm/llvm-project/commit/f4fc959c35eb862776ac2e83cb9f41aa88989e3f
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2024-03-26 (Tue, 26 Mar 2024)

  Changed paths:
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/tools.cpp
    A flang/test/Semantics/deferred01.f90

  Log Message:
  -----------
  [flang] Catch impossible but necessary TBP override (#86558)

An apparent attempt to override a type-bound procedure is not allowed to
be interpreted as on override when the procedure is PRIVATE and the
override attempt appears in another module. However, if the TBP that
would have been overridden is a DEFERRED procedure in an abstract base
type, the override must take place. PRIVATE DEFERRED procedures must
therefore have all of their overrides appear in the same module as the
abstract base type.



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