void StructTypeDecl::setOpaqueMembers() {
for (unsigned i=0; i<numMembers(); i++) {
Decl* D = members[i];
D->setPublic(false);
StructTypeDecl* subStruct = dyncast<StructTypeDecl>(D);
if (subStruct) subStruct->setOpaqueMembers();
}
}
void C2Sema::ActOnAttr(Decl* D, const char* name, SourceRange range, Expr* arg) {
#ifdef SEMA_DEBUG
std::cerr << COL_SEMA << "SEMA: attribute " << name << ANSI_NORMAL"\n";
#endif
AttrKind kind = Attr::name2kind(name);
if (kind == ATTR_UNKNOWN) {
Diag(range.getBegin(), diag::err_attribute_unknown) << name << range;
return;
}
const AttrInfo& ai = Attr::getInfo(kind);
// check if allowed for type of Decl
if (isa<TypeDecl>(D) && !ai.isAllowedInType()) {
Diag(range.getBegin(), diag::err_attribute_invalid_decl) << name << 0 << range;
return;
}
if (isa<FunctionDecl>(D) && !ai.isAllowedInFunction()) {
Diag(range.getBegin(), diag::err_attribute_invalid_decl) << name << 1 << range;
return;
}
if (isa<VarDecl>(D) && !ai.isAllowedInVar()) {
Diag(range.getBegin(), diag::err_attribute_invalid_decl) << name << 2 << range;
return;
}
// check if it requires an argument or has argument while not needing one
if (arg) {
if (!ai.requiresArgument) {
Diag(range.getBegin(), diag::err_attribute_wrong_number_arguments) << name << 0 << range;
return;
}
} else {
if (ai.requiresArgument) {
Diag(range.getBegin(), diag::err_attribute_wrong_number_arguments) << name << 1 << range;
return;
}
}
// check for duplicates
if (ast.hasAttribute(D, kind)) {
Diag(range.getBegin(), diag::warn_duplicate_attribute_exact) << name << range;
return;
}
D->setHasAttributes();
ast.addAttribute(D, new Attr(kind, range, arg));
// Fixup opaque structs; members are not public!
if (kind == ATTR_OPAQUE && isa<StructTypeDecl>(D)) {
StructTypeDecl* S = cast<StructTypeDecl>(D);
S->setOpaqueMembers();
}
}
