[all-commits] [llvm/llvm-project] 1fa9ef: [flang] Consolidate and enhance pointer assignment...

[Peter Klausler via All-commits]

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

  Changed paths:
    M flang/lib/Semantics/assignment.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/pointer-assignment.cpp
    A flang/test/Semantics/assign14.f90
    M flang/test/Semantics/associate01.f90
    M flang/test/Semantics/c_f_pointer.f90
    M flang/test/Semantics/call05.f90
    M flang/test/Semantics/call07.f90
    M flang/test/Semantics/call33.f90
    M flang/test/Semantics/structconst03.f90
    M flang/test/Semantics/structconst04.f90
    A flang/test/Semantics/structconst07.f90#

  Log Message:
  -----------
  [flang] Consolidate and enhance pointer assignment checks

Consolidate aspects of pointer assignment & structure constructor pointer component
checking from Semantics/assignment.cpp and /expression.cpp into /pointer-assignment.cpp,
and add a warning about data targets that are not definable objects
but not hard errors.  Specifically, a structure component pointer component data
target is not allowed to be a USE-associated object in a pure context by a numbered
constraint, but the right-hand side data target of a pointer assignment statement
has no such constraint, and that's the new warning.

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