Add some semantic checks for OpenCL. Variadic macros, VLAs and bitfields are not supported.
llvm-svn: 172732
This commit is contained in:
parent
80a82761bd
commit
1d58cdbf4e
|
@ -284,6 +284,9 @@ def warn_cxx98_compat_empty_fnmacro_arg : Warning<
|
||||||
InGroup<CXX98CompatPedantic>, DefaultIgnore;
|
InGroup<CXX98CompatPedantic>, DefaultIgnore;
|
||||||
def note_macro_here : Note<"macro %0 defined here">;
|
def note_macro_here : Note<"macro %0 defined here">;
|
||||||
|
|
||||||
|
def err_pp_opencl_variadic_macros :
|
||||||
|
Error<"variadic macros not supported in OpenCL">;
|
||||||
|
|
||||||
def err_pp_invalid_directive : Error<"invalid preprocessing directive">;
|
def err_pp_invalid_directive : Error<"invalid preprocessing directive">;
|
||||||
def err_pp_directive_required : Error<
|
def err_pp_directive_required : Error<
|
||||||
"%0 must be used within a preprocessing directive">;
|
"%0 must be used within a preprocessing directive">;
|
||||||
|
|
|
@ -6066,6 +6066,10 @@ def err_static_kernel : Error<
|
||||||
"kernel functions cannot be declared static">;
|
"kernel functions cannot be declared static">;
|
||||||
def err_static_function_scope : Error<
|
def err_static_function_scope : Error<
|
||||||
"variables in function scope cannot be declared static">;
|
"variables in function scope cannot be declared static">;
|
||||||
|
def err_opencl_bitfields : Error<
|
||||||
|
"bitfields are not supported in OpenCL">;
|
||||||
|
def err_opencl_vla : Error<
|
||||||
|
"variable length arrays are not supported in OpenCL">;
|
||||||
|
|
||||||
} // end of sema category
|
} // end of sema category
|
||||||
|
|
||||||
|
|
|
@ -1649,6 +1649,12 @@ bool Preprocessor::ReadMacroDefinitionArgList(MacroInfo *MI, Token &Tok) {
|
||||||
diag::warn_cxx98_compat_variadic_macro :
|
diag::warn_cxx98_compat_variadic_macro :
|
||||||
diag::ext_variadic_macro);
|
diag::ext_variadic_macro);
|
||||||
|
|
||||||
|
// OpenCL v1.2 s6.9.e: variadic macros are not supported.
|
||||||
|
if (LangOpts.OpenCL) {
|
||||||
|
Diag(Tok, diag::err_pp_opencl_variadic_macros);
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
// Lex the token after the identifier.
|
// Lex the token after the identifier.
|
||||||
LexUnexpandedToken(Tok);
|
LexUnexpandedToken(Tok);
|
||||||
if (Tok.isNot(tok::r_paren)) {
|
if (Tok.isNot(tok::r_paren)) {
|
||||||
|
|
|
@ -9871,6 +9871,12 @@ FieldDecl *Sema::CheckFieldDecl(DeclarationName Name, QualType T,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// OpenCL v1.2 s6.9.c: bitfields are not supported.
|
||||||
|
if (BitWidth && getLangOpts().OpenCL) {
|
||||||
|
Diag(Loc, diag::err_opencl_bitfields);
|
||||||
|
InvalidDecl = true;
|
||||||
|
}
|
||||||
|
|
||||||
// C99 6.7.2.1p8: A member of a structure or union may have any type other
|
// C99 6.7.2.1p8: A member of a structure or union may have any type other
|
||||||
// than a variably modified type.
|
// than a variably modified type.
|
||||||
if (!InvalidDecl && T->isVariablyModifiedType()) {
|
if (!InvalidDecl && T->isVariablyModifiedType()) {
|
||||||
|
|
|
@ -1460,6 +1460,12 @@ QualType Sema::BuildArrayType(QualType T, ArrayType::ArraySizeModifier ASM,
|
||||||
|
|
||||||
T = Context.getConstantArrayType(T, ConstVal, ASM, Quals);
|
T = Context.getConstantArrayType(T, ConstVal, ASM, Quals);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// OpenCL v1.2 s6.9.d: variable length arrays are not supported.
|
||||||
|
if (getLangOpts().OpenCL && T->isVariableArrayType()) {
|
||||||
|
Diag(Loc, diag::err_opencl_vla);
|
||||||
|
return QualType();
|
||||||
|
}
|
||||||
// If this is not C99, extwarn about VLA's and C99 array size modifiers.
|
// If this is not C99, extwarn about VLA's and C99 array size modifiers.
|
||||||
if (!getLangOpts().C99) {
|
if (!getLangOpts().C99) {
|
||||||
if (T->isVariableArrayType()) {
|
if (T->isVariableArrayType()) {
|
||||||
|
|
|
@ -0,0 +1,3 @@
|
||||||
|
// RUN: %clang_cc1 -verify %s
|
||||||
|
|
||||||
|
#define X(...) 1 // expected-error {{variadic macros not supported in OpenCL}}
|
|
@ -0,0 +1,9 @@
|
||||||
|
// RUN: %clang_cc1 -verify %s
|
||||||
|
|
||||||
|
struct {
|
||||||
|
int a : 1; // expected-error {{bitfields are not supported in OpenCL}}
|
||||||
|
};
|
||||||
|
|
||||||
|
void no_vla(int n) {
|
||||||
|
int a[n]; // expected-error {{variable length arrays are not supported in OpenCL}}
|
||||||
|
}
|
Loading…
Reference in New Issue