[all-commits] [llvm/llvm-project] b2ba43: [flang] Refine checking of type-bound generics (#1...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b2ba43a9c1193f1d90ad9d30dada85caebd2c56d
      https://github.com/llvm/llvm-project/commit/b2ba43a9c1193f1d90ad9d30dada85caebd2c56d
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2025-03-03 (Mon, 03 Mar 2025)

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

  Log Message:
  -----------
  [flang] Refine checking of type-bound generics (#129292)

I merged a patch yesterday
(https://github.com/llvm/llvm-project/pull/128980) that strengthened
error detection of indistinguishable specific procedures in a type-bound
generic procedure, and broke a couple of tests. Refine the check so that
it doesn't flag valid cases of overridden bindings, and add a thorough
test with all of the boundary cases that I can think of.



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