[all-commits] [llvm/llvm-project] 24db88: [flang] Check for polymorphism in DEALLOCATE state...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 24db8859497f9a5be35e92050ce9b08730dc04ff
      https://github.com/llvm/llvm-project/commit/24db8859497f9a5be35e92050ce9b08730dc04ff
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-12-15 (Thu, 15 Dec 2022)

  Changed paths:
    M flang/lib/Semantics/check-deallocate.cpp
    M flang/lib/Semantics/check-deallocate.h
    A flang/test/Semantics/deallocate07.f90

  Log Message:
  -----------
  [flang] Check for polymorphism in DEALLOCATE statements in pure procedures

Semantic checking for DEALLOCATE statements omitted checks for
polymorphic objects and ultimate allocatable components in a pure
procedure, which if not caught would allow execution of an impure
FINAL subroutine defined on a type extension.

Differential Revision: https://reviews.llvm.org/D140129