[PATCH] D122673: Add kcfi_unchecked attribute

[Sami Tolvanen via Phabricator via cfe-commits]

samitolvanen created this revision.
samitolvanen added reviewers: aaron.ballman, pcc, nickdesaulniers, ardb, kees, joaomoreira.
Herald added subscribers: jdoerfert, martong.
Herald added a project: All.
samitolvanen requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

With `-fsanitize=kcfi`, disabling indirect call checking using the
`no_sanitize` attribute or the sanitizer special case list is not
fine-grained enough in cases where we want to disable checking
only for specific calls. The `kcfi_unchecked` attribute applies to
functions and function pointers and allows disabling indirect calls
made using an annotated pointer.

Depends on D119296 <https://reviews.llvm.org/D119296>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D122673

Files:
  clang/include/clang/AST/Type.h
  clang/include/clang/AST/TypeProperties.td
  clang/include/clang/Basic/Attr.td
  clang/include/clang/Basic/AttrDocs.td
  clang/include/clang/CodeGen/CGFunctionInfo.h
  clang/lib/AST/ASTContext.cpp
  clang/lib/AST/ASTStructuralEquivalence.cpp
  clang/lib/AST/TypePrinter.cpp
  clang/lib/CodeGen/CGCall.cpp
  clang/lib/CodeGen/CGExpr.cpp
  clang/lib/Sema/SemaDeclAttr.cpp
  clang/lib/Sema/SemaType.cpp
  clang/lib/Serialization/ASTWriter.cpp
  clang/test/CodeGen/kcfi_unchecked.c
  clang/test/CodeGen/kcfi_unchecked.cpp
  clang/test/Misc/pragma-attribute-supported-attributes-list.test
  clang/test/Sema/attr-kcfi_unchecked.c
  clang/test/Sema/attr-kcfi_unchecked.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D122673.418934.patch
Type: text/x-patch
Size: 23361 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220329/22be162e/attachment-0001.bin>