[libclang] Expose warn_unused and warn_unused_result attributes.

This is helpful to properly detect them, and fixing issues like
https://github.com/rust-lang/rust-bindgen/issues/1518.

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

llvm-svn: 354824
This commit is contained in:
Emilio Cobos Alvarez 2019-02-25 21:24:52 +00:00
parent 76004da1c9
commit 0a3fe502e6
5 changed files with 22 additions and 2 deletions

View File

@ -1343,6 +1343,8 @@ CursorKind.VISIBILITY_ATTR = CursorKind(417)
CursorKind.DLLEXPORT_ATTR = CursorKind(418)
CursorKind.DLLIMPORT_ATTR = CursorKind(419)
CursorKind.CONVERGENT_ATTR = CursorKind(438)
CursorKind.WARN_UNUSED_ATTR = CursorKind(439)
CursorKind.WARN_UNUSED_RESULT_ATTR = CursorKind(440)
###
# Preprocessing

View File

@ -32,7 +32,7 @@
* compatible, thus CINDEX_VERSION_MAJOR is expected to remain stable.
*/
#define CINDEX_VERSION_MAJOR 0
#define CINDEX_VERSION_MINOR 51
#define CINDEX_VERSION_MINOR 52
#define CINDEX_VERSION_ENCODE(major, minor) ( \
((major) * 10000) \
@ -2587,7 +2587,9 @@ enum CXCursorKind {
CXCursor_ObjCBoxable = 436,
CXCursor_FlagEnum = 437,
CXCursor_ConvergentAttr = 438,
CXCursor_LastAttr = CXCursor_ConvergentAttr,
CXCursor_WarnUnusedAttr = 439,
CXCursor_WarnUnusedResultAttr = 440,
CXCursor_LastAttr = CXCursor_WarnUnusedResultAttr,
/* Preprocessing */
CXCursor_PreprocessingDirective = 500,

View File

@ -14,6 +14,12 @@ enum __attribute((flag_enum)) FlagEnum {
void convergent_fn() __attribute__((convergent));
int warn_unused_result_fn() __attribute__((warn_unused_result));
struct __attribute__((warn_unused)) WarnUnused {
int b;
};
// CHECK: attributes.c:3:32: StructDecl=Test2:3:32 (Definition) Extent=[3:1 - 5:2]
// CHECK: attributes.c:3:23: attribute(packed)=packed Extent=[3:23 - 3:29]
// CHECK: attributes.c:4:8: FieldDecl=a:4:8 (Definition) Extent=[4:3 - 4:9] [access=public]
@ -29,3 +35,7 @@ void convergent_fn() __attribute__((convergent));
// CHECK: attributes.c:12:3: EnumConstantDecl=Foo:12:3 (Definition) Extent=[12:3 - 12:6]
// CHECK: attributes.c:15:6: FunctionDecl=convergent_fn:15:6 Extent=[15:1 - 15:49]
// CHECK: attributes.c:15:37: attribute(convergent)= Extent=[15:37 - 15:47]
// CHECK: attributes.c:17:5: FunctionDecl=warn_unused_result_fn:17:5 Extent=[17:1 - 17:64]
// CHECK: attributes.c:17:44: attribute(warn_unused_result)= Extent=[17:44 - 17:62]
// CHECK: attributes.c:19:37: StructDecl=WarnUnused:19:37 (Definition) Extent=[19:1 - 21:2]
// CHECK: attributes.c:19:23: attribute(warn_unused)= Extent=[19:23 - 19:34]

View File

@ -5477,6 +5477,10 @@ CXString clang_getCursorKindSpelling(enum CXCursorKind Kind) {
return cxstring::createRef("FriendDecl");
case CXCursor_ConvergentAttr:
return cxstring::createRef("attribute(convergent)");
case CXCursor_WarnUnusedAttr:
return cxstring::createRef("attribute(warn_unused)");
case CXCursor_WarnUnusedResultAttr:
return cxstring::createRef("attribute(warn_unused_result)");
}
llvm_unreachable("Unhandled CXCursorKind");

View File

@ -79,6 +79,8 @@ static CXCursorKind GetCursorKind(const Attr *A) {
case attr::ObjCBoxable: return CXCursor_ObjCBoxable;
case attr::FlagEnum: return CXCursor_FlagEnum;
case attr::Convergent: return CXCursor_ConvergentAttr;
case attr::WarnUnused: return CXCursor_WarnUnusedAttr;
case attr::WarnUnusedResult: return CXCursor_WarnUnusedResultAttr;
}
return CXCursor_UnexposedAttr;