SemaAttr.cpp revision 613fd67e575ff1c038535b18dafebca070f3ed91
15a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner//===--- SemaAttr.cpp - Semantic Analysis for Attributes ------------------===// 25a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// 35a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// The LLVM Compiler Infrastructure 45a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// 55a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// This file is distributed under the University of Illinois Open Source 65a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// License. See LICENSE.TXT for details. 75a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// 85a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner//===----------------------------------------------------------------------===// 95a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// 10574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner// This file implements semantic analysis for non-trivial attributes and 11574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner// pragmas. 125a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner// 135a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner//===----------------------------------------------------------------------===// 145a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 155a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner#include "Sema.h" 167d384dd5ace9ae9a22a69e700d2cacb256bc6c69John McCall#include "Lookup.h" 175a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner#include "clang/AST/Expr.h" 18613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar#include "clang/Basic/TargetInfo.h" 19613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar#include "clang/Lex/Preprocessor.h" 205a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattnerusing namespace clang; 215a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 22574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner//===----------------------------------------------------------------------===// 23ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar// Pragma 'pack' and 'options align' 24574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner//===----------------------------------------------------------------------===// 25574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 26574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattnernamespace { 27574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// PragmaPackStack - Simple class to wrap the stack used by #pragma 28574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// pack. 29574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner class PragmaPackStack { 30574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner typedef std::vector< std::pair<unsigned, IdentifierInfo*> > stack_ty; 31574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 32574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// Alignment - The current user specified alignment. 33574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner unsigned Alignment; 34574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 35574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// Stack - Entries in the #pragma pack stack, consisting of saved 36574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// alignments and optional names. 37574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner stack_ty Stack; 381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump public: 40574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner PragmaPackStack() : Alignment(0) {} 41574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 42574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner void setAlignment(unsigned A) { Alignment = A; } 43574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner unsigned getAlignment() { return Alignment; } 44574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 45574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// push - Push the current alignment onto the stack, optionally 46574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// using the given \arg Name for the record, if non-zero. 47574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner void push(IdentifierInfo *Name) { 48574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Stack.push_back(std::make_pair(Alignment, Name)); 49574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner } 50574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 51574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// pop - Pop a record from the stack and restore the current 52574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// alignment to the previous value. If \arg Name is non-zero then 53574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// the first such named record is popped, otherwise the top record 54574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner /// is popped. Returns true if the pop succeeded. 55574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner bool pop(IdentifierInfo *Name); 56574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner }; 57574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner} // end anonymous namespace. 58574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 59574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattnerbool PragmaPackStack::pop(IdentifierInfo *Name) { 60574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (Stack.empty()) 61574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return false; 621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 63574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner // If name is empty just pop top. 64574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (!Name) { 65574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Alignment = Stack.back().first; 66574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Stack.pop_back(); 67574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return true; 681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 70574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner // Otherwise, find the named record. 71574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner for (unsigned i = Stack.size(); i != 0; ) { 72574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner --i; 73574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (Stack[i].second == Name) { 74574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner // Found it, pop up to and including this record. 75574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Alignment = Stack[i].first; 76574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Stack.erase(Stack.begin() + i, Stack.end()); 77574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return true; 78574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner } 79574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner } 801eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 81574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return false; 82574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner} 83574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 84574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 85574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner/// FreePackedContext - Deallocate and null out PackContext. 86574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattnervoid Sema::FreePackedContext() { 87574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner delete static_cast<PragmaPackStack*>(PackContext); 88574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner PackContext = 0; 89574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner} 90574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 91574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner/// getPragmaPackAlignment() - Return the current alignment as specified by 92574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner/// the current #pragma pack directive, or 0 if none is currently active. 93574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattnerunsigned Sema::getPragmaPackAlignment() const { 94574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (PackContext) 95574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return static_cast<PragmaPackStack*>(PackContext)->getAlignment(); 96574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner return 0; 97574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner} 98574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner 99ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbarvoid Sema::ActOnPragmaOptionsAlign(PragmaOptionsAlignKind Kind, 100ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar SourceLocation PragmaLoc, 101ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar SourceLocation KindLoc) { 102ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar if (PackContext == 0) 103ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar PackContext = new PragmaPackStack(); 104ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar 105ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar PragmaPackStack *Context = static_cast<PragmaPackStack*>(PackContext); 106ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar 107ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // Reset just pops the top of the stack. 108ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar if (Kind == Action::POAK_Reset) { 109ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // Do the pop. 110ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar if (!Context->pop(0)) { 111ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // If a name was specified then failure indicates the name 112ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // wasn't found. Otherwise failure indicates the stack was 113ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // empty. 114ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar Diag(PragmaLoc, diag::warn_pragma_options_align_reset_failed) 115ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar << "stack empty"; 116ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar } 117ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar return; 118ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar } 119ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar 120ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar // We don't support #pragma options align=power. 121ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar switch (Kind) { 122ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar case POAK_Natural: 123ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar Context->push(0); 124ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar Context->setAlignment(0); 125ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar break; 126ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar 127613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar case POAK_Mac68k: 128613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar // Check if the target supports this. 129613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar if (!PP.getTargetInfo().hasAlignMac68kSupport()) { 130613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar Diag(PragmaLoc, diag::err_pragma_options_align_mac68k_target_unsupported); 131613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar return; 132613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar } else { 133613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar // Otherwise, just warn about it for now. 134613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar Diag(PragmaLoc, diag::warn_pragma_options_align_unsupported_option) 135613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar << KindLoc; 136613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar } 137613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar break; 138613fd67e575ff1c038535b18dafebca070f3ed91Daniel Dunbar 139ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar default: 140ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar Diag(PragmaLoc, diag::warn_pragma_options_align_unsupported_option) 141ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar << KindLoc; 142ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar break; 143ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar } 144ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar} 145ea75a8286fb87ce7549e08d9dcb597f91479f54dDaniel Dunbar 1461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Sema::ActOnPragmaPack(PragmaPackKind Kind, IdentifierInfo *Name, 1471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ExprTy *alignment, SourceLocation PragmaLoc, 1485a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner SourceLocation LParenLoc, SourceLocation RParenLoc) { 1495a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Expr *Alignment = static_cast<Expr *>(alignment); 1505a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 1515a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // If specified then alignment must be a "small" power of two. 1525a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner unsigned AlignmentVal = 0; 1535a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner if (Alignment) { 1545a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner llvm::APSInt Val; 1551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 15679cd11620c6f05dbf7bb706744eba354574e8b54Daniel Dunbar // pack(0) is like pack(), which just works out since that is what 15779cd11620c6f05dbf7bb706744eba354574e8b54Daniel Dunbar // we use 0 for in PackAttr. 158ac06a0e1e3feb95c2ffd352c086882b492a65b99Douglas Gregor if (Alignment->isTypeDependent() || 159ac06a0e1e3feb95c2ffd352c086882b492a65b99Douglas Gregor Alignment->isValueDependent() || 160ac06a0e1e3feb95c2ffd352c086882b492a65b99Douglas Gregor !Alignment->isIntegerConstantExpr(Val, Context) || 16179cd11620c6f05dbf7bb706744eba354574e8b54Daniel Dunbar !(Val == 0 || Val.isPowerOf2()) || 1625a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Val.getZExtValue() > 16) { 1635a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Diag(PragmaLoc, diag::warn_pragma_pack_invalid_alignment); 1645a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Alignment->Destroy(Context); 1655a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner return; // Ignore 1665a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner } 1675a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 1685a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner AlignmentVal = (unsigned) Val.getZExtValue(); 1695a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner } 1701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 171574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (PackContext == 0) 172574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner PackContext = new PragmaPackStack(); 1731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 174574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner PragmaPackStack *Context = static_cast<PragmaPackStack*>(PackContext); 1751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1765a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner switch (Kind) { 1775a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner case Action::PPK_Default: // pack([n]) 178574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Context->setAlignment(AlignmentVal); 1795a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner break; 1805a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 1815a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner case Action::PPK_Show: // pack(show) 1825a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // Show the current alignment, making sure to show the right value 1835a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // for the default. 184574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner AlignmentVal = Context->getAlignment(); 1855a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // FIXME: This should come from the target. 1865a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner if (AlignmentVal == 0) 1875a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner AlignmentVal = 8; 1885a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Diag(PragmaLoc, diag::warn_pragma_pack_show) << AlignmentVal; 1895a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner break; 1905a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 1915a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner case Action::PPK_Push: // pack(push [, id] [, [n]) 192574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Context->push(Name); 1935a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // Set the new alignment if specified. 1945a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner if (Alignment) 1951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Context->setAlignment(AlignmentVal); 1965a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner break; 1975a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 1985a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner case Action::PPK_Pop: // pack(pop [, id] [, n]) 1995a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // MSDN, C/C++ Preprocessor Reference > Pragma Directives > pack: 2005a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // "#pragma pack(pop, identifier, n) is undefined" 2015a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner if (Alignment && Name) 2021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Diag(PragmaLoc, diag::warn_pragma_pack_pop_identifer_and_alignment); 2031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2045a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // Do the pop. 205574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner if (!Context->pop(Name)) { 2065a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // If a name was specified then failure indicates the name 2075a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // wasn't found. Otherwise failure indicates the stack was 2085a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // empty. 2095a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner Diag(PragmaLoc, diag::warn_pragma_pack_pop_failed) 2105a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner << (Name ? "no record matching name" : "stack empty"); 2115a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 2125a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // FIXME: Warn about popping named records as MSVC does. 2135a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner } else { 2145a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner // Pop succeeded, set the new alignment if specified. 2155a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner if (Alignment) 216574aa40703ffb2fddad5b076cec1c2fc27f0b2d3Chris Lattner Context->setAlignment(AlignmentVal); 2175a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner } 2185a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner break; 2195a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 2205a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner default: 2215a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner assert(0 && "Invalid #pragma pack kind."); 2225a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner } 2235a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner} 2245a0c35150102f95ab270f741cdab5907c9bd9017Chris Lattner 2257a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenekvoid Sema::ActOnPragmaUnused(const Token *Identifiers, unsigned NumIdentifiers, 2267a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek Scope *curScope, 2274726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek SourceLocation PragmaLoc, 2284726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek SourceLocation LParenLoc, 2294726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek SourceLocation RParenLoc) { 2304726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek 2317a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek for (unsigned i = 0; i < NumIdentifiers; ++i) { 2327a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek const Token &Tok = Identifiers[i]; 2331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump IdentifierInfo *Name = Tok.getIdentifierInfo(); 234a24dc2e38c7fb0f7f138b3d14b5f0f241fd0eccfJohn McCall LookupResult Lookup(*this, Name, Tok.getLocation(), LookupOrdinaryName); 235a24dc2e38c7fb0f7f138b3d14b5f0f241fd0eccfJohn McCall LookupParsedName(Lookup, curScope, NULL, true); 2367a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek 2371bcee0a5a29981f8c78a8620d1c78841dbc5c348John McCall if (Lookup.empty()) { 2387a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek Diag(PragmaLoc, diag::warn_pragma_unused_undeclared_var) 2397a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek << Name << SourceRange(Tok.getLocation()); 2407a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek continue; 2414726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek } 2421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2431bcee0a5a29981f8c78a8620d1c78841dbc5c348John McCall VarDecl *VD = Lookup.getAsSingle<VarDecl>(); 2441bcee0a5a29981f8c78a8620d1c78841dbc5c348John McCall if (!VD || !VD->hasLocalStorage()) { 2457a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek Diag(PragmaLoc, diag::warn_pragma_unused_expected_localvar) 2467a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek << Name << SourceRange(Tok.getLocation()); 2477a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek continue; 2487a02a3733cdd2ca672902d869fda4ef2e3f05052Ted Kremenek } 2491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2501bcee0a5a29981f8c78a8620d1c78841dbc5c348John McCall VD->addAttr(::new (Context) UnusedAttr()); 2514726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek } 2524726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek} 253