]>
Commit | Line | Data |
---|---|---|
223e47cc LB |
1 | //===--- SemaStmtAttr.cpp - Statement Attribute Handling ------------------===// |
2 | // | |
3 | // The LLVM Compiler Infrastructure | |
4 | // | |
5 | // This file is distributed under the University of Illinois Open Source | |
6 | // License. See LICENSE.TXT for details. | |
7 | // | |
8 | //===----------------------------------------------------------------------===// | |
9 | // | |
10 | // This file implements stmt-related attribute processing. | |
11 | // | |
12 | //===----------------------------------------------------------------------===// | |
13 | ||
14 | #include "clang/Sema/SemaInternal.h" | |
15 | #include "TargetAttributesSema.h" | |
16 | #include "clang/AST/ASTContext.h" | |
17 | #include "clang/Basic/SourceManager.h" | |
18 | #include "clang/Lex/Lexer.h" | |
19 | #include "clang/Sema/DelayedDiagnostic.h" | |
20 | #include "clang/Sema/Lookup.h" | |
21 | #include "clang/Sema/ScopeInfo.h" | |
22 | #include "llvm/ADT/StringExtras.h" | |
23 | ||
24 | using namespace clang; | |
25 | using namespace sema; | |
26 | ||
27 | static Attr *handleFallThroughAttr(Sema &S, Stmt *St, const AttributeList &A, | |
28 | SourceRange Range) { | |
29 | if (!isa<NullStmt>(St)) { | |
30 | S.Diag(A.getRange().getBegin(), diag::err_fallthrough_attr_wrong_target) | |
31 | << St->getLocStart(); | |
32 | if (isa<SwitchCase>(St)) { | |
33 | SourceLocation L = Lexer::getLocForEndOfToken(Range.getEnd(), 0, | |
34 | S.getSourceManager(), S.getLangOpts()); | |
35 | S.Diag(L, diag::note_fallthrough_insert_semi_fixit) | |
36 | << FixItHint::CreateInsertion(L, ";"); | |
37 | } | |
38 | return 0; | |
39 | } | |
40 | if (S.getCurFunction()->SwitchStack.empty()) { | |
41 | S.Diag(A.getRange().getBegin(), diag::err_fallthrough_attr_outside_switch); | |
42 | return 0; | |
43 | } | |
44 | return ::new (S.Context) FallThroughAttr(A.getRange(), S.Context); | |
45 | } | |
46 | ||
47 | ||
48 | static Attr *ProcessStmtAttribute(Sema &S, Stmt *St, const AttributeList &A, | |
49 | SourceRange Range) { | |
50 | switch (A.getKind()) { | |
51 | case AttributeList::AT_FallThrough: | |
52 | return handleFallThroughAttr(S, St, A, Range); | |
53 | default: | |
54 | // if we're here, then we parsed an attribute, but didn't recognize it as a | |
55 | // statement attribute => it is declaration attribute | |
56 | S.Diag(A.getRange().getBegin(), diag::warn_attribute_invalid_on_stmt) | |
57 | << A.getName()->getName() << St->getLocStart(); | |
58 | return 0; | |
59 | } | |
60 | } | |
61 | ||
62 | StmtResult Sema::ProcessStmtAttributes(Stmt *S, AttributeList *AttrList, | |
63 | SourceRange Range) { | |
64 | SmallVector<const Attr*, 8> Attrs; | |
65 | for (const AttributeList* l = AttrList; l; l = l->getNext()) { | |
66 | if (Attr *a = ProcessStmtAttribute(*this, S, *l, Range)) | |
67 | Attrs.push_back(a); | |
68 | } | |
69 | ||
70 | if (Attrs.empty()) | |
71 | return S; | |
72 | ||
73 | return ActOnAttributedStmt(Range.getBegin(), Attrs, S); | |
74 | } |