1234973Sdim//===--- SemaStmtAttr.cpp - Statement Attribute Handling ------------------===// 2234973Sdim// 3234973Sdim// The LLVM Compiler Infrastructure 4234973Sdim// 5234973Sdim// This file is distributed under the University of Illinois Open Source 6234973Sdim// License. See LICENSE.TXT for details. 7234973Sdim// 8234973Sdim//===----------------------------------------------------------------------===// 9234973Sdim// 10234973Sdim// This file implements stmt-related attribute processing. 11234973Sdim// 12234973Sdim//===----------------------------------------------------------------------===// 13234973Sdim 14234973Sdim#include "clang/Sema/SemaInternal.h" 15234973Sdim#include "TargetAttributesSema.h" 16234973Sdim#include "clang/AST/ASTContext.h" 17234973Sdim#include "clang/Basic/SourceManager.h" 18239462Sdim#include "clang/Lex/Lexer.h" 19234973Sdim#include "clang/Sema/DelayedDiagnostic.h" 20234973Sdim#include "clang/Sema/Lookup.h" 21239462Sdim#include "clang/Sema/ScopeInfo.h" 22234973Sdim#include "llvm/ADT/StringExtras.h" 23239462Sdim 24234973Sdimusing namespace clang; 25234973Sdimusing namespace sema; 26234973Sdim 27239462Sdimstatic Attr *handleFallThroughAttr(Sema &S, Stmt *St, const AttributeList &A, 28239462Sdim SourceRange Range) { 29239462Sdim if (!isa<NullStmt>(St)) { 30239462Sdim S.Diag(A.getRange().getBegin(), diag::err_fallthrough_attr_wrong_target) 31239462Sdim << St->getLocStart(); 32239462Sdim if (isa<SwitchCase>(St)) { 33239462Sdim SourceLocation L = Lexer::getLocForEndOfToken(Range.getEnd(), 0, 34239462Sdim S.getSourceManager(), S.getLangOpts()); 35239462Sdim S.Diag(L, diag::note_fallthrough_insert_semi_fixit) 36239462Sdim << FixItHint::CreateInsertion(L, ";"); 37239462Sdim } 38239462Sdim return 0; 39239462Sdim } 40239462Sdim if (S.getCurFunction()->SwitchStack.empty()) { 41239462Sdim S.Diag(A.getRange().getBegin(), diag::err_fallthrough_attr_outside_switch); 42239462Sdim return 0; 43239462Sdim } 44239462Sdim return ::new (S.Context) FallThroughAttr(A.getRange(), S.Context); 45239462Sdim} 46234973Sdim 47239462Sdim 48239462Sdimstatic Attr *ProcessStmtAttribute(Sema &S, Stmt *St, const AttributeList &A, 49239462Sdim SourceRange Range) { 50234973Sdim switch (A.getKind()) { 51243830Sdim case AttributeList::UnknownAttribute: 52243830Sdim S.Diag(A.getLoc(), A.isDeclspecAttribute() ? 53243830Sdim diag::warn_unhandled_ms_attribute_ignored : 54243830Sdim diag::warn_unknown_attribute_ignored) << A.getName(); 55243830Sdim return 0; 56239462Sdim case AttributeList::AT_FallThrough: 57239462Sdim return handleFallThroughAttr(S, St, A, Range); 58234973Sdim default: 59243830Sdim // if we're here, then we parsed a known attribute, but didn't recognize 60243830Sdim // it as a statement attribute => it is declaration attribute 61249423Sdim S.Diag(A.getRange().getBegin(), diag::err_attribute_invalid_on_stmt) 62249423Sdim << A.getName() << St->getLocStart(); 63234973Sdim return 0; 64234973Sdim } 65234973Sdim} 66234973Sdim 67234973SdimStmtResult Sema::ProcessStmtAttributes(Stmt *S, AttributeList *AttrList, 68234973Sdim SourceRange Range) { 69239462Sdim SmallVector<const Attr*, 8> Attrs; 70234973Sdim for (const AttributeList* l = AttrList; l; l = l->getNext()) { 71239462Sdim if (Attr *a = ProcessStmtAttribute(*this, S, *l, Range)) 72234973Sdim Attrs.push_back(a); 73234973Sdim } 74234973Sdim 75234973Sdim if (Attrs.empty()) 76234973Sdim return S; 77234973Sdim 78234973Sdim return ActOnAttributedStmt(Range.getBegin(), Attrs, S); 79234973Sdim} 80