[all-commits] [llvm/llvm-project] f58f08: [flang] Correct definability checking for INTENT(I...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f58f089164ade240e1bcb60b7c3cead840a33e1c
      https://github.com/llvm/llvm-project/commit/f58f089164ade240e1bcb60b7c3cead840a33e1c
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2023-12-11 (Mon, 11 Dec 2023)

  Changed paths:
    M flang/lib/Semantics/definable.cpp
    M flang/test/Semantics/definable01.f90

  Log Message:
  -----------
  [flang] Correct definability checking for INTENT(IN) pointers (#74158)

An INTENT(IN) attribute on a pointer dummy argument prevents
modification of the pointer itself only, not modification of any
component of its target. Fix this case without breaking definability
checking for pointer components of non-pointer INTENT(IN) dummy
arguments.