diff options
| author | Leonard Chan <leonardchan@google.com> | 2018-12-06 01:05:54 +0000 |
|---|---|---|
| committer | Leonard Chan <leonardchan@google.com> | 2018-12-06 01:05:54 +0000 |
| commit | 6f7b650ee8d3ae86733c89dce67e027093ad0e5e (patch) | |
| tree | 71b084e278d8636954b429e2802ba2421549955f /include/clang/Basic/DiagnosticSemaKinds.td | |
| parent | 8a3afc37501d8fa042ae6440ce055b9470fcea1a (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
Diffstat (limited to 'include/clang/Basic/DiagnosticSemaKinds.td')
| -rw-r--r-- | include/clang/Basic/DiagnosticSemaKinds.td | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/clang/Basic/DiagnosticSemaKinds.td b/include/clang/Basic/DiagnosticSemaKinds.td index eaaecb4363..e24f4f3519 100644 --- a/include/clang/Basic/DiagnosticSemaKinds.td +++ b/include/clang/Basic/DiagnosticSemaKinds.td @@ -9548,4 +9548,13 @@ def err_std_compare_type_not_supported : Error< "member '%2' is missing|" "the type is not trivially copyable|" "the type does not have the expected form}1">; + +def warn_dereference_of_noderef_type : Warning< + "dereferencing %0; was declared with a 'noderef' type">, InGroup<NoDeref>; +def warn_dereference_of_noderef_type_no_decl : Warning< + "dereferencing expression marked as 'noderef'">, InGroup<NoDeref>; +def warn_noderef_on_non_pointer_or_array : Warning< + "'noderef' can only be used on an array or pointer type">, InGroup<IgnoredAttributes>; +def warn_noderef_to_dereferenceable_pointer : Warning< + "casting to dereferenceable pointer removes 'noderef' attribute">, InGroup<NoDeref>; } // end of sema component. |