Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- AttributeList.cpp --------------------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the AttributeList class implementation |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
John McCall | 1951085 | 2010-08-20 18:27:03 +0000 | [diff] [blame^] | 14 | #include "clang/Sema/AttributeList.h" |
Chris Lattner | 8f823d2 | 2009-04-11 18:48:18 +0000 | [diff] [blame] | 15 | #include "clang/Basic/IdentifierTable.h" |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/StringSwitch.h" |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 17 | using namespace clang; |
| 18 | |
| 19 | AttributeList::AttributeList(IdentifierInfo *aName, SourceLocation aLoc, |
Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 20 | IdentifierInfo *sName, SourceLocation sLoc, |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 21 | IdentifierInfo *pName, SourceLocation pLoc, |
Chris Lattner | 8f823d2 | 2009-04-11 18:48:18 +0000 | [diff] [blame] | 22 | ActionBase::ExprTy **ExprList, unsigned numArgs, |
Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 23 | AttributeList *n, bool declspec, bool cxx0x) |
| 24 | : AttrName(aName), AttrLoc(aLoc), ScopeName(sName), ScopeLoc(sLoc), |
| 25 | ParmName(pName), ParmLoc(pLoc), NumArgs(numArgs), Next(n), |
Abramo Bagnara | e215f72 | 2010-04-30 13:10:51 +0000 | [diff] [blame] | 26 | DeclspecAttribute(declspec), CXX0XAttribute(cxx0x), Invalid(false) { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 005b235 | 2009-02-19 06:25:12 +0000 | [diff] [blame] | 28 | if (numArgs == 0) |
| 29 | Args = 0; |
| 30 | else { |
Chris Lattner | 8f823d2 | 2009-04-11 18:48:18 +0000 | [diff] [blame] | 31 | Args = new ActionBase::ExprTy*[numArgs]; |
Chris Lattner | 005b235 | 2009-02-19 06:25:12 +0000 | [diff] [blame] | 32 | memcpy(Args, ExprList, numArgs*sizeof(Args[0])); |
| 33 | } |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 34 | } |
Chris Lattner | 2335191 | 2008-02-20 23:14:47 +0000 | [diff] [blame] | 35 | |
| 36 | AttributeList::~AttributeList() { |
| 37 | if (Args) { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 38 | // FIXME: before we delete the vector, we need to make sure the Expr's |
Chris Lattner | 8f823d2 | 2009-04-11 18:48:18 +0000 | [diff] [blame] | 39 | // have been deleted. Since ActionBase::ExprTy is "void", we are dependent |
Chris Lattner | 2335191 | 2008-02-20 23:14:47 +0000 | [diff] [blame] | 40 | // on the actions module for actually freeing the memory. The specific |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 41 | // hooks are ActOnDeclarator, ActOnTypeName, ActOnParamDeclaratorType, |
| 42 | // ParseField, ParseTag. Once these routines have freed the expression, |
| 43 | // they should zero out the Args slot (to indicate the memory has been |
Chris Lattner | 2335191 | 2008-02-20 23:14:47 +0000 | [diff] [blame] | 44 | // freed). If any element of the vector is non-null, we should assert. |
| 45 | delete [] Args; |
| 46 | } |
| 47 | delete Next; |
| 48 | } |
| 49 | |
| 50 | AttributeList::Kind AttributeList::getKind(const IdentifierInfo *Name) { |
Daniel Dunbar | 01eb9b9 | 2009-10-18 21:17:35 +0000 | [diff] [blame] | 51 | llvm::StringRef AttrName = Name->getName(); |
Chris Lattner | 2335191 | 2008-02-20 23:14:47 +0000 | [diff] [blame] | 52 | |
| 53 | // Normalize the attribute name, __foo__ becomes foo. |
Daniel Dunbar | 4f90d8d | 2009-10-17 18:12:29 +0000 | [diff] [blame] | 54 | if (AttrName.startswith("__") && AttrName.endswith("__")) |
| 55 | AttrName = AttrName.substr(2, AttrName.size() - 4); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 56 | |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 57 | return llvm::StringSwitch<AttributeList::Kind>(AttrName) |
| 58 | .Case("weak", AT_weak) |
Rafael Espindola | 11e8ce7 | 2010-02-23 22:00:30 +0000 | [diff] [blame] | 59 | .Case("weakref", AT_weakref) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 60 | .Case("pure", AT_pure) |
| 61 | .Case("mode", AT_mode) |
| 62 | .Case("used", AT_used) |
| 63 | .Case("alias", AT_alias) |
Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 64 | .Case("align", AT_aligned) |
| 65 | .Case("final", AT_final) |
Eli Friedman | 8f4c59e | 2009-11-09 18:38:53 +0000 | [diff] [blame] | 66 | .Case("cdecl", AT_cdecl) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 67 | .Case("const", AT_const) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 68 | .Case("blocks", AT_blocks) |
Sean Hunt | 7725e67 | 2009-11-25 04:20:27 +0000 | [diff] [blame] | 69 | .Case("format", AT_format) |
| 70 | .Case("hiding", AT_hiding) |
| 71 | .Case("malloc", AT_malloc) |
| 72 | .Case("packed", AT_packed) |
| 73 | .Case("unused", AT_unused) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 74 | .Case("aligned", AT_aligned) |
| 75 | .Case("cleanup", AT_cleanup) |
| 76 | .Case("nodebug", AT_nodebug) |
| 77 | .Case("nonnull", AT_nonnull) |
| 78 | .Case("nothrow", AT_nothrow) |
| 79 | .Case("objc_gc", AT_objc_gc) |
| 80 | .Case("regparm", AT_regparm) |
| 81 | .Case("section", AT_section) |
| 82 | .Case("stdcall", AT_stdcall) |
| 83 | .Case("annotate", AT_annotate) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 84 | .Case("fastcall", AT_fastcall) |
Ted Kremenek | efbddd2 | 2010-02-17 02:37:45 +0000 | [diff] [blame] | 85 | .Case("ibaction", AT_IBAction) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 86 | .Case("iboutlet", AT_IBOutlet) |
Ted Kremenek | 857e918 | 2010-05-19 17:38:06 +0000 | [diff] [blame] | 87 | .Case("iboutletcollection", AT_IBOutletCollection) |
Sean Hunt | 7725e67 | 2009-11-25 04:20:27 +0000 | [diff] [blame] | 88 | .Case("noreturn", AT_noreturn) |
| 89 | .Case("noinline", AT_noinline) |
| 90 | .Case("override", AT_override) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 91 | .Case("sentinel", AT_sentinel) |
| 92 | .Case("NSObject", AT_nsobject) |
| 93 | .Case("dllimport", AT_dllimport) |
| 94 | .Case("dllexport", AT_dllexport) |
| 95 | .Case("may_alias", IgnoredAttribute) // FIXME: TBAA |
Sean Hunt | 7725e67 | 2009-11-25 04:20:27 +0000 | [diff] [blame] | 96 | .Case("base_check", AT_base_check) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 97 | .Case("deprecated", AT_deprecated) |
| 98 | .Case("visibility", AT_visibility) |
| 99 | .Case("destructor", AT_destructor) |
| 100 | .Case("format_arg", AT_format_arg) |
| 101 | .Case("gnu_inline", AT_gnu_inline) |
| 102 | .Case("weak_import", AT_weak_import) |
John Thompson | 35cc962 | 2010-08-09 21:53:52 +0000 | [diff] [blame] | 103 | .Case("vecreturn", AT_vecreturn) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 104 | .Case("vector_size", AT_vector_size) |
| 105 | .Case("constructor", AT_constructor) |
| 106 | .Case("unavailable", AT_unavailable) |
| 107 | .Case("overloadable", AT_overloadable) |
| 108 | .Case("address_space", AT_address_space) |
| 109 | .Case("always_inline", AT_always_inline) |
Chris Lattner | 9f6c772 | 2010-04-12 02:18:49 +0000 | [diff] [blame] | 110 | .Case("returns_twice", IgnoredAttribute) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 111 | .Case("vec_type_hint", IgnoredAttribute) |
| 112 | .Case("objc_exception", AT_objc_exception) |
| 113 | .Case("ext_vector_type", AT_ext_vector_type) |
| 114 | .Case("transparent_union", AT_transparent_union) |
| 115 | .Case("analyzer_noreturn", AT_analyzer_noreturn) |
| 116 | .Case("warn_unused_result", AT_warn_unused_result) |
Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 117 | .Case("carries_dependency", AT_carries_dependency) |
Ted Kremenek | 31c780d | 2010-02-18 00:05:45 +0000 | [diff] [blame] | 118 | .Case("ns_returns_not_retained", AT_ns_returns_not_retained) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 119 | .Case("ns_returns_retained", AT_ns_returns_retained) |
Ted Kremenek | 31c780d | 2010-02-18 00:05:45 +0000 | [diff] [blame] | 120 | .Case("cf_returns_not_retained", AT_cf_returns_not_retained) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 121 | .Case("cf_returns_retained", AT_cf_returns_retained) |
Ted Kremenek | dd0e490 | 2010-07-31 01:52:11 +0000 | [diff] [blame] | 122 | .Case("ownership_returns", AT_ownership_returns) |
| 123 | .Case("ownership_holds", AT_ownership_holds) |
| 124 | .Case("ownership_takes", AT_ownership_takes) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 125 | .Case("reqd_work_group_size", AT_reqd_wg_size) |
Fariborz Jahanian | 521f12d | 2010-06-18 21:44:06 +0000 | [diff] [blame] | 126 | .Case("init_priority", AT_init_priority) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 127 | .Case("no_instrument_function", AT_no_instrument_function) |
Douglas Gregor | f813a2c | 2010-05-18 16:57:00 +0000 | [diff] [blame] | 128 | .Case("thiscall", AT_thiscall) |
| 129 | .Case("__cdecl", AT_cdecl) |
| 130 | .Case("__stdcall", AT_stdcall) |
| 131 | .Case("__fastcall", AT_fastcall) |
| 132 | .Case("__thiscall", AT_thiscall) |
Douglas Gregor | fc3bb49 | 2009-10-29 05:26:58 +0000 | [diff] [blame] | 133 | .Default(UnknownAttribute); |
Chris Lattner | 2335191 | 2008-02-20 23:14:47 +0000 | [diff] [blame] | 134 | } |