blob: ee23c0038ac088ea8a141d4add3c94c8cbf0e9c9 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- MinimalAction.cpp - Implement the MinimalAction class ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the MinimalAction interface.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
15#include "clang/Parse/DeclSpec.h"
16#include "clang/Parse/Scope.h"
Chris Lattnerace65072009-05-01 16:33:20 +000017#include "clang/Basic/TargetInfo.h"
Chris Lattnere1ae1e92009-01-18 09:39:41 +000018#include "llvm/Support/Allocator.h"
19#include "llvm/Support/RecyclingAllocator.h"
Chris Lattner21ff9c92009-03-05 01:25:28 +000020#include "llvm/Support/raw_ostream.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000021using namespace clang;
22
Sebastian Redlf53597f2009-03-15 17:47:39 +000023/// Out-of-line virtual destructor to provide home for ActionBase class.
Chris Lattner0102c302009-03-05 07:24:28 +000024ActionBase::~ActionBase() {}
25
26/// Out-of-line virtual destructor to provide home for Action class.
27Action::~Action() {}
28
29// Defined out-of-line here because of dependecy on AttributeList
Chris Lattnerb28317a2009-03-28 19:18:32 +000030Action::DeclPtrTy Action::ActOnUsingDirective(Scope *CurScope,
31 SourceLocation UsingLoc,
32 SourceLocation NamespcLoc,
33 const CXXScopeSpec &SS,
34 SourceLocation IdentLoc,
35 IdentifierInfo *NamespcName,
36 AttributeList *AttrList) {
Chris Lattner0102c302009-03-05 07:24:28 +000037
38 // FIXME: Parser seems to assume that Action::ActOn* takes ownership over
39 // passed AttributeList, however other actions don't free it, is it
40 // temporary state or bug?
41 delete AttrList;
Chris Lattnerb28317a2009-03-28 19:18:32 +000042 return DeclPtrTy();
Chris Lattner0102c302009-03-05 07:24:28 +000043}
44
Douglas Gregor9cfbe482009-06-20 00:51:54 +000045// Defined out-of-line here because of dependecy on AttributeList
46Action::DeclPtrTy Action::ActOnUsingDeclaration(Scope *CurScope,
Anders Carlsson595adc12009-08-29 19:54:19 +000047 AccessSpecifier AS,
48 SourceLocation UsingLoc,
49 const CXXScopeSpec &SS,
50 SourceLocation IdentLoc,
51 IdentifierInfo *TargetName,
52 OverloadedOperatorKind Op,
53 AttributeList *AttrList,
54 bool IsTypeName) {
Douglas Gregor9cfbe482009-06-20 00:51:54 +000055
56 // FIXME: Parser seems to assume that Action::ActOn* takes ownership over
57 // passed AttributeList, however other actions don't free it, is it
58 // temporary state or bug?
59 delete AttrList;
60 return DeclPtrTy();
61}
62
Chris Lattner0102c302009-03-05 07:24:28 +000063
Chris Lattner49f28ca2009-03-05 08:00:35 +000064void PrettyStackTraceActionsDecl::print(llvm::raw_ostream &OS) const {
Chris Lattner21ff9c92009-03-05 01:25:28 +000065 if (Loc.isValid()) {
66 Loc.print(OS, SM);
67 OS << ": ";
68 }
69 OS << Message;
70
71 std::string Name = Actions.getDeclName(TheDecl);
72 if (!Name.empty())
73 OS << " '" << Name << '\'';
74
75 OS << '\n';
76}
77
Reid Spencer5f016e22007-07-11 17:01:13 +000078/// TypeNameInfo - A link exists here for each scope that an identifier is
79/// defined.
Chris Lattnere1ae1e92009-01-18 09:39:41 +000080namespace {
81 struct TypeNameInfo {
82 TypeNameInfo *Prev;
83 bool isTypeName;
84
85 TypeNameInfo(bool istypename, TypeNameInfo *prev) {
86 isTypeName = istypename;
87 Prev = prev;
88 }
89 };
90
91 struct TypeNameInfoTable {
92 llvm::RecyclingAllocator<llvm::BumpPtrAllocator, TypeNameInfo> Allocator;
93
94 void AddEntry(bool isTypename, IdentifierInfo *II) {
95 TypeNameInfo *TI = Allocator.Allocate<TypeNameInfo>();
Chris Lattnerf26d5102009-03-24 17:05:27 +000096 new (TI) TypeNameInfo(isTypename, II->getFETokenInfo<TypeNameInfo>());
Chris Lattnere1ae1e92009-01-18 09:39:41 +000097 II->setFETokenInfo(TI);
98 }
99
100 void DeleteEntry(TypeNameInfo *Entry) {
101 Entry->~TypeNameInfo();
102 Allocator.Deallocate(Entry);
103 }
104 };
105}
106
107static TypeNameInfoTable *getTable(void *TP) {
108 return static_cast<TypeNameInfoTable*>(TP);
109}
Reid Spencer5f016e22007-07-11 17:01:13 +0000110
Daniel Dunbare10b0f22008-10-31 08:56:51 +0000111MinimalAction::MinimalAction(Preprocessor &pp)
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000112 : Idents(pp.getIdentifierTable()), PP(pp) {
113 TypeNameInfoTablePtr = new TypeNameInfoTable();
114}
115
116MinimalAction::~MinimalAction() {
117 delete getTable(TypeNameInfoTablePtr);
118}
Daniel Dunbare10b0f22008-10-31 08:56:51 +0000119
120void MinimalAction::ActOnTranslationUnitScope(SourceLocation Loc, Scope *S) {
Steve Naroff8ee529b2007-10-31 18:42:27 +0000121 TUScope = S;
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000122
123 TypeNameInfoTable &TNIT = *getTable(TypeNameInfoTablePtr);
Chris Lattnerace65072009-05-01 16:33:20 +0000124
125 if (PP.getTargetInfo().getPointerWidth(0) >= 64) {
126 // Install [u]int128_t for 64-bit targets.
127 TNIT.AddEntry(true, &Idents.get("__int128_t"));
128 TNIT.AddEntry(true, &Idents.get("__uint128_t"));
129 }
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000130
Chris Lattnerace65072009-05-01 16:33:20 +0000131 if (PP.getLangOptions().ObjC1) {
132 // Recognize the ObjC built-in type identifiers as types.
133 TNIT.AddEntry(true, &Idents.get("id"));
134 TNIT.AddEntry(true, &Idents.get("SEL"));
135 TNIT.AddEntry(true, &Idents.get("Class"));
136 TNIT.AddEntry(true, &Idents.get("Protocol"));
137 }
Steve Naroff8ee529b2007-10-31 18:42:27 +0000138}
139
Reid Spencer5f016e22007-07-11 17:01:13 +0000140/// isTypeName - This looks at the IdentifierInfo::FETokenInfo field to
141/// determine whether the name is a type name (objc class name or typedef) or
142/// not in this scope.
Argyrios Kyrtzidiseb83ecd2008-11-08 16:45:02 +0000143///
144/// FIXME: Use the passed CXXScopeSpec for accurate C++ type checking.
Argyrios Kyrtzidis39caa082008-08-01 10:35:27 +0000145Action::TypeTy *
Douglas Gregorb696ea32009-02-04 17:00:24 +0000146MinimalAction::getTypeName(IdentifierInfo &II, SourceLocation Loc,
Douglas Gregor42c39f32009-08-26 18:27:52 +0000147 Scope *S, const CXXScopeSpec *SS,
148 bool isClassName) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000149 if (TypeNameInfo *TI = II.getFETokenInfo<TypeNameInfo>())
150 if (TI->isTypeName)
151 return TI;
152 return 0;
153}
154
Douglas Gregorb48fe382008-10-31 09:07:45 +0000155/// isCurrentClassName - Always returns false, because MinimalAction
156/// does not support C++ classes with constructors.
Argyrios Kyrtzidiseb83ecd2008-11-08 16:45:02 +0000157bool MinimalAction::isCurrentClassName(const IdentifierInfo &, Scope *,
158 const CXXScopeSpec *) {
Douglas Gregorb48fe382008-10-31 09:07:45 +0000159 return false;
160}
161
Douglas Gregor39a8de12009-02-25 19:37:18 +0000162TemplateNameKind
Douglas Gregorc45c2322009-03-31 00:43:58 +0000163MinimalAction::isTemplateName(const IdentifierInfo &II, Scope *S,
Douglas Gregor495c35d2009-08-25 22:51:20 +0000164 const CXXScopeSpec *SS,
165 bool EnteringScope,
166 TemplateTy &TemplateDecl) {
Douglas Gregor55f6b142009-02-09 18:46:07 +0000167 return TNK_Non_template;
Douglas Gregord6fb7ef2008-12-18 19:37:40 +0000168}
169
Steve Naroff08d92e42007-09-15 18:49:24 +0000170/// ActOnDeclarator - If this is a typedef declarator, we modify the
Reid Spencer5f016e22007-07-11 17:01:13 +0000171/// IdentifierInfo::FETokenInfo field to keep track of this fact, until S is
172/// popped.
Chris Lattnerb28317a2009-03-28 19:18:32 +0000173Action::DeclPtrTy
Chris Lattner682bf922009-03-29 16:50:03 +0000174MinimalAction::ActOnDeclarator(Scope *S, Declarator &D) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000175 IdentifierInfo *II = D.getIdentifier();
176
177 // If there is no identifier associated with this declarator, bail out.
Chris Lattnerb28317a2009-03-28 19:18:32 +0000178 if (II == 0) return DeclPtrTy();
Reid Spencer5f016e22007-07-11 17:01:13 +0000179
180 TypeNameInfo *weCurrentlyHaveTypeInfo = II->getFETokenInfo<TypeNameInfo>();
181 bool isTypeName =
182 D.getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_typedef;
183
184 // this check avoids creating TypeNameInfo objects for the common case.
Ted Kremeneka34ea072008-08-04 22:51:42 +0000185 // It does need to handle the uncommon case of shadowing a typedef name with a
Reid Spencer5f016e22007-07-11 17:01:13 +0000186 // non-typedef name. e.g. { typedef int a; a xx; { int a; } }
187 if (weCurrentlyHaveTypeInfo || isTypeName) {
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000188 // Allocate and add the 'TypeNameInfo' "decl".
189 getTable(TypeNameInfoTablePtr)->AddEntry(isTypeName, II);
Reid Spencer5f016e22007-07-11 17:01:13 +0000190
191 // Remember that this needs to be removed when the scope is popped.
Chris Lattnerb28317a2009-03-28 19:18:32 +0000192 S->AddDecl(DeclPtrTy::make(II));
Reid Spencer5f016e22007-07-11 17:01:13 +0000193 }
Chris Lattnerb28317a2009-03-28 19:18:32 +0000194 return DeclPtrTy();
Reid Spencer5f016e22007-07-11 17:01:13 +0000195}
196
Chris Lattnerb28317a2009-03-28 19:18:32 +0000197Action::DeclPtrTy
Chris Lattnercfb0ef52008-07-21 07:13:18 +0000198MinimalAction::ActOnStartClassInterface(SourceLocation AtInterfaceLoc,
Chris Lattner06036d32008-07-26 04:13:19 +0000199 IdentifierInfo *ClassName,
200 SourceLocation ClassLoc,
201 IdentifierInfo *SuperName,
202 SourceLocation SuperLoc,
Chris Lattnerb28317a2009-03-28 19:18:32 +0000203 const DeclPtrTy *ProtoRefs,
Chris Lattner06036d32008-07-26 04:13:19 +0000204 unsigned NumProtocols,
205 SourceLocation EndProtoLoc,
206 AttributeList *AttrList) {
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000207 // Allocate and add the 'TypeNameInfo' "decl".
208 getTable(TypeNameInfoTablePtr)->AddEntry(true, ClassName);
Chris Lattnerb28317a2009-03-28 19:18:32 +0000209 return DeclPtrTy();
Steve Naroff3536b442007-09-06 21:24:23 +0000210}
211
Steve Naroff37e58d12007-10-02 22:39:18 +0000212/// ActOnForwardClassDeclaration -
Reid Spencer5f016e22007-07-11 17:01:13 +0000213/// Scope will always be top level file scope.
Chris Lattnerb28317a2009-03-28 19:18:32 +0000214Action::DeclPtrTy
Steve Naroffe440eb82007-10-10 17:32:04 +0000215MinimalAction::ActOnForwardClassDeclaration(SourceLocation AtClassLoc,
Steve Naroff3536b442007-09-06 21:24:23 +0000216 IdentifierInfo **IdentList, unsigned NumElts) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000217 for (unsigned i = 0; i != NumElts; ++i) {
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000218 // Allocate and add the 'TypeNameInfo' "decl".
219 getTable(TypeNameInfoTablePtr)->AddEntry(true, IdentList[i]);
Reid Spencer5f016e22007-07-11 17:01:13 +0000220
221 // Remember that this needs to be removed when the scope is popped.
Chris Lattnerb28317a2009-03-28 19:18:32 +0000222 TUScope->AddDecl(DeclPtrTy::make(IdentList[i]));
Reid Spencer5f016e22007-07-11 17:01:13 +0000223 }
Chris Lattnerb28317a2009-03-28 19:18:32 +0000224 return DeclPtrTy();
Reid Spencer5f016e22007-07-11 17:01:13 +0000225}
226
Ted Kremeneka34ea072008-08-04 22:51:42 +0000227/// ActOnPopScope - When a scope is popped, if any typedefs are now
228/// out-of-scope, they are removed from the IdentifierInfo::FETokenInfo field.
Steve Naroff640db422007-10-10 17:45:44 +0000229void MinimalAction::ActOnPopScope(SourceLocation Loc, Scope *S) {
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000230 TypeNameInfoTable &Table = *getTable(TypeNameInfoTablePtr);
231
Reid Spencer5f016e22007-07-11 17:01:13 +0000232 for (Scope::decl_iterator I = S->decl_begin(), E = S->decl_end();
233 I != E; ++I) {
Chris Lattnerb28317a2009-03-28 19:18:32 +0000234 IdentifierInfo &II = *(*I).getAs<IdentifierInfo>();
Reid Spencer5f016e22007-07-11 17:01:13 +0000235 TypeNameInfo *TI = II.getFETokenInfo<TypeNameInfo>();
236 assert(TI && "This decl didn't get pushed??");
237
238 if (TI) {
239 TypeNameInfo *Next = TI->Prev;
Chris Lattnere1ae1e92009-01-18 09:39:41 +0000240 Table.DeleteEntry(TI);
Reid Spencer5f016e22007-07-11 17:01:13 +0000241
242 II.setFETokenInfo(Next);
243 }
244 }
245}