[flang-commits] [PATCH] D150163: [flang] CUDA Fortran - part 4/5: definability and characteristics

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added reviewers: razvanlupusoru, clementval, wangzpgi, kiranchandramohan.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, mattd, jdoerfert, yaxunl.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

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.


https://reviews.llvm.org/D150163

Files:
  flang/include/flang/Evaluate/call.h
  flang/include/flang/Evaluate/characteristics.h
  flang/include/flang/Evaluate/type.h
  flang/include/flang/Semantics/expression.h
  flang/include/flang/Semantics/type.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Evaluate/formatting.cpp
  flang/lib/Evaluate/type.cpp
  flang/lib/Parser/unparse.cpp
  flang/lib/Semantics/check-call.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/definable.cpp
  flang/lib/Semantics/expression.cpp
  flang/lib/Semantics/type.cpp
  flang/module/__cuda_builtins.f90
  flang/test/Parser/cuf-sanity-tree.CUF
  flang/test/Parser/cuf-sanity-unparse.CUF
  flang/test/Semantics/bind-c06.f90
  flang/test/Semantics/cuf02.cuf
  flang/test/Semantics/cuf03.cuf
  flang/test/Semantics/cuf07.cuf
  flang/test/Semantics/cuf08.cuf
  flang/test/Semantics/cuf10.cuf
  flang/test/Semantics/definable05.cuf
  flang/test/Semantics/resolve65.f90
  flang/test/Semantics/resolve67.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D150163.520529.patch
Type: text/x-patch
Size: 69002 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230509/d7b72de1/attachment-0001.bin>