mirror of
https://github.com/llvm/llvm-project.git
synced 2025-05-08 09:06:06 +00:00
98dd085d1f
This adds support for static_assert() (and _Static_assert()) in @interface/@implementation ivar lists and in @interface method declarations. It was already supported in @implementation blocks outside of the ivar lists. The assert AST nodes are added at file scope, matching where other (non-Objective-C) declarations at @interface / @implementation level go (cf `allTUVariables`). Also add a `__has_feature(objc_c_static_assert)` that's true in C11 (and `__has_extension(objc_c_static_assert)` that's always true) and `__has_feature(objc_cxx_static_assert)` that's true in C++11 modea fter this patch, so it's possible to check if this is supported. Differential Revision: https://reviews.llvm.org/D59223 llvm-svn: 356148
75 lines
1.6 KiB
Plaintext
75 lines
1.6 KiB
Plaintext
// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s
|
|
// RUN: %clang_cc1 -std=c++98 -fsyntax-only -verify -Wno-objc-root-class %s
|
|
|
|
#if !__has_feature(objc_c_static_assert)
|
|
#error failed
|
|
#endif
|
|
|
|
#if __cplusplus >= 201103L
|
|
|
|
#if !__has_feature(objc_cxx_static_assert)
|
|
#error failed
|
|
#endif
|
|
|
|
// C++11
|
|
|
|
@interface A {
|
|
int a;
|
|
static_assert(1, "");
|
|
_Static_assert(1, "");
|
|
|
|
static_assert(0, ""); // expected-error {{static_assert failed}}
|
|
_Static_assert(0, ""); // expected-error {{static_assert failed}}
|
|
|
|
static_assert(a, ""); // expected-error {{static_assert expression is not an integral constant expression}}
|
|
static_assert(sizeof(a) == 4, "");
|
|
static_assert(sizeof(a) == 3, ""); // expected-error {{static_assert failed}}
|
|
}
|
|
|
|
static_assert(1, "");
|
|
_Static_assert(1, "");
|
|
|
|
- (void)f;
|
|
@end
|
|
|
|
@implementation A {
|
|
int b;
|
|
static_assert(1, "");
|
|
_Static_assert(1, "");
|
|
static_assert(sizeof(b) == 4, "");
|
|
static_assert(sizeof(b) == 3, ""); // expected-error {{static_assert failed}}
|
|
}
|
|
|
|
static_assert(1, "");
|
|
|
|
- (void)f {
|
|
static_assert(1, "");
|
|
}
|
|
@end
|
|
|
|
@interface B
|
|
@end
|
|
|
|
@interface B () {
|
|
int b;
|
|
static_assert(sizeof(b) == 4, "");
|
|
static_assert(sizeof(b) == 3, ""); // expected-error {{static_assert failed}}
|
|
}
|
|
@end
|
|
|
|
#else
|
|
|
|
#if __has_feature(objc_cxx_static_assert)
|
|
#error failed
|
|
#endif
|
|
|
|
// C++98
|
|
@interface A {
|
|
int a;
|
|
static_assert(1, ""); // expected-error {{type name requires a specifier or qualifier}} expected-error{{expected parameter declarator}} expected-error {{expected ')'}} expected-note {{to match this '('}}
|
|
_Static_assert(1, "");
|
|
_Static_assert(0, ""); // expected-error {{static_assert failed}}
|
|
}
|
|
@end
|
|
#endif
|