blob: 348f83b7a23af1b4c494d6dca14d13559f4de6f3 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- Sema.h - Semantic Analysis & AST Building --------------*- C++ -*-===//
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 defines the Sema class, which performs semantic analysis and
11// builds ASTs.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_CLANG_AST_SEMA_H
16#define LLVM_CLANG_AST_SEMA_H
17
18#include "clang/Parse/Action.h"
Steve Naroff66499922007-11-12 03:44:46 +000019#include "clang/Parse/DeclSpec.h"
Anders Carlssonc1fcb772007-07-22 07:07:56 +000020#include "llvm/ADT/SmallVector.h"
Fariborz Jahanian85ff2642007-10-05 18:00:57 +000021#include "llvm/ADT/DenseSet.h"
Chris Lattnerf3876682007-10-07 01:13:46 +000022#include "llvm/ADT/SmallPtrSet.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000023#include <vector>
24#include <string>
25
Chris Lattnerf4021e72007-08-23 05:46:52 +000026namespace llvm {
27 class APSInt;
28}
29
Reid Spencer5f016e22007-07-11 17:01:13 +000030namespace clang {
31 class ASTContext;
Chris Lattner2ae34ed2008-02-06 00:46:58 +000032 class ASTConsumer;
Reid Spencer5f016e22007-07-11 17:01:13 +000033 class Preprocessor;
34 class Decl;
Steve Naroffc752d042007-09-13 18:10:37 +000035 class ScopedDecl;
Reid Spencer5f016e22007-07-11 17:01:13 +000036 class Expr;
Steve Naroff6f9f3072007-09-02 15:34:30 +000037 class InitListExpr;
Chris Lattner925e60d2007-12-28 05:29:59 +000038 class CallExpr;
Reid Spencer5f016e22007-07-11 17:01:13 +000039 class VarDecl;
40 class ParmVarDecl;
41 class TypedefDecl;
42 class FunctionDecl;
43 class QualType;
Chris Lattner701e5eb2007-09-04 02:45:27 +000044 struct LangOptions;
Chris Lattnerd2177732007-07-20 16:59:19 +000045 class Token;
Reid Spencer5f016e22007-07-11 17:01:13 +000046 class IntegerLiteral;
Steve Naroffa49e1fa2008-01-22 00:55:40 +000047 class StringLiteral;
Reid Spencer5f016e22007-07-11 17:01:13 +000048 class ArrayType;
49 class LabelStmt;
Anders Carlssonc1fcb772007-07-22 07:07:56 +000050 class SwitchStmt;
Steve Naroffe1b31fe2007-07-27 22:15:19 +000051 class OCUVectorType;
Steve Naroffbea0b342007-07-29 16:33:31 +000052 class TypedefDecl;
Ted Kremeneka526c5c2008-01-07 19:49:32 +000053 class ObjCInterfaceDecl;
54 class ObjCProtocolDecl;
55 class ObjCImplementationDecl;
56 class ObjCCategoryImplDecl;
57 class ObjCCategoryDecl;
58 class ObjCIvarDecl;
59 class ObjCMethodDecl;
Steve Naroffbea0b342007-07-29 16:33:31 +000060
Reid Spencer5f016e22007-07-11 17:01:13 +000061/// Sema - This implements semantic analysis and AST building for C.
62class Sema : public Action {
63 Preprocessor &PP;
Reid Spencer5f016e22007-07-11 17:01:13 +000064 ASTContext &Context;
Chris Lattner2ae34ed2008-02-06 00:46:58 +000065 ASTConsumer &Consumer;
Reid Spencer5f016e22007-07-11 17:01:13 +000066
67 /// CurFunctionDecl - If inside of a function body, this contains a pointer to
68 /// the function decl for the function being parsed.
69 FunctionDecl *CurFunctionDecl;
Steve Naroff03300712007-11-12 13:56:41 +000070
71 /// CurMethodDecl - If inside of a method body, this contains a pointer to
72 /// the method decl for the method being parsed.
Ted Kremeneka526c5c2008-01-07 19:49:32 +000073 ObjCMethodDecl *CurMethodDecl;
Reid Spencer5f016e22007-07-11 17:01:13 +000074
Reid Spencer5f016e22007-07-11 17:01:13 +000075 /// LabelMap - This is a mapping from label identifiers to the LabelStmt for
76 /// it (which acts like the label decl in some ways). Forward referenced
77 /// labels have a LabelStmt created for them with a null location & SubStmt.
78 llvm::DenseMap<IdentifierInfo*, LabelStmt*> LabelMap;
Anders Carlssonc1fcb772007-07-22 07:07:56 +000079
80 llvm::SmallVector<SwitchStmt*, 8> SwitchStack;
Steve Naroffbea0b342007-07-29 16:33:31 +000081
82 /// OCUVectorDecls - This is a list all the OCU vector types. This allows
83 /// us to associate a raw vector type with one of the OCU type names.
84 /// This is only necessary for issuing pretty diagnostics.
85 llvm::SmallVector<TypedefDecl*, 24> OCUVectorDecls;
Chris Lattner59907c42007-08-10 20:18:51 +000086
Ted Kremeneka526c5c2008-01-07 19:49:32 +000087 /// ObjCImplementations - Keep track of all of the classes with
Chris Lattnerf3876682007-10-07 01:13:46 +000088 /// @implementation's, so that we can emit errors on duplicates.
Ted Kremeneka526c5c2008-01-07 19:49:32 +000089 llvm::DenseMap<IdentifierInfo*, ObjCImplementationDecl*> ObjCImplementations;
Chris Lattnerf3876682007-10-07 01:13:46 +000090
Ted Kremeneka526c5c2008-01-07 19:49:32 +000091 /// ObjCProtocols - Keep track of all protocol declarations declared
Fariborz Jahanian05672a02007-10-09 18:03:53 +000092 /// with @protocol keyword, so that we can emit errors on duplicates and
Chris Lattner4de884d2007-10-09 18:18:24 +000093 /// find the declarations when needed.
Ted Kremeneka526c5c2008-01-07 19:49:32 +000094 llvm::DenseMap<IdentifierInfo*, ObjCProtocolDecl*> ObjCProtocols;
Fariborz Jahanian05672a02007-10-09 18:03:53 +000095
Chris Lattner59907c42007-08-10 20:18:51 +000096 // Enum values used by KnownFunctionIDs (see below).
97 enum {
98 id_printf,
99 id_fprintf,
100 id_sprintf,
101 id_snprintf,
Chris Lattner59907c42007-08-10 20:18:51 +0000102 id_asprintf,
Ted Kremeneke0eb80a2007-08-10 21:13:51 +0000103 id_vsnprintf,
Chris Lattner59907c42007-08-10 20:18:51 +0000104 id_vasprintf,
105 id_vfprintf,
106 id_vsprintf,
107 id_vprintf,
108 id_num_known_functions
109 };
110
111 /// KnownFunctionIDs - This is a list of IdentifierInfo objects to a set
112 /// of known functions used by the semantic analysis to do various
113 /// kinds of checking (e.g. checking format string errors in printf calls).
114 /// This list is populated upon the creation of a Sema object.
115 IdentifierInfo* KnownFunctionIDs[ id_num_known_functions ];
116
Steve Naroffe440eb82007-10-10 17:32:04 +0000117 /// Translation Unit Scope - useful to Objective-C actions that need
118 /// to lookup file scope declarations in the "ordinary" C decl namespace.
119 /// For example, user-defined classes, built-in "id" type, etc.
Steve Naroffb216c882007-10-09 22:01:59 +0000120 Scope *TUScope;
Steve Naroff3b950172007-10-10 21:53:07 +0000121
Steve Naroff58ff9e82007-10-14 00:58:41 +0000122 /// ObjCMethodList - a linked list of methods with different signatures.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000123 struct ObjCMethodList {
124 ObjCMethodDecl *Method;
125 ObjCMethodList *Next;
Steve Naroff58ff9e82007-10-14 00:58:41 +0000126
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000127 ObjCMethodList() {
Steve Naroff58ff9e82007-10-14 00:58:41 +0000128 Method = 0;
129 Next = 0;
130 }
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000131 ObjCMethodList(ObjCMethodDecl *M, ObjCMethodList *C) {
Steve Naroff58ff9e82007-10-14 00:58:41 +0000132 Method = M;
133 Next = C;
134 }
135 };
136 /// Instance/Factory Method Pools - allows efficient lookup when typechecking
137 /// messages to "id". We need to maintain a list, since selectors can have
138 /// differing signatures across classes. In Cocoa, this happens to be
139 /// extremely uncommon (only 1% of selectors are "overloaded").
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000140 llvm::DenseMap<Selector, ObjCMethodList> InstanceMethodPool;
141 llvm::DenseMap<Selector, ObjCMethodList> FactoryMethodPool;
Reid Spencer5f016e22007-07-11 17:01:13 +0000142public:
Chris Lattner2ae34ed2008-02-06 00:46:58 +0000143 Sema(Preprocessor &pp, ASTContext &ctxt, ASTConsumer &consumer);
Reid Spencer5f016e22007-07-11 17:01:13 +0000144
145 const LangOptions &getLangOptions() const;
146
147 /// The primitive diagnostic helpers - always returns true, which simplifies
148 /// error handling (i.e. less code).
149 bool Diag(SourceLocation Loc, unsigned DiagID);
150 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg);
151 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg1,
152 const std::string &Msg2);
153
154 /// More expressive diagnostic helpers for expressions (say that 6 times:-)
155 bool Diag(SourceLocation Loc, unsigned DiagID, SourceRange R1);
156 bool Diag(SourceLocation Loc, unsigned DiagID,
157 SourceRange R1, SourceRange R2);
158 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg,
159 SourceRange R1);
160 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg,
161 SourceRange R1, SourceRange R2);
162 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg1,
163 const std::string &Msg2, SourceRange R1);
Chris Lattner4667ac32008-01-03 23:38:43 +0000164 bool Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg1,
165 const std::string &Msg2, const std::string &Msg3, SourceRange R1);
Reid Spencer5f016e22007-07-11 17:01:13 +0000166 bool Diag(SourceLocation Loc, unsigned DiagID,
167 const std::string &Msg1, const std::string &Msg2,
168 SourceRange R1, SourceRange R2);
Fariborz Jahanian9d048ff2007-09-29 00:54:24 +0000169
Chris Lattner394a3fd2007-08-31 04:53:24 +0000170 virtual void DeleteExpr(ExprTy *E);
171 virtual void DeleteStmt(StmtTy *S);
172
Reid Spencer5f016e22007-07-11 17:01:13 +0000173 //===--------------------------------------------------------------------===//
174 // Type Analysis / Processing: SemaType.cpp.
175 //
176 QualType GetTypeForDeclarator(Declarator &D, Scope *S);
177
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000178 QualType ObjCGetTypeForMethodDefinition(DeclTy *D);
Fariborz Jahanian306d68f2007-11-08 23:49:49 +0000179
180
Steve Naroff08d92e42007-09-15 18:49:24 +0000181 virtual TypeResult ActOnTypeName(Scope *S, Declarator &D);
Reid Spencer5f016e22007-07-11 17:01:13 +0000182
Steve Naroff08d92e42007-09-15 18:49:24 +0000183 virtual TypeResult ActOnParamDeclaratorType(Scope *S, Declarator &D);
Reid Spencer5f016e22007-07-11 17:01:13 +0000184private:
185 //===--------------------------------------------------------------------===//
186 // Symbol table / Decl tracking callbacks: SemaDecl.cpp.
187 //
188 virtual DeclTy *isTypeName(const IdentifierInfo &II, Scope *S) const;
Steve Naroff08d92e42007-09-15 18:49:24 +0000189 virtual DeclTy *ActOnDeclarator(Scope *S, Declarator &D, DeclTy *LastInGroup);
Steve Naroffbb204692007-09-12 14:07:44 +0000190 void AddInitializerToDecl(DeclTy *dcl, ExprTy *init);
Reid Spencer5f016e22007-07-11 17:01:13 +0000191 virtual DeclTy *FinalizeDeclaratorGroup(Scope *S, DeclTy *Group);
192
Chris Lattnerb652cea2007-10-09 17:14:05 +0000193 virtual DeclTy *ActOnStartOfFunctionDef(Scope *S, Declarator &D);
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000194 virtual void ObjCActOnStartOfMethodDef(Scope *S, DeclTy *D);
Steve Naroffd6d054d2007-11-11 23:20:51 +0000195
196 virtual DeclTy *ActOnFinishFunctionBody(DeclTy *Decl, StmtTy *Body);
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000197 virtual DeclTy *ActOnLinkageSpec(SourceLocation Loc, SourceLocation LBrace,
198 SourceLocation RBrace, const char *Lang,
199 unsigned StrSize, DeclTy *D);
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000200 virtual DeclTy *ActOnFileScopeAsmDecl(SourceLocation Loc, ExprTy *expr);
201
Steve Naroffb216c882007-10-09 22:01:59 +0000202 /// Scope actions.
203 virtual void ActOnPopScope(SourceLocation Loc, Scope *S);
204 virtual void ActOnTranslationUnitScope(SourceLocation Loc, Scope *S);
Reid Spencer5f016e22007-07-11 17:01:13 +0000205
206 /// ParsedFreeStandingDeclSpec - This method is invoked when a declspec with
207 /// no declarator (e.g. "struct foo;") is parsed.
208 virtual DeclTy *ParsedFreeStandingDeclSpec(Scope *S, DeclSpec &DS);
209
Steve Naroff08d92e42007-09-15 18:49:24 +0000210 virtual DeclTy *ActOnTag(Scope *S, unsigned TagType, TagKind TK,
Reid Spencer5f016e22007-07-11 17:01:13 +0000211 SourceLocation KWLoc, IdentifierInfo *Name,
212 SourceLocation NameLoc, AttributeList *Attr);
Steve Naroff08d92e42007-09-15 18:49:24 +0000213 virtual DeclTy *ActOnField(Scope *S, DeclTy *TagDecl,SourceLocation DeclStart,
Reid Spencer5f016e22007-07-11 17:01:13 +0000214 Declarator &D, ExprTy *BitfieldWidth);
Steve Narofff13271f2007-09-14 23:09:53 +0000215
216 // This is used for both record definitions and ObjC interface declarations.
Fariborz Jahanian9d048ff2007-09-29 00:54:24 +0000217 virtual void ActOnFields(Scope* S,
Steve Naroff60fccee2007-10-29 21:38:07 +0000218 SourceLocation RecLoc, DeclTy *TagDecl,
219 DeclTy **Fields, unsigned NumFields,
220 SourceLocation LBrac, SourceLocation RBrac,
221 tok::ObjCKeywordKind *visibility = 0);
Steve Naroff08d92e42007-09-15 18:49:24 +0000222 virtual DeclTy *ActOnEnumConstant(Scope *S, DeclTy *EnumDecl,
Reid Spencer5f016e22007-07-11 17:01:13 +0000223 DeclTy *LastEnumConstant,
224 SourceLocation IdLoc, IdentifierInfo *Id,
225 SourceLocation EqualLoc, ExprTy *Val);
Steve Naroff08d92e42007-09-15 18:49:24 +0000226 virtual void ActOnEnumBody(SourceLocation EnumLoc, DeclTy *EnumDecl,
Reid Spencer5f016e22007-07-11 17:01:13 +0000227 DeclTy **Elements, unsigned NumElements);
228private:
Steve Naroff08d92e42007-09-15 18:49:24 +0000229 /// Subroutines of ActOnDeclarator()...
Chris Lattner41af0932007-11-14 06:34:38 +0000230 TypedefDecl *ParseTypedefDecl(Scope *S, Declarator &D, QualType T,
231 ScopedDecl *LastDecl);
Steve Naroff8e74c932007-09-13 21:41:19 +0000232 TypedefDecl *MergeTypeDefDecl(TypedefDecl *New, ScopedDecl *Old);
233 FunctionDecl *MergeFunctionDecl(FunctionDecl *New, ScopedDecl *Old);
234 VarDecl *MergeVarDecl(VarDecl *New, ScopedDecl *Old);
Reid Spencer5f016e22007-07-11 17:01:13 +0000235
236 /// More parsing and symbol table subroutines...
Nate Begemanbff5f5c2007-11-13 21:49:48 +0000237 ParmVarDecl *ActOnParamDeclarator(struct DeclaratorChunk::ParamInfo &PI,
Steve Naroff66499922007-11-12 03:44:46 +0000238 Scope *FnBodyScope);
Steve Naroffc752d042007-09-13 18:10:37 +0000239 ScopedDecl *LookupScopedDecl(IdentifierInfo *II, unsigned NSI,
Fariborz Jahanian4cabdfc2007-10-12 19:38:20 +0000240 SourceLocation IdLoc, Scope *S);
241 ScopedDecl *LookupInterfaceDecl(IdentifierInfo *II);
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000242 ObjCInterfaceDecl *getObjCInterfaceDecl(IdentifierInfo *Id);
Steve Naroffc752d042007-09-13 18:10:37 +0000243 ScopedDecl *LazilyCreateBuiltin(IdentifierInfo *II, unsigned ID, Scope *S);
Steve Naroff8c9f13e2007-09-16 16:16:00 +0000244 ScopedDecl *ImplicitlyDefineFunction(SourceLocation Loc, IdentifierInfo &II,
Reid Spencer5f016e22007-07-11 17:01:13 +0000245 Scope *S);
246 // Decl attributes - this routine is the top level dispatcher.
247 void HandleDeclAttributes(Decl *New, AttributeList *declspec_prefix,
248 AttributeList *declarator_postfix);
249 void HandleDeclAttribute(Decl *New, AttributeList *rawAttr);
Christopher Lambebb97e92008-02-04 02:31:56 +0000250
251 /// HandleAddressSpaceTypeAttribute - this attribute is only applicable to
252 /// objects without automatic storage duration.
253 /// The raw attribute contains 1 argument, the id of the address space
254 /// for the type.
255 QualType HandleAddressSpaceTypeAttribute(QualType curType,
256 AttributeList *rawAttr);
257
Reid Spencer5f016e22007-07-11 17:01:13 +0000258 // HandleVectorTypeAttribute - this attribute is only applicable to
259 // integral and float scalars, although arrays, pointers, and function
260 // return values are allowed in conjunction with this construct. Aggregates
261 // with this attribute are invalid, even if they are of the same size as a
262 // corresponding scalar.
263 // The raw attribute should contain precisely 1 argument, the vector size
264 // for the variable, measured in bytes. If curType and rawAttr are well
265 // formed, this routine will return a new vector type.
266 QualType HandleVectorTypeAttribute(QualType curType, AttributeList *rawAttr);
Steve Naroffbea0b342007-07-29 16:33:31 +0000267 void HandleOCUVectorTypeAttribute(TypedefDecl *d, AttributeList *rawAttr);
Reid Spencer5f016e22007-07-11 17:01:13 +0000268
Anders Carlsson78aaae92007-12-19 07:19:40 +0000269 void HandleAlignedAttribute(Decl *d, AttributeList *rawAttr);
270
Steve Naroff3c2eb662008-02-10 21:38:56 +0000271 void WarnUndefinedMethod(SourceLocation ImpLoc, ObjCMethodDecl *method,
272 bool &IncompleteImpl);
273
Fariborz Jahanian8c74fa42007-09-29 17:14:55 +0000274 /// CheckProtocolMethodDefs - This routine checks unimpletented methods
275 /// Declared in protocol, and those referenced by it.
Steve Naroffefe7f362008-02-08 22:06:17 +0000276 void CheckProtocolMethodDefs(SourceLocation ImpLoc,
277 ObjCProtocolDecl *PDecl,
Fariborz Jahanianca3adf72007-10-02 20:06:01 +0000278 bool& IncompleteImpl,
Steve Naroffeefc4182007-10-08 21:05:34 +0000279 const llvm::DenseSet<Selector> &InsMap,
Chris Lattner85994262007-10-05 20:15:24 +0000280 const llvm::DenseSet<Selector> &ClsMap);
Fariborz Jahanian8c74fa42007-09-29 17:14:55 +0000281
Steve Naroffa5997c42007-10-02 21:43:37 +0000282 /// CheckImplementationIvars - This routine checks if the instance variables
283 /// listed in the implelementation match those listed in the interface.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000284 void CheckImplementationIvars(ObjCImplementationDecl *ImpDecl,
285 ObjCIvarDecl **Fields, unsigned nIvars,
Steve Naroff3c2eb662008-02-10 21:38:56 +0000286 SourceLocation Loc);
Steve Naroffa5997c42007-10-02 21:43:37 +0000287
Fariborz Jahanian8c74fa42007-09-29 17:14:55 +0000288 /// ImplMethodsVsClassMethods - This is main routine to warn if any method
289 /// remains unimplemented in the @implementation class.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000290 void ImplMethodsVsClassMethods(ObjCImplementationDecl* IMPDecl,
291 ObjCInterfaceDecl* IDecl);
Fariborz Jahanian8c74fa42007-09-29 17:14:55 +0000292
Fariborz Jahanian8f3fde02007-10-02 16:38:50 +0000293 /// ImplCategoryMethodsVsIntfMethods - Checks that methods declared in the
294 /// category interface is implemented in the category @implementation.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000295 void ImplCategoryMethodsVsIntfMethods(ObjCCategoryImplDecl *CatImplDecl,
296 ObjCCategoryDecl *CatClassDecl);
Fariborz Jahanian85ff2642007-10-05 18:00:57 +0000297 /// MatchTwoMethodDeclarations - Checks if two methods' type match and returns
298 /// true, or false, accordingly.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000299 bool MatchTwoMethodDeclarations(const ObjCMethodDecl *Method,
300 const ObjCMethodDecl *PrevMethod);
Steve Naroff3b950172007-10-10 21:53:07 +0000301
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000302 /// isBuiltinObjCType - Returns true of the type is "id", "SEL", "Class"
Fariborz Jahanian66c5dfc2007-12-07 00:18:54 +0000303 /// or "Protocol".
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000304 bool isBuiltinObjCType(TypedefDecl *TD);
Fariborz Jahanian1f990d62008-01-04 00:27:46 +0000305
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000306 /// isObjCObjectPointerType - Returns true if type is an objective-c pointer
Fariborz Jahanian1f990d62008-01-04 00:27:46 +0000307 /// to an object type; such as "id", "Class", Intf*, id<P>, etc.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000308 bool isObjCObjectPointerType(QualType type) const;
Anders Carlsson8baaca52007-10-31 02:53:19 +0000309
Steve Naroff58ff9e82007-10-14 00:58:41 +0000310 /// AddInstanceMethodToGlobalPool - All instance methods in a translation
311 /// unit are added to a global pool. This allows us to efficiently associate
312 /// a selector with a method declaraation for purposes of typechecking
313 /// messages sent to "id" (where the class of the object is unknown).
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000314 void AddInstanceMethodToGlobalPool(ObjCMethodDecl *Method);
Steve Naroff58ff9e82007-10-14 00:58:41 +0000315
316 /// AddFactoryMethodToGlobalPool - Same as above, but for factory methods.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000317 void AddFactoryMethodToGlobalPool(ObjCMethodDecl *Method);
Reid Spencer5f016e22007-07-11 17:01:13 +0000318 //===--------------------------------------------------------------------===//
319 // Statement Parsing Callbacks: SemaStmt.cpp.
320public:
Steve Naroff1b273c42007-09-16 14:56:35 +0000321 virtual StmtResult ActOnExprStmt(ExprTy *Expr);
Reid Spencer5f016e22007-07-11 17:01:13 +0000322
Steve Naroff1b273c42007-09-16 14:56:35 +0000323 virtual StmtResult ActOnNullStmt(SourceLocation SemiLoc);
324 virtual StmtResult ActOnCompoundStmt(SourceLocation L, SourceLocation R,
Chris Lattner98414c12007-08-31 21:49:55 +0000325 StmtTy **Elts, unsigned NumElts,
326 bool isStmtExpr);
Steve Naroff1b273c42007-09-16 14:56:35 +0000327 virtual StmtResult ActOnDeclStmt(DeclTy *Decl);
328 virtual StmtResult ActOnCaseStmt(SourceLocation CaseLoc, ExprTy *LHSVal,
Reid Spencer5f016e22007-07-11 17:01:13 +0000329 SourceLocation DotDotDotLoc, ExprTy *RHSVal,
330 SourceLocation ColonLoc, StmtTy *SubStmt);
Steve Naroff1b273c42007-09-16 14:56:35 +0000331 virtual StmtResult ActOnDefaultStmt(SourceLocation DefaultLoc,
Chris Lattner6c36be52007-07-18 02:28:47 +0000332 SourceLocation ColonLoc, StmtTy *SubStmt,
333 Scope *CurScope);
Steve Naroff1b273c42007-09-16 14:56:35 +0000334 virtual StmtResult ActOnLabelStmt(SourceLocation IdentLoc, IdentifierInfo *II,
Reid Spencer5f016e22007-07-11 17:01:13 +0000335 SourceLocation ColonLoc, StmtTy *SubStmt);
Steve Naroff1b273c42007-09-16 14:56:35 +0000336 virtual StmtResult ActOnIfStmt(SourceLocation IfLoc, ExprTy *CondVal,
Reid Spencer5f016e22007-07-11 17:01:13 +0000337 StmtTy *ThenVal, SourceLocation ElseLoc,
338 StmtTy *ElseVal);
Steve Naroff1b273c42007-09-16 14:56:35 +0000339 virtual StmtResult ActOnStartOfSwitchStmt(ExprTy *Cond);
Chris Lattner85994262007-10-05 20:15:24 +0000340 virtual StmtResult ActOnFinishSwitchStmt(SourceLocation SwitchLoc,
341 StmtTy *Switch, ExprTy *Body);
Steve Naroff1b273c42007-09-16 14:56:35 +0000342 virtual StmtResult ActOnWhileStmt(SourceLocation WhileLoc, ExprTy *Cond,
Reid Spencer5f016e22007-07-11 17:01:13 +0000343 StmtTy *Body);
Steve Naroff1b273c42007-09-16 14:56:35 +0000344 virtual StmtResult ActOnDoStmt(SourceLocation DoLoc, StmtTy *Body,
Reid Spencer5f016e22007-07-11 17:01:13 +0000345 SourceLocation WhileLoc, ExprTy *Cond);
346
Steve Naroff1b273c42007-09-16 14:56:35 +0000347 virtual StmtResult ActOnForStmt(SourceLocation ForLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000348 SourceLocation LParenLoc,
349 StmtTy *First, ExprTy *Second, ExprTy *Third,
350 SourceLocation RParenLoc, StmtTy *Body);
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000351 virtual StmtResult ActOnObjCForCollectionStmt(SourceLocation ForColLoc,
Fariborz Jahanian3ba5a0f2008-01-03 17:55:25 +0000352 SourceLocation LParenLoc,
353 StmtTy *First, ExprTy *Second,
354 SourceLocation RParenLoc, StmtTy *Body);
355
Steve Naroff1b273c42007-09-16 14:56:35 +0000356 virtual StmtResult ActOnGotoStmt(SourceLocation GotoLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000357 SourceLocation LabelLoc,
358 IdentifierInfo *LabelII);
Steve Naroff1b273c42007-09-16 14:56:35 +0000359 virtual StmtResult ActOnIndirectGotoStmt(SourceLocation GotoLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000360 SourceLocation StarLoc,
361 ExprTy *DestExp);
Steve Naroff1b273c42007-09-16 14:56:35 +0000362 virtual StmtResult ActOnContinueStmt(SourceLocation ContinueLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000363 Scope *CurScope);
Steve Naroff1b273c42007-09-16 14:56:35 +0000364 virtual StmtResult ActOnBreakStmt(SourceLocation GotoLoc, Scope *CurScope);
Reid Spencer5f016e22007-07-11 17:01:13 +0000365
Steve Naroff1b273c42007-09-16 14:56:35 +0000366 virtual StmtResult ActOnReturnStmt(SourceLocation ReturnLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000367 ExprTy *RetValExp);
368
Anders Carlsson6a0ef4b2007-11-20 19:21:03 +0000369 virtual StmtResult ActOnAsmStmt(SourceLocation AsmLoc,
Anders Carlssondfab34a2008-02-05 23:03:50 +0000370 bool IsSimple,
Anders Carlsson39c47b52007-11-23 23:12:25 +0000371 bool IsVolatile,
Anders Carlssonb235fc22007-11-22 01:36:19 +0000372 unsigned NumOutputs,
373 unsigned NumInputs,
374 std::string *Names,
375 ExprTy **Constraints,
376 ExprTy **Exprs,
Anders Carlsson6a0ef4b2007-11-20 19:21:03 +0000377 ExprTy *AsmString,
Anders Carlssonb235fc22007-11-22 01:36:19 +0000378 unsigned NumClobbers,
379 ExprTy **Clobbers,
Chris Lattnerfe795952007-10-29 04:04:16 +0000380 SourceLocation RParenLoc);
381
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000382 virtual StmtResult ActOnObjCAtCatchStmt(SourceLocation AtLoc,
Fariborz Jahanian3b1191d2007-11-01 23:59:59 +0000383 SourceLocation RParen, StmtTy *Parm,
384 StmtTy *Body, StmtTy *CatchList);
385
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000386 virtual StmtResult ActOnObjCAtFinallyStmt(SourceLocation AtLoc,
Fariborz Jahanian161a9c52007-11-02 00:18:53 +0000387 StmtTy *Body);
388
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000389 virtual StmtResult ActOnObjCAtTryStmt(SourceLocation AtLoc,
Fariborz Jahanianbd49a642007-11-02 15:39:31 +0000390 StmtTy *Try,
391 StmtTy *Catch, StmtTy *Finally);
392
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000393 virtual StmtResult ActOnObjCAtThrowStmt(SourceLocation AtLoc,
Fariborz Jahanian39f8f152007-11-07 02:00:49 +0000394 StmtTy *Throw);
Fariborz Jahanianfa3ee8e2008-01-29 19:14:59 +0000395 virtual StmtResult ActOnObjCAtSynchronizedStmt(SourceLocation AtLoc,
396 ExprTy *SynchExpr,
397 StmtTy *SynchBody);
Fariborz Jahanian39f8f152007-11-07 02:00:49 +0000398
Reid Spencer5f016e22007-07-11 17:01:13 +0000399 //===--------------------------------------------------------------------===//
400 // Expression Parsing Callbacks: SemaExpr.cpp.
401
402 // Primary Expressions.
Steve Naroff08d92e42007-09-15 18:49:24 +0000403 virtual ExprResult ActOnIdentifierExpr(Scope *S, SourceLocation Loc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000404 IdentifierInfo &II,
405 bool HasTrailingLParen);
Steve Narofff69936d2007-09-16 03:34:24 +0000406 virtual ExprResult ActOnPreDefinedExpr(SourceLocation Loc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000407 tok::TokenKind Kind);
Steve Narofff69936d2007-09-16 03:34:24 +0000408 virtual ExprResult ActOnNumericConstant(const Token &);
409 virtual ExprResult ActOnCharacterConstant(const Token &);
410 virtual ExprResult ActOnParenExpr(SourceLocation L, SourceLocation R,
Reid Spencer5f016e22007-07-11 17:01:13 +0000411 ExprTy *Val);
412
Steve Narofff69936d2007-09-16 03:34:24 +0000413 /// ActOnStringLiteral - The specified tokens were lexed as pasted string
Reid Spencer5f016e22007-07-11 17:01:13 +0000414 /// fragments (e.g. "foo" "bar" L"baz").
Steve Narofff69936d2007-09-16 03:34:24 +0000415 virtual ExprResult ActOnStringLiteral(const Token *Toks, unsigned NumToks);
Reid Spencer5f016e22007-07-11 17:01:13 +0000416
417 // Binary/Unary Operators. 'Tok' is the token for the operator.
Steve Narofff69936d2007-09-16 03:34:24 +0000418 virtual ExprResult ActOnUnaryOp(SourceLocation OpLoc, tok::TokenKind Op,
Reid Spencer5f016e22007-07-11 17:01:13 +0000419 ExprTy *Input);
420 virtual ExprResult
Steve Narofff69936d2007-09-16 03:34:24 +0000421 ActOnSizeOfAlignOfTypeExpr(SourceLocation OpLoc, bool isSizeof,
Reid Spencer5f016e22007-07-11 17:01:13 +0000422 SourceLocation LParenLoc, TypeTy *Ty,
423 SourceLocation RParenLoc);
424
Steve Narofff69936d2007-09-16 03:34:24 +0000425 virtual ExprResult ActOnPostfixUnaryOp(SourceLocation OpLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000426 tok::TokenKind Kind, ExprTy *Input);
427
Steve Narofff69936d2007-09-16 03:34:24 +0000428 virtual ExprResult ActOnArraySubscriptExpr(ExprTy *Base, SourceLocation LLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000429 ExprTy *Idx, SourceLocation RLoc);
Steve Narofff69936d2007-09-16 03:34:24 +0000430 virtual ExprResult ActOnMemberReferenceExpr(ExprTy *Base,SourceLocation OpLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000431 tok::TokenKind OpKind,
432 SourceLocation MemberLoc,
433 IdentifierInfo &Member);
434
Steve Narofff69936d2007-09-16 03:34:24 +0000435 /// ActOnCallExpr - Handle a call to Fn with the specified array of arguments.
Reid Spencer5f016e22007-07-11 17:01:13 +0000436 /// This provides the location of the left/right parens and a list of comma
437 /// locations.
Steve Narofff69936d2007-09-16 03:34:24 +0000438 virtual ExprResult ActOnCallExpr(ExprTy *Fn, SourceLocation LParenLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000439 ExprTy **Args, unsigned NumArgs,
440 SourceLocation *CommaLocs,
441 SourceLocation RParenLoc);
442
Steve Narofff69936d2007-09-16 03:34:24 +0000443 virtual ExprResult ActOnCastExpr(SourceLocation LParenLoc, TypeTy *Ty,
Reid Spencer5f016e22007-07-11 17:01:13 +0000444 SourceLocation RParenLoc, ExprTy *Op);
Steve Naroff4aa88f82007-07-19 01:06:55 +0000445
Steve Narofff69936d2007-09-16 03:34:24 +0000446 virtual ExprResult ActOnCompoundLiteral(SourceLocation LParenLoc, TypeTy *Ty,
Steve Naroff4aa88f82007-07-19 01:06:55 +0000447 SourceLocation RParenLoc, ExprTy *Op);
Reid Spencer5f016e22007-07-11 17:01:13 +0000448
Steve Narofff69936d2007-09-16 03:34:24 +0000449 virtual ExprResult ActOnInitList(SourceLocation LParenLoc,
Steve Naroff4aa88f82007-07-19 01:06:55 +0000450 ExprTy **InitList, unsigned NumInit,
451 SourceLocation RParenLoc);
452
Steve Narofff69936d2007-09-16 03:34:24 +0000453 virtual ExprResult ActOnBinOp(SourceLocation TokLoc, tok::TokenKind Kind,
Reid Spencer5f016e22007-07-11 17:01:13 +0000454 ExprTy *LHS,ExprTy *RHS);
455
Steve Narofff69936d2007-09-16 03:34:24 +0000456 /// ActOnConditionalOp - Parse a ?: operation. Note that 'LHS' may be null
Reid Spencer5f016e22007-07-11 17:01:13 +0000457 /// in the case of a the GNU conditional expr extension.
Steve Narofff69936d2007-09-16 03:34:24 +0000458 virtual ExprResult ActOnConditionalOp(SourceLocation QuestionLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000459 SourceLocation ColonLoc,
460 ExprTy *Cond, ExprTy *LHS, ExprTy *RHS);
461
Steve Naroff1b273c42007-09-16 14:56:35 +0000462 /// ActOnAddrLabel - Parse the GNU address of label extension: "&&foo".
463 virtual ExprResult ActOnAddrLabel(SourceLocation OpLoc, SourceLocation LabLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000464 IdentifierInfo *LabelII);
465
Steve Naroff1b273c42007-09-16 14:56:35 +0000466 virtual ExprResult ActOnStmtExpr(SourceLocation LPLoc, StmtTy *SubStmt,
Chris Lattnerab18c4c2007-07-24 16:58:17 +0000467 SourceLocation RPLoc); // "({..})"
Chris Lattner73d0d4f2007-08-30 17:45:32 +0000468
469 /// __builtin_offsetof(type, a.b[123][456].c)
Steve Naroff1b273c42007-09-16 14:56:35 +0000470 virtual ExprResult ActOnBuiltinOffsetOf(SourceLocation BuiltinLoc,
Chris Lattner73d0d4f2007-08-30 17:45:32 +0000471 SourceLocation TypeLoc, TypeTy *Arg1,
472 OffsetOfComponent *CompPtr,
473 unsigned NumComponents,
474 SourceLocation RParenLoc);
475
Steve Naroffd34e9152007-08-01 22:05:33 +0000476 // __builtin_types_compatible_p(type1, type2)
Steve Naroff1b273c42007-09-16 14:56:35 +0000477 virtual ExprResult ActOnTypesCompatibleExpr(SourceLocation BuiltinLoc,
Steve Naroffd34e9152007-08-01 22:05:33 +0000478 TypeTy *arg1, TypeTy *arg2,
479 SourceLocation RPLoc);
Steve Naroffd04fdd52007-08-03 21:21:27 +0000480
481 // __builtin_choose_expr(constExpr, expr1, expr2)
Steve Naroff1b273c42007-09-16 14:56:35 +0000482 virtual ExprResult ActOnChooseExpr(SourceLocation BuiltinLoc,
Steve Naroffd04fdd52007-08-03 21:21:27 +0000483 ExprTy *cond, ExprTy *expr1, ExprTy *expr2,
484 SourceLocation RPLoc);
Chris Lattnerab18c4c2007-07-24 16:58:17 +0000485
Nate Begemane2ce1d92008-01-17 17:46:27 +0000486 // __builtin_overload(...)
487 virtual ExprResult ActOnOverloadExpr(ExprTy **Args, unsigned NumArgs,
488 SourceLocation *CommaLocs,
489 SourceLocation BuiltinLoc,
490 SourceLocation RParenLoc);
491
Anders Carlsson7c50aca2007-10-15 20:28:48 +0000492 // __builtin_va_arg(expr, type)
493 virtual ExprResult ActOnVAArg(SourceLocation BuiltinLoc,
494 ExprTy *expr, TypeTy *type,
495 SourceLocation RPLoc);
496
Steve Naroff1b273c42007-09-16 14:56:35 +0000497 /// ActOnCXXCasts - Parse {dynamic,static,reinterpret,const}_cast's.
498 virtual ExprResult ActOnCXXCasts(SourceLocation OpLoc, tok::TokenKind Kind,
Reid Spencer5f016e22007-07-11 17:01:13 +0000499 SourceLocation LAngleBracketLoc, TypeTy *Ty,
500 SourceLocation RAngleBracketLoc,
501 SourceLocation LParenLoc, ExprTy *E,
502 SourceLocation RParenLoc);
503
Steve Naroff1b273c42007-09-16 14:56:35 +0000504 /// ActOnCXXBoolLiteral - Parse {true,false} literals.
505 virtual ExprResult ActOnCXXBoolLiteral(SourceLocation OpLoc,
Reid Spencer5f016e22007-07-11 17:01:13 +0000506 tok::TokenKind Kind);
Anders Carlsson55085182007-08-21 17:43:55 +0000507
508 // ParseObjCStringLiteral - Parse Objective-C string literals.
Chris Lattnerb3a99cd2007-12-12 01:04:12 +0000509 virtual ExprResult ParseObjCStringLiteral(SourceLocation *AtLocs,
510 ExprTy **Strings,
511 unsigned NumStrings);
Anders Carlssonf9bcf012007-08-22 15:14:15 +0000512 virtual ExprResult ParseObjCEncodeExpression(SourceLocation AtLoc,
Chris Lattner674af952007-10-16 22:51:17 +0000513 SourceLocation EncodeLoc,
Anders Carlssonf9bcf012007-08-22 15:14:15 +0000514 SourceLocation LParenLoc,
515 TypeTy *Ty,
516 SourceLocation RParenLoc);
517
Fariborz Jahanianb62f6812007-10-16 20:40:23 +0000518 // ParseObjCSelectorExpression - Build selector expression for @selector
519 virtual ExprResult ParseObjCSelectorExpression(Selector Sel,
520 SourceLocation AtLoc,
Fariborz Jahanian2a35fa92007-10-16 23:21:02 +0000521 SourceLocation SelLoc,
Fariborz Jahanianb62f6812007-10-16 20:40:23 +0000522 SourceLocation LParenLoc,
523 SourceLocation RParenLoc);
524
Fariborz Jahanian390d50a2007-10-17 16:58:11 +0000525 // ParseObjCProtocolExpression - Build protocol expression for @protocol
526 virtual ExprResult ParseObjCProtocolExpression(IdentifierInfo * ProtocolName,
527 SourceLocation AtLoc,
528 SourceLocation ProtoLoc,
529 SourceLocation LParenLoc,
530 SourceLocation RParenLoc);
531
Steve Naroff3536b442007-09-06 21:24:23 +0000532 // Objective-C declarations.
Steve Naroffe440eb82007-10-10 17:32:04 +0000533 virtual DeclTy *ActOnStartClassInterface(
Fariborz Jahanianccb4f312007-09-25 18:38:09 +0000534 SourceLocation AtInterafceLoc,
Steve Naroff3536b442007-09-06 21:24:23 +0000535 IdentifierInfo *ClassName, SourceLocation ClassLoc,
536 IdentifierInfo *SuperName, SourceLocation SuperLoc,
537 IdentifierInfo **ProtocolNames, unsigned NumProtocols,
Steve Narofff908a872007-10-30 02:23:23 +0000538 SourceLocation EndProtoLoc, AttributeList *AttrList);
Fariborz Jahanian243b64b2007-10-11 23:42:27 +0000539
540 virtual DeclTy *ActOnCompatiblityAlias(
541 SourceLocation AtCompatibilityAliasLoc,
542 IdentifierInfo *AliasName, SourceLocation AliasLocation,
543 IdentifierInfo *ClassName, SourceLocation ClassLocation);
Steve Naroff3536b442007-09-06 21:24:23 +0000544
Steve Naroffe440eb82007-10-10 17:32:04 +0000545 virtual DeclTy *ActOnStartProtocolInterface(
Fariborz Jahanianccb4f312007-09-25 18:38:09 +0000546 SourceLocation AtProtoInterfaceLoc,
Fariborz Jahanian25e077d2007-09-17 21:07:36 +0000547 IdentifierInfo *ProtocolName, SourceLocation ProtocolLoc,
Steve Narofff908a872007-10-30 02:23:23 +0000548 IdentifierInfo **ProtoRefNames, unsigned NumProtoRefs,
549 SourceLocation EndProtoLoc);
Fariborz Jahanian25e077d2007-09-17 21:07:36 +0000550
Steve Naroffe440eb82007-10-10 17:32:04 +0000551 virtual DeclTy *ActOnStartCategoryInterface(
Fariborz Jahanian9d048ff2007-09-29 00:54:24 +0000552 SourceLocation AtInterfaceLoc,
Fariborz Jahanianfd225cc2007-09-18 20:26:58 +0000553 IdentifierInfo *ClassName, SourceLocation ClassLoc,
554 IdentifierInfo *CategoryName, SourceLocation CategoryLoc,
Steve Naroff423cb562007-10-30 13:30:57 +0000555 IdentifierInfo **ProtoRefNames, unsigned NumProtoRefs,
556 SourceLocation EndProtoLoc);
Fariborz Jahanianfd225cc2007-09-18 20:26:58 +0000557
Steve Naroffe440eb82007-10-10 17:32:04 +0000558 virtual DeclTy *ActOnStartClassImplementation(
Fariborz Jahanianccb4f312007-09-25 18:38:09 +0000559 SourceLocation AtClassImplLoc,
560 IdentifierInfo *ClassName, SourceLocation ClassLoc,
561 IdentifierInfo *SuperClassname,
562 SourceLocation SuperClassLoc);
563
Steve Naroffe440eb82007-10-10 17:32:04 +0000564 virtual DeclTy *ActOnStartCategoryImplementation(
Fariborz Jahanian8f3fde02007-10-02 16:38:50 +0000565 SourceLocation AtCatImplLoc,
566 IdentifierInfo *ClassName,
567 SourceLocation ClassLoc,
568 IdentifierInfo *CatName,
569 SourceLocation CatLoc);
570
Steve Naroffe440eb82007-10-10 17:32:04 +0000571 virtual DeclTy *ActOnForwardClassDeclaration(SourceLocation Loc,
Steve Naroff37e58d12007-10-02 22:39:18 +0000572 IdentifierInfo **IdentList,
573 unsigned NumElts);
Fariborz Jahanian894c57f2007-09-21 15:40:54 +0000574
Steve Naroffe440eb82007-10-10 17:32:04 +0000575 virtual DeclTy *ActOnForwardProtocolDeclaration(SourceLocation AtProtocolLoc,
Steve Naroff37e58d12007-10-02 22:39:18 +0000576 IdentifierInfo **IdentList,
577 unsigned NumElts);
Fariborz Jahanian245f92a2007-10-05 21:01:53 +0000578
Fariborz Jahanian4b6c9052007-10-11 00:55:41 +0000579 virtual void FindProtocolDeclaration(SourceLocation TypeLoc,
580 IdentifierInfo **ProtocolId,
581 unsigned NumProtocols,
582 llvm::SmallVector<DeclTy *, 8> &
583 Protocols);
Steve Naroff3536b442007-09-06 21:24:23 +0000584
Steve Naroff0416fb92007-11-11 17:19:15 +0000585 virtual void ActOnAtEnd(SourceLocation AtEndLoc, DeclTy *classDecl,
586 DeclTy **allMethods = 0, unsigned allNum = 0,
587 DeclTy **allProperties = 0, unsigned pNum = 0);
Fariborz Jahaniand0b90bf2007-09-26 18:27:25 +0000588
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000589 virtual DeclTy *ActOnAddObjCProperties(SourceLocation AtLoc,
Fariborz Jahanian82a5fe32007-11-06 22:01:00 +0000590 DeclTy **allProperties,
591 unsigned NumProperties,
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000592 ObjCDeclSpec &DS);
Fariborz Jahanian82a5fe32007-11-06 22:01:00 +0000593
Steve Naroffbef11852007-10-26 20:53:56 +0000594 virtual DeclTy *ActOnMethodDeclaration(
595 SourceLocation BeginLoc, // location of the + or -.
596 SourceLocation EndLoc, // location of the ; or {.
Fariborz Jahanian1f7b6f82007-11-09 19:52:12 +0000597 tok::TokenKind MethodType,
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000598 DeclTy *ClassDecl, ObjCDeclSpec &ReturnQT, TypeTy *ReturnType,
Fariborz Jahanianf1de0ca2007-10-31 23:53:01 +0000599 Selector Sel,
Steve Naroff68d331a2007-09-27 14:38:14 +0000600 // optional arguments. The number of types/arguments is obtained
601 // from the Sel.getNumArgs().
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000602 ObjCDeclSpec *ArgQT, TypeTy **ArgTypes, IdentifierInfo **ArgNames,
Steve Naroff335eafa2007-11-15 12:35:21 +0000603 AttributeList *AttrList, tok::ObjCKeywordKind MethodImplKind,
604 bool isVariadic = false);
Steve Naroff81bfde92007-10-16 23:12:48 +0000605
Steve Naroff68d331a2007-09-27 14:38:14 +0000606 // ActOnClassMessage - used for both unary and keyword messages.
607 // ArgExprs is optional - if it is present, the number of expressions
Steve Naroff49f109c2007-11-15 13:05:42 +0000608 // is obtained from NumArgs.
Steve Naroff68d331a2007-09-27 14:38:14 +0000609 virtual ExprResult ActOnClassMessage(
Fariborz Jahanian0523aaf2007-11-12 20:13:27 +0000610 Scope *S,
Steve Naroffbcfb06a2007-09-28 22:22:11 +0000611 IdentifierInfo *receivingClassName, Selector Sel,
Steve Naroff49f109c2007-11-15 13:05:42 +0000612 SourceLocation lbrac, SourceLocation rbrac,
613 ExprTy **ArgExprs, unsigned NumArgs);
Steve Naroff68d331a2007-09-27 14:38:14 +0000614
615 // ActOnInstanceMessage - used for both unary and keyword messages.
616 // ArgExprs is optional - if it is present, the number of expressions
Steve Naroff49f109c2007-11-15 13:05:42 +0000617 // is obtained from NumArgs.
Steve Naroff68d331a2007-09-27 14:38:14 +0000618 virtual ExprResult ActOnInstanceMessage(
Steve Naroffbcfb06a2007-09-28 22:22:11 +0000619 ExprTy *receiver, Selector Sel,
Steve Naroff49f109c2007-11-15 13:05:42 +0000620 SourceLocation lbrac, SourceLocation rbrac,
621 ExprTy **ArgExprs, unsigned NumArgs);
Reid Spencer5f016e22007-07-11 17:01:13 +0000622private:
Chris Lattner1e0a3902008-01-16 19:17:22 +0000623 /// ImpCastExprToType - If Expr is not of type 'Type', insert an implicit
624 /// cast. If there is already an implicit cast, merge into the existing one.
625 void ImpCastExprToType(Expr *&Expr, QualType Type);
626
Reid Spencer5f016e22007-07-11 17:01:13 +0000627 // UsualUnaryConversions - promotes integers (C99 6.3.1.1p2) and converts
Chris Lattner925e60d2007-12-28 05:29:59 +0000628 // functions and arrays to their respective pointers (C99 6.3.2.1).
629 Expr *UsualUnaryConversions(Expr *&expr);
Steve Naroffc80b4ee2007-07-16 21:54:35 +0000630
631 // DefaultFunctionArrayConversion - converts functions and arrays
632 // to their respective pointers (C99 6.3.2.1).
633 void DefaultFunctionArrayConversion(Expr *&expr);
Steve Naroff90045e82007-07-13 23:32:42 +0000634
Steve Naroffb291ab62007-08-28 23:30:39 +0000635 // DefaultArgumentPromotion (C99 6.5.2.2p6). Used for function calls that
636 // do not have a prototype. Integer promotions are performed on each
637 // argument, and arguments that have type float are promoted to double.
Chris Lattner925e60d2007-12-28 05:29:59 +0000638 void DefaultArgumentPromotion(Expr *&Expr);
Steve Naroffb291ab62007-08-28 23:30:39 +0000639
Reid Spencer5f016e22007-07-11 17:01:13 +0000640 // UsualArithmeticConversions - performs the UsualUnaryConversions on it's
641 // operands and then handles various conversions that are common to binary
642 // operators (C99 6.3.1.8). If both operands aren't arithmetic, this
643 // routine returns the first non-arithmetic type found. The client is
644 // responsible for emitting appropriate error diagnostics.
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000645 QualType UsualArithmeticConversions(Expr *&lExpr, Expr *&rExpr,
646 bool isCompAssign = false);
Chris Lattnerb7b61152008-01-04 18:22:42 +0000647
648 /// AssignConvertType - All of the 'assignment' semantic checks return this
649 /// enum to indicate whether the assignment was allowed. These checks are
650 /// done for simple assignments, as well as initialization, return from
651 /// function, argument passing, etc. The query is phrased in terms of a
652 /// source and destination type.
Chris Lattner5cf216b2008-01-04 18:04:52 +0000653 enum AssignConvertType {
Chris Lattnerb7b61152008-01-04 18:22:42 +0000654 /// Compatible - the types are compatible according to the standard.
Reid Spencer5f016e22007-07-11 17:01:13 +0000655 Compatible,
Chris Lattnerb7b61152008-01-04 18:22:42 +0000656
657 /// PointerToInt - The assignment converts a pointer to an int, which we
658 /// accept as an extension.
659 PointerToInt,
660
661 /// IntToPointer - The assignment converts an int to a pointer, which we
662 /// accept as an extension.
663 IntToPointer,
664
665 /// FunctionVoidPointer - The assignment is between a function pointer and
666 /// void*, which the standard doesn't allow, but we accept as an extension.
Chris Lattnerbfe639e2008-01-03 22:56:36 +0000667 FunctionVoidPointer,
Chris Lattnerb7b61152008-01-04 18:22:42 +0000668
669 /// IncompatiblePointer - The assignment is between two pointers types that
670 /// are not compatible, but we accept them as an extension.
Reid Spencer5f016e22007-07-11 17:01:13 +0000671 IncompatiblePointer,
Chris Lattnerb7b61152008-01-04 18:22:42 +0000672
673 /// CompatiblePointerDiscardsQualifiers - The assignment discards
674 /// c/v/r qualifiers, which we accept as an extension.
675 CompatiblePointerDiscardsQualifiers,
676
677 /// Incompatible - We reject this conversion outright, it is invalid to
678 /// represent it in the AST.
679 Incompatible
Reid Spencer5f016e22007-07-11 17:01:13 +0000680 };
Chris Lattner5cf216b2008-01-04 18:04:52 +0000681
682 /// DiagnoseAssignmentResult - Emit a diagnostic, if required, for the
683 /// assignment conversion type specified by ConvTy. This returns true if the
684 /// conversion was invalid or false if the conversion was accepted.
685 bool DiagnoseAssignmentResult(AssignConvertType ConvTy,
686 SourceLocation Loc,
687 QualType DstType, QualType SrcType,
688 Expr *SrcExpr, const char *Flavor);
689
690 /// CheckAssignmentConstraints - Perform type checking for assignment,
691 /// argument passing, variable initialization, and function return values.
692 /// This routine is only used by the following two methods. C99 6.5.16.
693 AssignConvertType CheckAssignmentConstraints(QualType lhs, QualType rhs);
Steve Naroff90045e82007-07-13 23:32:42 +0000694
Steve Narofff69936d2007-09-16 03:34:24 +0000695 // CheckSingleAssignmentConstraints - Currently used by ActOnCallExpr,
Steve Naroff1b273c42007-09-16 14:56:35 +0000696 // CheckAssignmentOperands, and ActOnReturnStmt. Prior to type checking,
Steve Naroff90045e82007-07-13 23:32:42 +0000697 // this routine performs the default function/array converions.
Chris Lattner5cf216b2008-01-04 18:04:52 +0000698 AssignConvertType CheckSingleAssignmentConstraints(QualType lhs,
699 Expr *&rExpr);
Steve Naroff90045e82007-07-13 23:32:42 +0000700 // CheckCompoundAssignmentConstraints - Type check without performing any
701 // conversions. For compound assignments, the "Check...Operands" methods
702 // perform the necessary conversions.
Chris Lattner5cf216b2008-01-04 18:04:52 +0000703 AssignConvertType CheckCompoundAssignmentConstraints(QualType lhs,
704 QualType rhs);
Steve Naroff90045e82007-07-13 23:32:42 +0000705
Reid Spencer5f016e22007-07-11 17:01:13 +0000706 // Helper function for CheckAssignmentConstraints (C99 6.5.16.1p1)
Chris Lattner5cf216b2008-01-04 18:04:52 +0000707 AssignConvertType CheckPointerTypesForAssignment(QualType lhsType,
708 QualType rhsType);
Reid Spencer5f016e22007-07-11 17:01:13 +0000709
710 /// the following "Check" methods will return a valid/converted QualType
711 /// or a null QualType (indicating an error diagnostic was issued).
712
Steve Narofff69936d2007-09-16 03:34:24 +0000713 /// type checking binary operators (subroutines of ActOnBinOp).
Chris Lattnerca5eede2007-12-12 05:47:28 +0000714 inline QualType InvalidOperands(SourceLocation l, Expr *&lex, Expr *&rex);
Steve Naroff49b45262007-07-13 16:58:59 +0000715 inline QualType CheckVectorOperands(SourceLocation l, Expr *&lex, Expr *&rex);
Reid Spencer5f016e22007-07-11 17:01:13 +0000716 inline QualType CheckMultiplyDivideOperands( // C99 6.5.5
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000717 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Reid Spencer5f016e22007-07-11 17:01:13 +0000718 inline QualType CheckRemainderOperands( // C99 6.5.5
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000719 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Reid Spencer5f016e22007-07-11 17:01:13 +0000720 inline QualType CheckAdditionOperands( // C99 6.5.6
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000721 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Reid Spencer5f016e22007-07-11 17:01:13 +0000722 inline QualType CheckSubtractionOperands( // C99 6.5.6
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000723 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Reid Spencer5f016e22007-07-11 17:01:13 +0000724 inline QualType CheckShiftOperands( // C99 6.5.7
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000725 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Chris Lattnera5937dd2007-08-26 01:18:55 +0000726 inline QualType CheckCompareOperands( // C99 6.5.8/9
727 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isRelational);
Reid Spencer5f016e22007-07-11 17:01:13 +0000728 inline QualType CheckBitwiseOperands( // C99 6.5.[10...12]
Steve Naroff9f5fa9b2007-08-24 19:07:16 +0000729 Expr *&lex, Expr *&rex, SourceLocation OpLoc, bool isCompAssign = false);
Reid Spencer5f016e22007-07-11 17:01:13 +0000730 inline QualType CheckLogicalOperands( // C99 6.5.[13,14]
Steve Naroff49b45262007-07-13 16:58:59 +0000731 Expr *&lex, Expr *&rex, SourceLocation OpLoc);
Reid Spencer5f016e22007-07-11 17:01:13 +0000732 // CheckAssignmentOperands is used for both simple and compound assignment.
733 // For simple assignment, pass both expressions and a null converted type.
734 // For compound assignment, pass both expressions and the converted type.
735 inline QualType CheckAssignmentOperands( // C99 6.5.16.[1,2]
Steve Narofff1120de2007-08-24 22:33:52 +0000736 Expr *lex, Expr *&rex, SourceLocation OpLoc, QualType convertedType);
Reid Spencer5f016e22007-07-11 17:01:13 +0000737 inline QualType CheckCommaOperands( // C99 6.5.17
Steve Naroff49b45262007-07-13 16:58:59 +0000738 Expr *&lex, Expr *&rex, SourceLocation OpLoc);
Reid Spencer5f016e22007-07-11 17:01:13 +0000739 inline QualType CheckConditionalOperands( // C99 6.5.15
Steve Naroff49b45262007-07-13 16:58:59 +0000740 Expr *&cond, Expr *&lhs, Expr *&rhs, SourceLocation questionLoc);
Reid Spencer5f016e22007-07-11 17:01:13 +0000741
Steve Narofff69936d2007-09-16 03:34:24 +0000742 /// type checking unary operators (subroutines of ActOnUnaryOp).
Reid Spencer5f016e22007-07-11 17:01:13 +0000743 /// C99 6.5.3.1, 6.5.3.2, 6.5.3.4
744 QualType CheckIncrementDecrementOperand(Expr *op, SourceLocation OpLoc);
745 QualType CheckAddressOfOperand(Expr *op, SourceLocation OpLoc);
746 QualType CheckIndirectionOperand(Expr *op, SourceLocation OpLoc);
747 QualType CheckSizeOfAlignOfOperand(QualType type, SourceLocation loc,
748 bool isSizeof);
Chris Lattner5d794252007-08-24 21:41:10 +0000749 QualType CheckRealImagOperand(Expr *&Op, SourceLocation OpLoc);
Steve Naroffe1b31fe2007-07-27 22:15:19 +0000750
751 /// type checking primary expressions.
752 QualType CheckOCUVectorComponent(QualType baseType, SourceLocation OpLoc,
753 IdentifierInfo &Comp, SourceLocation CmpLoc);
754
Steve Narofff0090632007-09-02 02:04:30 +0000755 /// type checking declaration initializers (C99 6.7.8)
Steve Naroffd0091aa2008-01-10 22:15:12 +0000756 bool CheckInitializerTypes(Expr *&simpleInit_or_initList, QualType &declType);
757 bool CheckSingleInitializer(Expr *&simpleInit, QualType declType);
Steve Naroff9e8925e2007-09-04 14:36:54 +0000758 bool CheckInitExpr(Expr *expr, InitListExpr *IList, unsigned slot,
Steve Naroffd0091aa2008-01-10 22:15:12 +0000759 QualType ElementType);
Steve Naroffa9960332008-01-25 00:51:06 +0000760 bool CheckInitializerListTypes(InitListExpr*& IList, QualType &DeclType,
761 bool topLevel, unsigned& startIndex);
Steve Naroffd0091aa2008-01-10 22:15:12 +0000762 bool CheckForConstantInitializer(Expr *e, QualType t);
Steve Naroff2fdc3742007-12-10 22:44:33 +0000763
Steve Naroffa49e1fa2008-01-22 00:55:40 +0000764 StringLiteral *IsStringLiteralInit(Expr *Init, QualType DeclType);
765 bool CheckStringLiteralInit(StringLiteral *strLiteral, QualType &DeclT);
766
Anders Carlsson584b2472007-11-27 07:16:40 +0000767 // CheckVectorCast - check type constraints for vectors.
768 // Since vectors are an extension, there are no C standard reference for this.
769 // We allow casting between vectors and integer datatypes of the same size.
Anders Carlssona64db8f2007-11-27 05:51:55 +0000770 // returns true if the cast is invalid
771 bool CheckVectorCast(SourceRange R, QualType VectorTy, QualType Ty);
772
Steve Naroff81bfde92007-10-16 23:12:48 +0000773 // returns true if there were any incompatible arguments.
774 bool CheckMessageArgumentTypes(Expr **Args, unsigned NumArgs,
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000775 ObjCMethodDecl *Method);
Steve Naroff81bfde92007-10-16 23:12:48 +0000776
Chris Lattnerf4021e72007-08-23 05:46:52 +0000777 /// ConvertIntegerToTypeWarnOnOverflow - Convert the specified APInt to have
778 /// the specified width and sign. If an overflow occurs, detect it and emit
779 /// the specified diagnostic.
780 void ConvertIntegerToTypeWarnOnOverflow(llvm::APSInt &OldVal,
781 unsigned NewWidth, bool NewSign,
782 SourceLocation Loc, unsigned DiagID);
783
Anders Carlsson7c50aca2007-10-15 20:28:48 +0000784 void InitBuiltinVaListType();
785
Chris Lattner59907c42007-08-10 20:18:51 +0000786 //===--------------------------------------------------------------------===//
787 // Extra semantic analysis beyond the C type system
Chris Lattner925e60d2007-12-28 05:29:59 +0000788private:
789 bool CheckFunctionCall(FunctionDecl *FDecl, CallExpr *TheCall);
790 bool CheckBuiltinCFStringArgument(Expr* Arg);
791 bool SemaBuiltinVAStart(CallExpr *TheCall);
792 bool SemaBuiltinUnorderedCompare(CallExpr *TheCall);
793 void CheckPrintfArguments(CallExpr *TheCall,
794 bool HasVAListArg, unsigned format_idx);
Ted Kremenek06de2762007-08-17 16:46:58 +0000795 void CheckReturnStackAddr(Expr *RetValExp, QualType lhsType,
796 SourceLocation ReturnLoc);
Ted Kremenek588e5eb2007-11-25 00:58:00 +0000797 void CheckFloatComparison(SourceLocation loc, Expr* lex, Expr* rex);
Reid Spencer5f016e22007-07-11 17:01:13 +0000798};
799
800
801} // end namespace clang
802
803#endif