[all-commits] [llvm/llvm-project] e77fc0: [flang] Relax the check for polymorphic pointer in...

[Valentin Clement (バレンタイン クレメン) via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e77fc0dd76ab2aade6fed2358dbc603c0c80d20c
      https://github.com/llvm/llvm-project/commit/e77fc0dd76ab2aade6fed2358dbc603c0c80d20c
  Author: Valentin Clement <clementval at gmail.com>
  Date:   2023-02-23 (Thu, 23 Feb 2023)

  Changed paths:
    M flang/lib/Optimizer/Builder/IntrinsicCall.cpp
    M flang/test/Lower/Intrinsics/storage_size.f90

  Log Message:
  -----------
  [flang] Relax the check for polymorphic pointer in storage_size intrinsic

The runtime check was a too strong as the standard says.
> If it is polymorphic it shall not be an undefined pointer.
The check was checking if the pointer was associated.
Remove the check as other compilers do.

Depends on D144643

Reviewed By: PeteSteinfeld

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