xref: /llvm-project/clang/test/Index/nullability.c (revision 9cd2413f1ca7a7f40132ea3c44f251851aa325c2)
17649e629SMichael Wu int *a;
27649e629SMichael Wu int * _Nonnull b;
37649e629SMichael Wu int * _Nullable c;
47649e629SMichael Wu int * _Null_unspecified d;
5*9cd2413fSErik Pilkington int * _Nullable_result e;
67649e629SMichael Wu 
77649e629SMichael Wu // RUN: env CINDEXTEST_INCLUDE_ATTRIBUTED_TYPES=1 c-index-test -test-print-type %s | FileCheck %s
87649e629SMichael Wu // CHECK: VarDecl=a:1:6 [type=int *] [typekind=Pointer] [isPOD=1] [pointeetype=int] [pointeekind=Int]
97649e629SMichael Wu // CHECK: VarDecl=b:2:16 [type=int * _Nonnull] [typekind=Attributed] [nullability=nonnull] [canonicaltype=int *] [canonicaltypekind=Pointer] [modifiedtype=int *] [modifiedtypekind=Pointer] [isPOD=1]
107649e629SMichael Wu // CHECK: VarDecl=c:3:17 [type=int * _Nullable] [typekind=Attributed] [nullability=nullable] [canonicaltype=int *] [canonicaltypekind=Pointer] [modifiedtype=int *] [modifiedtypekind=Pointer] [isPOD=1]
117649e629SMichael Wu // CHECK: VarDecl=d:4:25 [type=int * _Null_unspecified] [typekind=Attributed] [nullability=unspecified] [canonicaltype=int *] [canonicaltypekind=Pointer] [modifiedtype=int *] [modifiedtypekind=Pointer] [isPOD=1]
12*9cd2413fSErik Pilkington // CHECK: VarDecl=e:5:24 [type=int * _Nullable_result] [typekind=Attributed] [nullability=nullable_result] [canonicaltype=int *] [canonicaltypekind=Pointer] [modifiedtype=int *] [modifiedtypekind=Pointer] [isPOD=1]
13