granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Leonard Chan <leonardchan@google.com>
	Thu, 6 Dec 2018 01:05:54 +0000 (01:05 +0000)
committer	Leonard Chan <leonardchan@google.com>
	Thu, 6 Dec 2018 01:05:54 +0000 (01:05 +0000)
commit	6f7b650ee8d3ae86733c89dce67e027093ad0e5e
tree	71b084e278d8636954b429e2802ba2421549955f	tree \| snapshot
parent	8a3afc37501d8fa042ae6440ce055b9470fcea1a	commit \| diff

[Sema/Attribute] Check for noderef attribute

This patch adds the noderef attribute in clang and checks for dereferences of
types that have this attribute. This attribute is currently used by sparse and
would like to be ported to clang.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@348442 91177308-0d34-0410-b5e6-96231b3b80d8

14 files changed:

include/clang/Basic/Attr.td		diff \| blob \| history
include/clang/Basic/AttrDocs.td		diff \| blob \| history
include/clang/Basic/DiagnosticGroups.td		diff \| blob \| history
include/clang/Basic/DiagnosticSemaKinds.td		diff \| blob \| history
include/clang/Sema/Sema.h		diff \| blob \| history
lib/AST/TypePrinter.cpp		diff \| blob \| history
lib/Sema/SemaExpr.cpp		diff \| blob \| history
lib/Sema/SemaExprMember.cpp		diff \| blob \| history
lib/Sema/SemaInit.cpp		diff \| blob \| history
lib/Sema/SemaType.cpp		diff \| blob \| history
test/Frontend/noderef.c	[new file with mode: 0644]	blob
test/Frontend/noderef.cpp	[new file with mode: 0644]	blob
test/Frontend/noderef_on_non_pointers.m	[new file with mode: 0644]	blob
test/Frontend/noderef_templates.cpp	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom