[all-commits] [llvm/llvm-project] f513bd: [flang] CUDA Fortran - part 4/5: definability and ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f513bd808867757a92791fb61d893534cafbe0b3
      https://github.com/llvm/llvm-project/commit/f513bd808867757a92791fb61d893534cafbe0b3
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-05-31 (Wed, 31 May 2023)

  Changed paths:
    M flang/include/flang/Evaluate/call.h
    M flang/include/flang/Evaluate/characteristics.h
    M flang/include/flang/Semantics/expression.h
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Evaluate/formatting.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/definable.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Parser/cuf-sanity-tree.CUF
    M flang/test/Parser/cuf-sanity-unparse.CUF
    A flang/test/Semantics/cuf07.cuf
    A flang/test/Semantics/cuf10.cuf
    A flang/test/Semantics/definable05.cuf

  Log Message:
  -----------
  [flang] CUDA Fortran - part 4/5: definability and characteristics

Extend the definability and procedure characteristics checking
infrastructure in semantics to check for context-dependent CUDA object
definability violations and problems with CUDA attribute incompatibility
in procedure interfaces.

Depends on https://reviews.llvm.org/D150159,
https://reviews.llvm.org/D150161, & https://reviews.llvm.org/D150162.

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