1 //===--- ASTReaderStmt.cpp - Stmt/Expr Deserialization ----------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Statement/expression deserialization. This implements the
11 // ASTReader::ReadStmt method.
13 //===----------------------------------------------------------------------===//
15 #include "clang/Serialization/ASTReader.h"
16 #include "clang/AST/DeclCXX.h"
17 #include "clang/AST/DeclTemplate.h"
18 #include "clang/AST/StmtVisitor.h"
19 using namespace clang;
20 using namespace clang::serialization;
24 class ASTStmtReader : public StmtVisitor<ASTStmtReader> {
25 typedef ASTReader::RecordData RecordData;
29 llvm::BitstreamCursor &DeclsCursor;
30 const ASTReader::RecordData &Record;
33 SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
34 return Reader.ReadSourceLocation(F, R, I);
37 SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
38 return Reader.ReadSourceRange(F, R, I);
41 TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
42 return Reader.GetTypeSourceInfo(F, R, I);
45 serialization::DeclID ReadDeclID(const RecordData &R, unsigned &I) {
46 return Reader.ReadDeclID(F, R, I);
49 Decl *ReadDecl(const RecordData &R, unsigned &I) {
50 return Reader.ReadDecl(F, R, I);
54 T *ReadDeclAs(const RecordData &R, unsigned &I) {
55 return Reader.ReadDeclAs<T>(F, R, I);
58 void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
59 const ASTReader::RecordData &R, unsigned &I) {
60 Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
63 void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
64 const ASTReader::RecordData &R, unsigned &I) {
65 Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
69 ASTStmtReader(ASTReader &Reader, Module &F,
70 llvm::BitstreamCursor &Cursor,
71 const ASTReader::RecordData &Record, unsigned &Idx)
72 : Reader(Reader), F(F), DeclsCursor(Cursor), Record(Record), Idx(Idx) { }
74 /// \brief The number of record fields required for the Stmt class
76 static const unsigned NumStmtFields = 0;
78 /// \brief The number of record fields required for the Expr class
80 static const unsigned NumExprFields = NumStmtFields + 7;
82 /// \brief Read and initialize a ExplicitTemplateArgumentList structure.
83 void ReadExplicitTemplateArgumentList(ASTTemplateArgumentListInfo &ArgList,
84 unsigned NumTemplateArgs);
86 void VisitStmt(Stmt *S);
87 #define STMT(Type, Base) \
88 void Visit##Type(Type *);
89 #include "clang/AST/StmtNodes.inc"
94 ReadExplicitTemplateArgumentList(ASTTemplateArgumentListInfo &ArgList,
95 unsigned NumTemplateArgs) {
96 TemplateArgumentListInfo ArgInfo;
97 ArgInfo.setLAngleLoc(ReadSourceLocation(Record, Idx));
98 ArgInfo.setRAngleLoc(ReadSourceLocation(Record, Idx));
99 for (unsigned i = 0; i != NumTemplateArgs; ++i)
101 Reader.ReadTemplateArgumentLoc(F, Record, Idx));
102 ArgList.initializeFrom(ArgInfo);
105 void ASTStmtReader::VisitStmt(Stmt *S) {
106 assert(Idx == NumStmtFields && "Incorrect statement field count");
109 void ASTStmtReader::VisitNullStmt(NullStmt *S) {
111 S->setSemiLoc(ReadSourceLocation(Record, Idx));
112 S->HasLeadingEmptyMacro = Record[Idx++];
115 void ASTStmtReader::VisitCompoundStmt(CompoundStmt *S) {
117 SmallVector<Stmt *, 16> Stmts;
118 unsigned NumStmts = Record[Idx++];
120 Stmts.push_back(Reader.ReadSubStmt());
121 S->setStmts(Reader.getContext(), Stmts.data(), Stmts.size());
122 S->setLBracLoc(ReadSourceLocation(Record, Idx));
123 S->setRBracLoc(ReadSourceLocation(Record, Idx));
126 void ASTStmtReader::VisitSwitchCase(SwitchCase *S) {
128 Reader.RecordSwitchCaseID(S, Record[Idx++]);
131 void ASTStmtReader::VisitCaseStmt(CaseStmt *S) {
133 S->setLHS(Reader.ReadSubExpr());
134 S->setRHS(Reader.ReadSubExpr());
135 S->setSubStmt(Reader.ReadSubStmt());
136 S->setCaseLoc(ReadSourceLocation(Record, Idx));
137 S->setEllipsisLoc(ReadSourceLocation(Record, Idx));
138 S->setColonLoc(ReadSourceLocation(Record, Idx));
141 void ASTStmtReader::VisitDefaultStmt(DefaultStmt *S) {
143 S->setSubStmt(Reader.ReadSubStmt());
144 S->setDefaultLoc(ReadSourceLocation(Record, Idx));
145 S->setColonLoc(ReadSourceLocation(Record, Idx));
148 void ASTStmtReader::VisitLabelStmt(LabelStmt *S) {
150 LabelDecl *LD = ReadDeclAs<LabelDecl>(Record, Idx);
153 S->setSubStmt(Reader.ReadSubStmt());
154 S->setIdentLoc(ReadSourceLocation(Record, Idx));
157 void ASTStmtReader::VisitIfStmt(IfStmt *S) {
159 S->setConditionVariable(Reader.getContext(),
160 ReadDeclAs<VarDecl>(Record, Idx));
161 S->setCond(Reader.ReadSubExpr());
162 S->setThen(Reader.ReadSubStmt());
163 S->setElse(Reader.ReadSubStmt());
164 S->setIfLoc(ReadSourceLocation(Record, Idx));
165 S->setElseLoc(ReadSourceLocation(Record, Idx));
168 void ASTStmtReader::VisitSwitchStmt(SwitchStmt *S) {
170 S->setConditionVariable(Reader.getContext(),
171 ReadDeclAs<VarDecl>(Record, Idx));
172 S->setCond(Reader.ReadSubExpr());
173 S->setBody(Reader.ReadSubStmt());
174 S->setSwitchLoc(ReadSourceLocation(Record, Idx));
176 S->setAllEnumCasesCovered();
178 SwitchCase *PrevSC = 0;
179 for (unsigned N = Record.size(); Idx != N; ++Idx) {
180 SwitchCase *SC = Reader.getSwitchCaseWithID(Record[Idx]);
182 PrevSC->setNextSwitchCase(SC);
184 S->setSwitchCaseList(SC);
190 void ASTStmtReader::VisitWhileStmt(WhileStmt *S) {
192 S->setConditionVariable(Reader.getContext(),
193 ReadDeclAs<VarDecl>(Record, Idx));
195 S->setCond(Reader.ReadSubExpr());
196 S->setBody(Reader.ReadSubStmt());
197 S->setWhileLoc(ReadSourceLocation(Record, Idx));
200 void ASTStmtReader::VisitDoStmt(DoStmt *S) {
202 S->setCond(Reader.ReadSubExpr());
203 S->setBody(Reader.ReadSubStmt());
204 S->setDoLoc(ReadSourceLocation(Record, Idx));
205 S->setWhileLoc(ReadSourceLocation(Record, Idx));
206 S->setRParenLoc(ReadSourceLocation(Record, Idx));
209 void ASTStmtReader::VisitForStmt(ForStmt *S) {
211 S->setInit(Reader.ReadSubStmt());
212 S->setCond(Reader.ReadSubExpr());
213 S->setConditionVariable(Reader.getContext(),
214 ReadDeclAs<VarDecl>(Record, Idx));
215 S->setInc(Reader.ReadSubExpr());
216 S->setBody(Reader.ReadSubStmt());
217 S->setForLoc(ReadSourceLocation(Record, Idx));
218 S->setLParenLoc(ReadSourceLocation(Record, Idx));
219 S->setRParenLoc(ReadSourceLocation(Record, Idx));
222 void ASTStmtReader::VisitGotoStmt(GotoStmt *S) {
224 S->setLabel(ReadDeclAs<LabelDecl>(Record, Idx));
225 S->setGotoLoc(ReadSourceLocation(Record, Idx));
226 S->setLabelLoc(ReadSourceLocation(Record, Idx));
229 void ASTStmtReader::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
231 S->setGotoLoc(ReadSourceLocation(Record, Idx));
232 S->setStarLoc(ReadSourceLocation(Record, Idx));
233 S->setTarget(Reader.ReadSubExpr());
236 void ASTStmtReader::VisitContinueStmt(ContinueStmt *S) {
238 S->setContinueLoc(ReadSourceLocation(Record, Idx));
241 void ASTStmtReader::VisitBreakStmt(BreakStmt *S) {
243 S->setBreakLoc(ReadSourceLocation(Record, Idx));
246 void ASTStmtReader::VisitReturnStmt(ReturnStmt *S) {
248 S->setRetValue(Reader.ReadSubExpr());
249 S->setReturnLoc(ReadSourceLocation(Record, Idx));
250 S->setNRVOCandidate(ReadDeclAs<VarDecl>(Record, Idx));
253 void ASTStmtReader::VisitDeclStmt(DeclStmt *S) {
255 S->setStartLoc(ReadSourceLocation(Record, Idx));
256 S->setEndLoc(ReadSourceLocation(Record, Idx));
258 if (Idx + 1 == Record.size()) {
259 // Single declaration
260 S->setDeclGroup(DeclGroupRef(ReadDecl(Record, Idx)));
262 SmallVector<Decl *, 16> Decls;
263 Decls.reserve(Record.size() - Idx);
264 for (unsigned N = Record.size(); Idx != N; )
265 Decls.push_back(ReadDecl(Record, Idx));
266 S->setDeclGroup(DeclGroupRef(DeclGroup::Create(Reader.getContext(),
272 void ASTStmtReader::VisitAsmStmt(AsmStmt *S) {
274 unsigned NumOutputs = Record[Idx++];
275 unsigned NumInputs = Record[Idx++];
276 unsigned NumClobbers = Record[Idx++];
277 S->setAsmLoc(ReadSourceLocation(Record, Idx));
278 S->setRParenLoc(ReadSourceLocation(Record, Idx));
279 S->setVolatile(Record[Idx++]);
280 S->setSimple(Record[Idx++]);
281 S->setMSAsm(Record[Idx++]);
283 S->setAsmString(cast_or_null<StringLiteral>(Reader.ReadSubStmt()));
285 // Outputs and inputs
286 SmallVector<IdentifierInfo *, 16> Names;
287 SmallVector<StringLiteral*, 16> Constraints;
288 SmallVector<Stmt*, 16> Exprs;
289 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
290 Names.push_back(Reader.GetIdentifierInfo(F, Record, Idx));
291 Constraints.push_back(cast_or_null<StringLiteral>(Reader.ReadSubStmt()));
292 Exprs.push_back(Reader.ReadSubStmt());
296 SmallVector<StringLiteral*, 16> Clobbers;
297 for (unsigned I = 0; I != NumClobbers; ++I)
298 Clobbers.push_back(cast_or_null<StringLiteral>(Reader.ReadSubStmt()));
300 S->setOutputsAndInputsAndClobbers(Reader.getContext(),
301 Names.data(), Constraints.data(),
302 Exprs.data(), NumOutputs, NumInputs,
303 Clobbers.data(), NumClobbers);
306 void ASTStmtReader::VisitExpr(Expr *E) {
308 E->setType(Reader.readType(F, Record, Idx));
309 E->setTypeDependent(Record[Idx++]);
310 E->setValueDependent(Record[Idx++]);
311 E->setInstantiationDependent(Record[Idx++]);
312 E->ExprBits.ContainsUnexpandedParameterPack = Record[Idx++];
313 E->setValueKind(static_cast<ExprValueKind>(Record[Idx++]));
314 E->setObjectKind(static_cast<ExprObjectKind>(Record[Idx++]));
315 assert(Idx == NumExprFields && "Incorrect expression field count");
318 void ASTStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
320 E->setLocation(ReadSourceLocation(Record, Idx));
321 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
324 void ASTStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
327 E->DeclRefExprBits.HasQualifier = Record[Idx++];
328 E->DeclRefExprBits.HasFoundDecl = Record[Idx++];
329 E->DeclRefExprBits.HasExplicitTemplateArgs = Record[Idx++];
330 E->DeclRefExprBits.HadMultipleCandidates = Record[Idx++];
331 unsigned NumTemplateArgs = 0;
332 if (E->hasExplicitTemplateArgs())
333 NumTemplateArgs = Record[Idx++];
335 if (E->hasQualifier())
336 E->getInternalQualifierLoc()
337 = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
339 if (E->hasFoundDecl())
340 E->getInternalFoundDecl() = ReadDeclAs<NamedDecl>(Record, Idx);
342 if (E->hasExplicitTemplateArgs())
343 ReadExplicitTemplateArgumentList(E->getExplicitTemplateArgs(),
346 E->setDecl(ReadDeclAs<ValueDecl>(Record, Idx));
347 E->setLocation(ReadSourceLocation(Record, Idx));
348 ReadDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName(), Record, Idx);
351 void ASTStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
353 E->setLocation(ReadSourceLocation(Record, Idx));
354 E->setValue(Reader.getContext(), Reader.ReadAPInt(Record, Idx));
357 void ASTStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
359 E->setValue(Reader.getContext(), Reader.ReadAPFloat(Record, Idx));
360 E->setExact(Record[Idx++]);
361 E->setLocation(ReadSourceLocation(Record, Idx));
364 void ASTStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
366 E->setSubExpr(Reader.ReadSubExpr());
369 void ASTStmtReader::VisitStringLiteral(StringLiteral *E) {
371 unsigned Len = Record[Idx++];
372 assert(Record[Idx] == E->getNumConcatenated() &&
373 "Wrong number of concatenated tokens!");
375 E->Kind = static_cast<StringLiteral::StringKind>(Record[Idx++]);
376 E->IsPascal = Record[Idx++];
379 llvm::SmallString<16> Str(&Record[Idx], &Record[Idx] + Len);
380 E->setString(Reader.getContext(), Str.str());
383 // Read source locations
384 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
385 E->setStrTokenLoc(I, ReadSourceLocation(Record, Idx));
388 void ASTStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
390 E->setValue(Record[Idx++]);
391 E->setLocation(ReadSourceLocation(Record, Idx));
392 E->setKind(static_cast<CharacterLiteral::CharacterKind>(Record[Idx++]));
395 void ASTStmtReader::VisitParenExpr(ParenExpr *E) {
397 E->setLParen(ReadSourceLocation(Record, Idx));
398 E->setRParen(ReadSourceLocation(Record, Idx));
399 E->setSubExpr(Reader.ReadSubExpr());
402 void ASTStmtReader::VisitParenListExpr(ParenListExpr *E) {
404 unsigned NumExprs = Record[Idx++];
405 E->Exprs = new (Reader.getContext()) Stmt*[NumExprs];
406 for (unsigned i = 0; i != NumExprs; ++i)
407 E->Exprs[i] = Reader.ReadSubStmt();
408 E->NumExprs = NumExprs;
409 E->LParenLoc = ReadSourceLocation(Record, Idx);
410 E->RParenLoc = ReadSourceLocation(Record, Idx);
413 void ASTStmtReader::VisitUnaryOperator(UnaryOperator *E) {
415 E->setSubExpr(Reader.ReadSubExpr());
416 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
417 E->setOperatorLoc(ReadSourceLocation(Record, Idx));
420 void ASTStmtReader::VisitOffsetOfExpr(OffsetOfExpr *E) {
421 typedef OffsetOfExpr::OffsetOfNode Node;
423 assert(E->getNumComponents() == Record[Idx]);
425 assert(E->getNumExpressions() == Record[Idx]);
427 E->setOperatorLoc(ReadSourceLocation(Record, Idx));
428 E->setRParenLoc(ReadSourceLocation(Record, Idx));
429 E->setTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
430 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
431 Node::Kind Kind = static_cast<Node::Kind>(Record[Idx++]);
432 SourceLocation Start = ReadSourceLocation(Record, Idx);
433 SourceLocation End = ReadSourceLocation(Record, Idx);
436 E->setComponent(I, Node(Start, Record[Idx++], End));
440 E->setComponent(I, Node(Start, ReadDeclAs<FieldDecl>(Record, Idx), End));
443 case Node::Identifier:
446 Reader.GetIdentifierInfo(F, Record, Idx),
451 CXXBaseSpecifier *Base = new (Reader.getContext()) CXXBaseSpecifier();
452 *Base = Reader.ReadCXXBaseSpecifier(F, Record, Idx);
453 E->setComponent(I, Node(Base));
459 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
460 E->setIndexExpr(I, Reader.ReadSubExpr());
463 void ASTStmtReader::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
465 E->setKind(static_cast<UnaryExprOrTypeTrait>(Record[Idx++]));
466 if (Record[Idx] == 0) {
467 E->setArgument(Reader.ReadSubExpr());
470 E->setArgument(GetTypeSourceInfo(Record, Idx));
472 E->setOperatorLoc(ReadSourceLocation(Record, Idx));
473 E->setRParenLoc(ReadSourceLocation(Record, Idx));
476 void ASTStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
478 E->setLHS(Reader.ReadSubExpr());
479 E->setRHS(Reader.ReadSubExpr());
480 E->setRBracketLoc(ReadSourceLocation(Record, Idx));
483 void ASTStmtReader::VisitCallExpr(CallExpr *E) {
485 E->setNumArgs(Reader.getContext(), Record[Idx++]);
486 E->setRParenLoc(ReadSourceLocation(Record, Idx));
487 E->setCallee(Reader.ReadSubExpr());
488 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
489 E->setArg(I, Reader.ReadSubExpr());
492 void ASTStmtReader::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
496 void ASTStmtReader::VisitMemberExpr(MemberExpr *E) {
497 // Don't call VisitExpr, this is fully initialized at creation.
498 assert(E->getStmtClass() == Stmt::MemberExprClass &&
499 "It's a subclass, we must advance Idx!");
502 void ASTStmtReader::VisitObjCIsaExpr(ObjCIsaExpr *E) {
504 E->setBase(Reader.ReadSubExpr());
505 E->setIsaMemberLoc(ReadSourceLocation(Record, Idx));
506 E->setArrow(Record[Idx++]);
510 VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
512 E->Operand = Reader.ReadSubExpr();
513 E->setShouldCopy(Record[Idx++]);
516 void ASTStmtReader::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
517 VisitExplicitCastExpr(E);
518 E->LParenLoc = ReadSourceLocation(Record, Idx);
519 E->BridgeKeywordLoc = ReadSourceLocation(Record, Idx);
520 E->Kind = Record[Idx++];
523 void ASTStmtReader::VisitCastExpr(CastExpr *E) {
525 unsigned NumBaseSpecs = Record[Idx++];
526 assert(NumBaseSpecs == E->path_size());
527 E->setSubExpr(Reader.ReadSubExpr());
528 E->setCastKind((CastExpr::CastKind)Record[Idx++]);
529 CastExpr::path_iterator BaseI = E->path_begin();
530 while (NumBaseSpecs--) {
531 CXXBaseSpecifier *BaseSpec = new (Reader.getContext()) CXXBaseSpecifier;
532 *BaseSpec = Reader.ReadCXXBaseSpecifier(F, Record, Idx);
537 void ASTStmtReader::VisitBinaryOperator(BinaryOperator *E) {
539 E->setLHS(Reader.ReadSubExpr());
540 E->setRHS(Reader.ReadSubExpr());
541 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
542 E->setOperatorLoc(ReadSourceLocation(Record, Idx));
545 void ASTStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
546 VisitBinaryOperator(E);
547 E->setComputationLHSType(Reader.readType(F, Record, Idx));
548 E->setComputationResultType(Reader.readType(F, Record, Idx));
551 void ASTStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
553 E->SubExprs[ConditionalOperator::COND] = Reader.ReadSubExpr();
554 E->SubExprs[ConditionalOperator::LHS] = Reader.ReadSubExpr();
555 E->SubExprs[ConditionalOperator::RHS] = Reader.ReadSubExpr();
556 E->QuestionLoc = ReadSourceLocation(Record, Idx);
557 E->ColonLoc = ReadSourceLocation(Record, Idx);
561 ASTStmtReader::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
563 E->OpaqueValue = cast<OpaqueValueExpr>(Reader.ReadSubExpr());
564 E->SubExprs[BinaryConditionalOperator::COMMON] = Reader.ReadSubExpr();
565 E->SubExprs[BinaryConditionalOperator::COND] = Reader.ReadSubExpr();
566 E->SubExprs[BinaryConditionalOperator::LHS] = Reader.ReadSubExpr();
567 E->SubExprs[BinaryConditionalOperator::RHS] = Reader.ReadSubExpr();
568 E->QuestionLoc = ReadSourceLocation(Record, Idx);
569 E->ColonLoc = ReadSourceLocation(Record, Idx);
571 E->getOpaqueValue()->setSourceExpr(E->getCommon());
574 void ASTStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
578 void ASTStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
580 E->setTypeInfoAsWritten(GetTypeSourceInfo(Record, Idx));
583 void ASTStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
584 VisitExplicitCastExpr(E);
585 E->setLParenLoc(ReadSourceLocation(Record, Idx));
586 E->setRParenLoc(ReadSourceLocation(Record, Idx));
589 void ASTStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
591 E->setLParenLoc(ReadSourceLocation(Record, Idx));
592 E->setTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
593 E->setInitializer(Reader.ReadSubExpr());
594 E->setFileScope(Record[Idx++]);
597 void ASTStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
599 E->setBase(Reader.ReadSubExpr());
600 E->setAccessor(Reader.GetIdentifierInfo(F, Record, Idx));
601 E->setAccessorLoc(ReadSourceLocation(Record, Idx));
604 void ASTStmtReader::VisitInitListExpr(InitListExpr *E) {
606 E->setSyntacticForm(cast_or_null<InitListExpr>(Reader.ReadSubStmt()));
607 E->setLBraceLoc(ReadSourceLocation(Record, Idx));
608 E->setRBraceLoc(ReadSourceLocation(Record, Idx));
609 bool isArrayFiller = Record[Idx++];
612 filler = Reader.ReadSubExpr();
613 E->ArrayFillerOrUnionFieldInit = filler;
615 E->ArrayFillerOrUnionFieldInit = ReadDeclAs<FieldDecl>(Record, Idx);
616 E->sawArrayRangeDesignator(Record[Idx++]);
617 unsigned NumInits = Record[Idx++];
618 E->reserveInits(Reader.getContext(), NumInits);
620 for (unsigned I = 0; I != NumInits; ++I) {
621 Expr *init = Reader.ReadSubExpr();
622 E->updateInit(Reader.getContext(), I, init ? init : filler);
625 for (unsigned I = 0; I != NumInits; ++I)
626 E->updateInit(Reader.getContext(), I, Reader.ReadSubExpr());
630 void ASTStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
631 typedef DesignatedInitExpr::Designator Designator;
634 unsigned NumSubExprs = Record[Idx++];
635 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
636 for (unsigned I = 0; I != NumSubExprs; ++I)
637 E->setSubExpr(I, Reader.ReadSubExpr());
638 E->setEqualOrColonLoc(ReadSourceLocation(Record, Idx));
639 E->setGNUSyntax(Record[Idx++]);
641 SmallVector<Designator, 4> Designators;
642 while (Idx < Record.size()) {
643 switch ((DesignatorTypes)Record[Idx++]) {
644 case DESIG_FIELD_DECL: {
645 FieldDecl *Field = ReadDeclAs<FieldDecl>(Record, Idx);
646 SourceLocation DotLoc
647 = ReadSourceLocation(Record, Idx);
648 SourceLocation FieldLoc
649 = ReadSourceLocation(Record, Idx);
650 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
652 Designators.back().setField(Field);
656 case DESIG_FIELD_NAME: {
657 const IdentifierInfo *Name = Reader.GetIdentifierInfo(F, Record, Idx);
658 SourceLocation DotLoc
659 = ReadSourceLocation(Record, Idx);
660 SourceLocation FieldLoc
661 = ReadSourceLocation(Record, Idx);
662 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
667 unsigned Index = Record[Idx++];
668 SourceLocation LBracketLoc
669 = ReadSourceLocation(Record, Idx);
670 SourceLocation RBracketLoc
671 = ReadSourceLocation(Record, Idx);
672 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
676 case DESIG_ARRAY_RANGE: {
677 unsigned Index = Record[Idx++];
678 SourceLocation LBracketLoc
679 = ReadSourceLocation(Record, Idx);
680 SourceLocation EllipsisLoc
681 = ReadSourceLocation(Record, Idx);
682 SourceLocation RBracketLoc
683 = ReadSourceLocation(Record, Idx);
684 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
690 E->setDesignators(Reader.getContext(),
691 Designators.data(), Designators.size());
694 void ASTStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
698 void ASTStmtReader::VisitVAArgExpr(VAArgExpr *E) {
700 E->setSubExpr(Reader.ReadSubExpr());
701 E->setWrittenTypeInfo(GetTypeSourceInfo(Record, Idx));
702 E->setBuiltinLoc(ReadSourceLocation(Record, Idx));
703 E->setRParenLoc(ReadSourceLocation(Record, Idx));
706 void ASTStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
708 E->setAmpAmpLoc(ReadSourceLocation(Record, Idx));
709 E->setLabelLoc(ReadSourceLocation(Record, Idx));
710 E->setLabel(ReadDeclAs<LabelDecl>(Record, Idx));
713 void ASTStmtReader::VisitStmtExpr(StmtExpr *E) {
715 E->setLParenLoc(ReadSourceLocation(Record, Idx));
716 E->setRParenLoc(ReadSourceLocation(Record, Idx));
717 E->setSubStmt(cast_or_null<CompoundStmt>(Reader.ReadSubStmt()));
720 void ASTStmtReader::VisitChooseExpr(ChooseExpr *E) {
722 E->setCond(Reader.ReadSubExpr());
723 E->setLHS(Reader.ReadSubExpr());
724 E->setRHS(Reader.ReadSubExpr());
725 E->setBuiltinLoc(ReadSourceLocation(Record, Idx));
726 E->setRParenLoc(ReadSourceLocation(Record, Idx));
729 void ASTStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
731 E->setTokenLocation(ReadSourceLocation(Record, Idx));
734 void ASTStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
736 SmallVector<Expr *, 16> Exprs;
737 unsigned NumExprs = Record[Idx++];
739 Exprs.push_back(Reader.ReadSubExpr());
740 E->setExprs(Reader.getContext(), Exprs.data(), Exprs.size());
741 E->setBuiltinLoc(ReadSourceLocation(Record, Idx));
742 E->setRParenLoc(ReadSourceLocation(Record, Idx));
745 void ASTStmtReader::VisitBlockExpr(BlockExpr *E) {
747 E->setBlockDecl(ReadDeclAs<BlockDecl>(Record, Idx));
750 void ASTStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
752 E->setDecl(ReadDeclAs<VarDecl>(Record, Idx));
753 E->setLocation(ReadSourceLocation(Record, Idx));
754 E->setByRef(Record[Idx++]);
755 E->setConstQualAdded(Record[Idx++]);
758 void ASTStmtReader::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
760 E->NumAssocs = Record[Idx++];
761 E->AssocTypes = new (Reader.getContext()) TypeSourceInfo*[E->NumAssocs];
763 new(Reader.getContext()) Stmt*[GenericSelectionExpr::END_EXPR+E->NumAssocs];
765 E->SubExprs[GenericSelectionExpr::CONTROLLING] = Reader.ReadSubExpr();
766 for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
767 E->AssocTypes[I] = GetTypeSourceInfo(Record, Idx);
768 E->SubExprs[GenericSelectionExpr::END_EXPR+I] = Reader.ReadSubExpr();
770 E->ResultIndex = Record[Idx++];
772 E->GenericLoc = ReadSourceLocation(Record, Idx);
773 E->DefaultLoc = ReadSourceLocation(Record, Idx);
774 E->RParenLoc = ReadSourceLocation(Record, Idx);
777 void ASTStmtReader::VisitAtomicExpr(AtomicExpr *E) {
779 E->setOp(AtomicExpr::AtomicOp(Record[Idx++]));
780 E->setPtr(Reader.ReadSubExpr());
781 E->setOrder(Reader.ReadSubExpr());
782 E->setNumSubExprs(2);
783 if (E->getOp() != AtomicExpr::Load) {
784 E->setVal1(Reader.ReadSubExpr());
785 E->setNumSubExprs(3);
787 if (E->isCmpXChg()) {
788 E->setOrderFail(Reader.ReadSubExpr());
789 E->setVal2(Reader.ReadSubExpr());
790 E->setNumSubExprs(5);
792 E->setBuiltinLoc(ReadSourceLocation(Record, Idx));
793 E->setRParenLoc(ReadSourceLocation(Record, Idx));
796 //===----------------------------------------------------------------------===//
797 // Objective-C Expressions and Statements
799 void ASTStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
801 E->setString(cast<StringLiteral>(Reader.ReadSubStmt()));
802 E->setAtLoc(ReadSourceLocation(Record, Idx));
805 void ASTStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
807 E->setEncodedTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
808 E->setAtLoc(ReadSourceLocation(Record, Idx));
809 E->setRParenLoc(ReadSourceLocation(Record, Idx));
812 void ASTStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
814 E->setSelector(Reader.ReadSelector(F, Record, Idx));
815 E->setAtLoc(ReadSourceLocation(Record, Idx));
816 E->setRParenLoc(ReadSourceLocation(Record, Idx));
819 void ASTStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
821 E->setProtocol(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
822 E->setAtLoc(ReadSourceLocation(Record, Idx));
823 E->setRParenLoc(ReadSourceLocation(Record, Idx));
826 void ASTStmtReader::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
828 E->setDecl(ReadDeclAs<ObjCIvarDecl>(Record, Idx));
829 E->setLocation(ReadSourceLocation(Record, Idx));
830 E->setBase(Reader.ReadSubExpr());
831 E->setIsArrow(Record[Idx++]);
832 E->setIsFreeIvar(Record[Idx++]);
835 void ASTStmtReader::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
837 bool Implicit = Record[Idx++] != 0;
839 ObjCMethodDecl *Getter = ReadDeclAs<ObjCMethodDecl>(Record, Idx);
840 ObjCMethodDecl *Setter = ReadDeclAs<ObjCMethodDecl>(Record, Idx);
841 E->setImplicitProperty(Getter, Setter);
843 E->setExplicitProperty(ReadDeclAs<ObjCPropertyDecl>(Record, Idx));
845 E->setLocation(ReadSourceLocation(Record, Idx));
846 E->setReceiverLocation(ReadSourceLocation(Record, Idx));
847 switch (Record[Idx++]) {
849 E->setBase(Reader.ReadSubExpr());
852 E->setSuperReceiver(Reader.readType(F, Record, Idx));
855 E->setClassReceiver(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
860 void ASTStmtReader::VisitObjCMessageExpr(ObjCMessageExpr *E) {
862 assert(Record[Idx] == E->getNumArgs());
864 unsigned NumStoredSelLocs = Record[Idx++];
865 E->SelLocsKind = Record[Idx++];
866 E->setDelegateInitCall(Record[Idx++]);
867 ObjCMessageExpr::ReceiverKind Kind
868 = static_cast<ObjCMessageExpr::ReceiverKind>(Record[Idx++]);
870 case ObjCMessageExpr::Instance:
871 E->setInstanceReceiver(Reader.ReadSubExpr());
874 case ObjCMessageExpr::Class:
875 E->setClassReceiver(GetTypeSourceInfo(Record, Idx));
878 case ObjCMessageExpr::SuperClass:
879 case ObjCMessageExpr::SuperInstance: {
880 QualType T = Reader.readType(F, Record, Idx);
881 SourceLocation SuperLoc = ReadSourceLocation(Record, Idx);
882 E->setSuper(SuperLoc, T, Kind == ObjCMessageExpr::SuperInstance);
887 assert(Kind == E->getReceiverKind());
890 E->setMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
892 E->setSelector(Reader.ReadSelector(F, Record, Idx));
894 E->LBracLoc = ReadSourceLocation(Record, Idx);
895 E->RBracLoc = ReadSourceLocation(Record, Idx);
897 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
898 E->setArg(I, Reader.ReadSubExpr());
900 SourceLocation *Locs = E->getStoredSelLocs();
901 for (unsigned I = 0; I != NumStoredSelLocs; ++I)
902 Locs[I] = ReadSourceLocation(Record, Idx);
905 void ASTStmtReader::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
907 S->setElement(Reader.ReadSubStmt());
908 S->setCollection(Reader.ReadSubExpr());
909 S->setBody(Reader.ReadSubStmt());
910 S->setForLoc(ReadSourceLocation(Record, Idx));
911 S->setRParenLoc(ReadSourceLocation(Record, Idx));
914 void ASTStmtReader::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
916 S->setCatchBody(Reader.ReadSubStmt());
917 S->setCatchParamDecl(ReadDeclAs<VarDecl>(Record, Idx));
918 S->setAtCatchLoc(ReadSourceLocation(Record, Idx));
919 S->setRParenLoc(ReadSourceLocation(Record, Idx));
922 void ASTStmtReader::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
924 S->setFinallyBody(Reader.ReadSubStmt());
925 S->setAtFinallyLoc(ReadSourceLocation(Record, Idx));
928 void ASTStmtReader::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
930 S->setSubStmt(Reader.ReadSubStmt());
931 S->setAtLoc(ReadSourceLocation(Record, Idx));
934 void ASTStmtReader::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
936 assert(Record[Idx] == S->getNumCatchStmts());
938 bool HasFinally = Record[Idx++];
939 S->setTryBody(Reader.ReadSubStmt());
940 for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
941 S->setCatchStmt(I, cast_or_null<ObjCAtCatchStmt>(Reader.ReadSubStmt()));
944 S->setFinallyStmt(Reader.ReadSubStmt());
945 S->setAtTryLoc(ReadSourceLocation(Record, Idx));
948 void ASTStmtReader::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
950 S->setSynchExpr(Reader.ReadSubStmt());
951 S->setSynchBody(Reader.ReadSubStmt());
952 S->setAtSynchronizedLoc(ReadSourceLocation(Record, Idx));
955 void ASTStmtReader::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
957 S->setThrowExpr(Reader.ReadSubStmt());
958 S->setThrowLoc(ReadSourceLocation(Record, Idx));
961 //===----------------------------------------------------------------------===//
962 // C++ Expressions and Statements
963 //===----------------------------------------------------------------------===//
965 void ASTStmtReader::VisitCXXCatchStmt(CXXCatchStmt *S) {
967 S->CatchLoc = ReadSourceLocation(Record, Idx);
968 S->ExceptionDecl = ReadDeclAs<VarDecl>(Record, Idx);
969 S->HandlerBlock = Reader.ReadSubStmt();
972 void ASTStmtReader::VisitCXXTryStmt(CXXTryStmt *S) {
974 assert(Record[Idx] == S->getNumHandlers() && "NumStmtFields is wrong ?");
976 S->TryLoc = ReadSourceLocation(Record, Idx);
977 S->getStmts()[0] = Reader.ReadSubStmt();
978 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
979 S->getStmts()[i + 1] = Reader.ReadSubStmt();
982 void ASTStmtReader::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
984 S->setForLoc(ReadSourceLocation(Record, Idx));
985 S->setColonLoc(ReadSourceLocation(Record, Idx));
986 S->setRParenLoc(ReadSourceLocation(Record, Idx));
987 S->setRangeStmt(Reader.ReadSubStmt());
988 S->setBeginEndStmt(Reader.ReadSubStmt());
989 S->setCond(Reader.ReadSubExpr());
990 S->setInc(Reader.ReadSubExpr());
991 S->setLoopVarStmt(Reader.ReadSubStmt());
992 S->setBody(Reader.ReadSubStmt());
995 void ASTStmtReader::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
997 E->setOperator((OverloadedOperatorKind)Record[Idx++]);
1000 void ASTStmtReader::VisitCXXConstructExpr(CXXConstructExpr *E) {
1002 E->NumArgs = Record[Idx++];
1004 E->Args = new (Reader.getContext()) Stmt*[E->NumArgs];
1005 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1006 E->setArg(I, Reader.ReadSubExpr());
1007 E->setConstructor(ReadDeclAs<CXXConstructorDecl>(Record, Idx));
1008 E->setLocation(ReadSourceLocation(Record, Idx));
1009 E->setElidable(Record[Idx++]);
1010 E->setHadMultipleCandidates(Record[Idx++]);
1011 E->setRequiresZeroInitialization(Record[Idx++]);
1012 E->setConstructionKind((CXXConstructExpr::ConstructionKind)Record[Idx++]);
1013 E->ParenRange = ReadSourceRange(Record, Idx);
1016 void ASTStmtReader::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1017 VisitCXXConstructExpr(E);
1018 E->Type = GetTypeSourceInfo(Record, Idx);
1021 void ASTStmtReader::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1022 VisitExplicitCastExpr(E);
1023 SourceRange R = ReadSourceRange(Record, Idx);
1024 E->Loc = R.getBegin();
1025 E->RParenLoc = R.getEnd();
1028 void ASTStmtReader::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1029 return VisitCXXNamedCastExpr(E);
1032 void ASTStmtReader::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1033 return VisitCXXNamedCastExpr(E);
1036 void ASTStmtReader::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1037 return VisitCXXNamedCastExpr(E);
1040 void ASTStmtReader::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1041 return VisitCXXNamedCastExpr(E);
1044 void ASTStmtReader::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1045 VisitExplicitCastExpr(E);
1046 E->setTypeBeginLoc(ReadSourceLocation(Record, Idx));
1047 E->setRParenLoc(ReadSourceLocation(Record, Idx));
1050 void ASTStmtReader::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1052 E->setValue(Record[Idx++]);
1053 E->setLocation(ReadSourceLocation(Record, Idx));
1056 void ASTStmtReader::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1058 E->setLocation(ReadSourceLocation(Record, Idx));
1061 void ASTStmtReader::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1063 E->setSourceRange(ReadSourceRange(Record, Idx));
1064 if (E->isTypeOperand()) { // typeid(int)
1065 E->setTypeOperandSourceInfo(
1066 GetTypeSourceInfo(Record, Idx));
1071 E->setExprOperand(Reader.ReadSubExpr());
1074 void ASTStmtReader::VisitCXXThisExpr(CXXThisExpr *E) {
1076 E->setLocation(ReadSourceLocation(Record, Idx));
1077 E->setImplicit(Record[Idx++]);
1080 void ASTStmtReader::VisitCXXThrowExpr(CXXThrowExpr *E) {
1082 E->ThrowLoc = ReadSourceLocation(Record, Idx);
1083 E->Op = Reader.ReadSubExpr();
1084 E->IsThrownVariableInScope = Record[Idx++];
1087 void ASTStmtReader::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1090 assert((bool)Record[Idx] == E->Param.getInt() && "We messed up at creation ?");
1091 ++Idx; // HasOtherExprStored and SubExpr was handled during creation.
1092 E->Param.setPointer(ReadDeclAs<ParmVarDecl>(Record, Idx));
1093 E->Loc = ReadSourceLocation(Record, Idx);
1096 void ASTStmtReader::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1098 E->setTemporary(Reader.ReadCXXTemporary(F, Record, Idx));
1099 E->setSubExpr(Reader.ReadSubExpr());
1102 void ASTStmtReader::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1104 E->TypeInfo = GetTypeSourceInfo(Record, Idx);
1105 E->RParenLoc = ReadSourceLocation(Record, Idx);
1108 void ASTStmtReader::VisitCXXNewExpr(CXXNewExpr *E) {
1110 E->GlobalNew = Record[Idx++];
1111 E->Initializer = Record[Idx++];
1112 E->UsualArrayDeleteWantsSize = Record[Idx++];
1113 bool isArray = Record[Idx++];
1114 E->setHadMultipleCandidates(Record[Idx++]);
1115 unsigned NumPlacementArgs = Record[Idx++];
1116 unsigned NumCtorArgs = Record[Idx++];
1117 E->setOperatorNew(ReadDeclAs<FunctionDecl>(Record, Idx));
1118 E->setOperatorDelete(ReadDeclAs<FunctionDecl>(Record, Idx));
1119 E->setConstructor(ReadDeclAs<CXXConstructorDecl>(Record, Idx));
1120 E->AllocatedTypeInfo = GetTypeSourceInfo(Record, Idx);
1121 SourceRange TypeIdParens;
1122 TypeIdParens.setBegin(ReadSourceLocation(Record, Idx));
1123 TypeIdParens.setEnd(ReadSourceLocation(Record, Idx));
1124 E->TypeIdParens = TypeIdParens;
1125 E->StartLoc = ReadSourceLocation(Record, Idx);
1126 E->EndLoc = ReadSourceLocation(Record, Idx);
1127 E->ConstructorLParen = ReadSourceLocation(Record, Idx);
1128 E->ConstructorRParen = ReadSourceLocation(Record, Idx);
1130 E->AllocateArgsArray(Reader.getContext(), isArray, NumPlacementArgs,
1133 // Install all the subexpressions.
1134 for (CXXNewExpr::raw_arg_iterator I = E->raw_arg_begin(),e = E->raw_arg_end();
1136 *I = Reader.ReadSubStmt();
1139 void ASTStmtReader::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1141 E->GlobalDelete = Record[Idx++];
1142 E->ArrayForm = Record[Idx++];
1143 E->ArrayFormAsWritten = Record[Idx++];
1144 E->UsualArrayDeleteWantsSize = Record[Idx++];
1145 E->OperatorDelete = ReadDeclAs<FunctionDecl>(Record, Idx);
1146 E->Argument = Reader.ReadSubExpr();
1147 E->Loc = ReadSourceLocation(Record, Idx);
1150 void ASTStmtReader::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1153 E->Base = Reader.ReadSubExpr();
1154 E->IsArrow = Record[Idx++];
1155 E->OperatorLoc = ReadSourceLocation(Record, Idx);
1156 E->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1157 E->ScopeType = GetTypeSourceInfo(Record, Idx);
1158 E->ColonColonLoc = ReadSourceLocation(Record, Idx);
1159 E->TildeLoc = ReadSourceLocation(Record, Idx);
1161 IdentifierInfo *II = Reader.GetIdentifierInfo(F, Record, Idx);
1163 E->setDestroyedType(II, ReadSourceLocation(Record, Idx));
1165 E->setDestroyedType(GetTypeSourceInfo(Record, Idx));
1168 void ASTStmtReader::VisitExprWithCleanups(ExprWithCleanups *E) {
1170 unsigned NumTemps = Record[Idx++];
1172 E->setNumTemporaries(Reader.getContext(), NumTemps);
1173 for (unsigned i = 0; i != NumTemps; ++i)
1174 E->setTemporary(i, Reader.ReadCXXTemporary(F, Record, Idx));
1176 E->setSubExpr(Reader.ReadSubExpr());
1180 ASTStmtReader::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
1184 ReadExplicitTemplateArgumentList(E->getExplicitTemplateArgs(),
1187 E->Base = Reader.ReadSubExpr();
1188 E->BaseType = Reader.readType(F, Record, Idx);
1189 E->IsArrow = Record[Idx++];
1190 E->OperatorLoc = ReadSourceLocation(Record, Idx);
1191 E->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1192 E->FirstQualifierFoundInScope = ReadDeclAs<NamedDecl>(Record, Idx);
1193 ReadDeclarationNameInfo(E->MemberNameInfo, Record, Idx);
1197 ASTStmtReader::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
1201 ReadExplicitTemplateArgumentList(E->getExplicitTemplateArgs(),
1204 E->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1205 ReadDeclarationNameInfo(E->NameInfo, Record, Idx);
1209 ASTStmtReader::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
1211 assert(Record[Idx] == E->arg_size() && "Read wrong record during creation ?");
1213 for (unsigned I = 0, N = E->arg_size(); I != N; ++I)
1214 E->setArg(I, Reader.ReadSubExpr());
1215 E->Type = GetTypeSourceInfo(Record, Idx);
1216 E->setLParenLoc(ReadSourceLocation(Record, Idx));
1217 E->setRParenLoc(ReadSourceLocation(Record, Idx));
1220 void ASTStmtReader::VisitOverloadExpr(OverloadExpr *E) {
1223 // Read the explicit template argument list, if available.
1225 ReadExplicitTemplateArgumentList(E->getExplicitTemplateArgs(),
1228 unsigned NumDecls = Record[Idx++];
1229 UnresolvedSet<8> Decls;
1230 for (unsigned i = 0; i != NumDecls; ++i) {
1231 NamedDecl *D = ReadDeclAs<NamedDecl>(Record, Idx);
1232 AccessSpecifier AS = (AccessSpecifier)Record[Idx++];
1233 Decls.addDecl(D, AS);
1235 E->initializeResults(Reader.getContext(), Decls.begin(), Decls.end());
1237 ReadDeclarationNameInfo(E->NameInfo, Record, Idx);
1238 E->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1241 void ASTStmtReader::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
1242 VisitOverloadExpr(E);
1243 E->IsArrow = Record[Idx++];
1244 E->HasUnresolvedUsing = Record[Idx++];
1245 E->Base = Reader.ReadSubExpr();
1246 E->BaseType = Reader.readType(F, Record, Idx);
1247 E->OperatorLoc = ReadSourceLocation(Record, Idx);
1250 void ASTStmtReader::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
1251 VisitOverloadExpr(E);
1252 E->RequiresADL = Record[Idx++];
1254 E->StdIsAssociatedNamespace = Record[Idx++];
1255 E->Overloaded = Record[Idx++];
1256 E->NamingClass = ReadDeclAs<CXXRecordDecl>(Record, Idx);
1259 void ASTStmtReader::VisitUnaryTypeTraitExpr(UnaryTypeTraitExpr *E) {
1261 E->UTT = (UnaryTypeTrait)Record[Idx++];
1262 E->Value = (bool)Record[Idx++];
1263 SourceRange Range = ReadSourceRange(Record, Idx);
1264 E->Loc = Range.getBegin();
1265 E->RParen = Range.getEnd();
1266 E->QueriedType = GetTypeSourceInfo(Record, Idx);
1269 void ASTStmtReader::VisitBinaryTypeTraitExpr(BinaryTypeTraitExpr *E) {
1271 E->BTT = (BinaryTypeTrait)Record[Idx++];
1272 E->Value = (bool)Record[Idx++];
1273 SourceRange Range = ReadSourceRange(Record, Idx);
1274 E->Loc = Range.getBegin();
1275 E->RParen = Range.getEnd();
1276 E->LhsType = GetTypeSourceInfo(Record, Idx);
1277 E->RhsType = GetTypeSourceInfo(Record, Idx);
1280 void ASTStmtReader::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1282 E->ATT = (ArrayTypeTrait)Record[Idx++];
1283 E->Value = (unsigned int)Record[Idx++];
1284 SourceRange Range = ReadSourceRange(Record, Idx);
1285 E->Loc = Range.getBegin();
1286 E->RParen = Range.getEnd();
1287 E->QueriedType = GetTypeSourceInfo(Record, Idx);
1290 void ASTStmtReader::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1292 E->ET = (ExpressionTrait)Record[Idx++];
1293 E->Value = (bool)Record[Idx++];
1294 SourceRange Range = ReadSourceRange(Record, Idx);
1295 E->QueriedExpression = Reader.ReadSubExpr();
1296 E->Loc = Range.getBegin();
1297 E->RParen = Range.getEnd();
1300 void ASTStmtReader::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1302 E->Value = (bool)Record[Idx++];
1303 E->Range = ReadSourceRange(Record, Idx);
1304 E->Operand = Reader.ReadSubExpr();
1307 void ASTStmtReader::VisitPackExpansionExpr(PackExpansionExpr *E) {
1309 E->EllipsisLoc = ReadSourceLocation(Record, Idx);
1310 E->NumExpansions = Record[Idx++];
1311 E->Pattern = Reader.ReadSubExpr();
1314 void ASTStmtReader::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1316 E->OperatorLoc = ReadSourceLocation(Record, Idx);
1317 E->PackLoc = ReadSourceLocation(Record, Idx);
1318 E->RParenLoc = ReadSourceLocation(Record, Idx);
1319 E->Length = Record[Idx++];
1320 E->Pack = ReadDeclAs<NamedDecl>(Record, Idx);
1323 void ASTStmtReader::VisitSubstNonTypeTemplateParmExpr(
1324 SubstNonTypeTemplateParmExpr *E) {
1326 E->Param = ReadDeclAs<NonTypeTemplateParmDecl>(Record, Idx);
1327 E->NameLoc = ReadSourceLocation(Record, Idx);
1328 E->Replacement = Reader.ReadSubExpr();
1331 void ASTStmtReader::VisitSubstNonTypeTemplateParmPackExpr(
1332 SubstNonTypeTemplateParmPackExpr *E) {
1334 E->Param = ReadDeclAs<NonTypeTemplateParmDecl>(Record, Idx);
1335 TemplateArgument ArgPack = Reader.ReadTemplateArgument(F, Record, Idx);
1336 if (ArgPack.getKind() != TemplateArgument::Pack)
1339 E->Arguments = ArgPack.pack_begin();
1340 E->NumArguments = ArgPack.pack_size();
1341 E->NameLoc = ReadSourceLocation(Record, Idx);
1344 void ASTStmtReader::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1346 E->Temporary = Reader.ReadSubExpr();
1349 void ASTStmtReader::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1352 E->Loc = ReadSourceLocation(Record, Idx);
1355 //===----------------------------------------------------------------------===//
1356 // Microsoft Expressions and Statements
1357 //===----------------------------------------------------------------------===//
1358 void ASTStmtReader::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1360 E->setSourceRange(ReadSourceRange(Record, Idx));
1361 if (E->isTypeOperand()) { // __uuidof(ComType)
1362 E->setTypeOperandSourceInfo(
1363 GetTypeSourceInfo(Record, Idx));
1368 E->setExprOperand(Reader.ReadSubExpr());
1371 void ASTStmtReader::VisitSEHExceptStmt(SEHExceptStmt *S) {
1373 S->Loc = ReadSourceLocation(Record, Idx);
1374 S->Children[SEHExceptStmt::FILTER_EXPR] = Reader.ReadSubStmt();
1375 S->Children[SEHExceptStmt::BLOCK] = Reader.ReadSubStmt();
1378 void ASTStmtReader::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1380 S->Loc = ReadSourceLocation(Record, Idx);
1381 S->Block = Reader.ReadSubStmt();
1384 void ASTStmtReader::VisitSEHTryStmt(SEHTryStmt *S) {
1386 S->IsCXXTry = Record[Idx++];
1387 S->TryLoc = ReadSourceLocation(Record, Idx);
1388 S->Children[SEHTryStmt::TRY] = Reader.ReadSubStmt();
1389 S->Children[SEHTryStmt::HANDLER] = Reader.ReadSubStmt();
1392 //===----------------------------------------------------------------------===//
1393 // CUDA Expressions and Statements
1394 //===----------------------------------------------------------------------===//
1396 void ASTStmtReader::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1398 E->setConfig(cast<CallExpr>(Reader.ReadSubExpr()));
1401 //===----------------------------------------------------------------------===//
1402 // OpenCL Expressions and Statements.
1403 //===----------------------------------------------------------------------===//
1404 void ASTStmtReader::VisitAsTypeExpr(AsTypeExpr *E) {
1406 E->BuiltinLoc = ReadSourceLocation(Record, Idx);
1407 E->RParenLoc = ReadSourceLocation(Record, Idx);
1408 E->SrcExpr = Reader.ReadSubExpr();
1411 //===----------------------------------------------------------------------===//
1412 // ASTReader Implementation
1413 //===----------------------------------------------------------------------===//
1415 Stmt *ASTReader::ReadStmt(Module &F) {
1416 switch (ReadingKind) {
1419 return ReadStmtFromStream(F);
1421 return ReadSubStmt();
1424 llvm_unreachable("ReadingKind not set ?");
1428 Expr *ASTReader::ReadExpr(Module &F) {
1429 return cast_or_null<Expr>(ReadStmt(F));
1432 Expr *ASTReader::ReadSubExpr() {
1433 return cast_or_null<Expr>(ReadSubStmt());
1436 // Within the bitstream, expressions are stored in Reverse Polish
1437 // Notation, with each of the subexpressions preceding the
1438 // expression they are stored in. Subexpressions are stored from last to first.
1439 // To evaluate expressions, we continue reading expressions and placing them on
1440 // the stack, with expressions having operands removing those operands from the
1441 // stack. Evaluation terminates when we see a STMT_STOP record, and
1442 // the single remaining expression on the stack is our result.
1443 Stmt *ASTReader::ReadStmtFromStream(Module &F) {
1445 ReadingKindTracker ReadingKind(Read_Stmt, *this);
1446 llvm::BitstreamCursor &Cursor = F.DeclsCursor;
1449 unsigned PrevNumStmts = StmtStack.size();
1454 ASTStmtReader Reader(*this, F, Cursor, Record, Idx);
1455 Stmt::EmptyShell Empty;
1458 unsigned Code = Cursor.ReadCode();
1459 if (Code == llvm::bitc::END_BLOCK) {
1460 if (Cursor.ReadBlockEnd()) {
1461 Error("error at end of block in AST file");
1467 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
1468 // No known subblocks, always skip them.
1469 Cursor.ReadSubBlockID();
1470 if (Cursor.SkipBlock()) {
1471 Error("malformed block record in AST file");
1477 if (Code == llvm::bitc::DEFINE_ABBREV) {
1478 Cursor.ReadAbbrevRecord();
1485 bool Finished = false;
1486 switch ((StmtCode)Cursor.ReadRecord(Code, Record)) {
1496 S = new (Context) NullStmt(Empty);
1500 S = new (Context) CompoundStmt(Empty);
1504 S = new (Context) CaseStmt(Empty);
1508 S = new (Context) DefaultStmt(Empty);
1512 S = new (Context) LabelStmt(Empty);
1516 S = new (Context) IfStmt(Empty);
1520 S = new (Context) SwitchStmt(Empty);
1524 S = new (Context) WhileStmt(Empty);
1528 S = new (Context) DoStmt(Empty);
1532 S = new (Context) ForStmt(Empty);
1536 S = new (Context) GotoStmt(Empty);
1539 case STMT_INDIRECT_GOTO:
1540 S = new (Context) IndirectGotoStmt(Empty);
1544 S = new (Context) ContinueStmt(Empty);
1548 S = new (Context) BreakStmt(Empty);
1552 S = new (Context) ReturnStmt(Empty);
1556 S = new (Context) DeclStmt(Empty);
1560 S = new (Context) AsmStmt(Empty);
1563 case EXPR_PREDEFINED:
1564 S = new (Context) PredefinedExpr(Empty);
1568 S = DeclRefExpr::CreateEmpty(
1570 /*HasQualifier=*/Record[ASTStmtReader::NumExprFields],
1571 /*HasFoundDecl=*/Record[ASTStmtReader::NumExprFields + 1],
1572 /*HasExplicitTemplateArgs=*/Record[ASTStmtReader::NumExprFields + 2],
1573 /*NumTemplateArgs=*/Record[ASTStmtReader::NumExprFields + 2] ?
1574 Record[ASTStmtReader::NumExprFields + 4] : 0);
1577 case EXPR_INTEGER_LITERAL:
1578 S = IntegerLiteral::Create(Context, Empty);
1581 case EXPR_FLOATING_LITERAL:
1582 S = FloatingLiteral::Create(Context, Empty);
1585 case EXPR_IMAGINARY_LITERAL:
1586 S = new (Context) ImaginaryLiteral(Empty);
1589 case EXPR_STRING_LITERAL:
1590 S = StringLiteral::CreateEmpty(Context,
1591 Record[ASTStmtReader::NumExprFields + 1]);
1594 case EXPR_CHARACTER_LITERAL:
1595 S = new (Context) CharacterLiteral(Empty);
1599 S = new (Context) ParenExpr(Empty);
1602 case EXPR_PAREN_LIST:
1603 S = new (Context) ParenListExpr(Empty);
1606 case EXPR_UNARY_OPERATOR:
1607 S = new (Context) UnaryOperator(Empty);
1611 S = OffsetOfExpr::CreateEmpty(Context,
1612 Record[ASTStmtReader::NumExprFields],
1613 Record[ASTStmtReader::NumExprFields + 1]);
1616 case EXPR_SIZEOF_ALIGN_OF:
1617 S = new (Context) UnaryExprOrTypeTraitExpr(Empty);
1620 case EXPR_ARRAY_SUBSCRIPT:
1621 S = new (Context) ArraySubscriptExpr(Empty);
1625 S = new (Context) CallExpr(Context, Stmt::CallExprClass, Empty);
1629 // We load everything here and fully initialize it at creation.
1630 // That way we can use MemberExpr::Create and don't have to duplicate its
1631 // logic with a MemberExpr::CreateEmpty.
1634 NestedNameSpecifierLoc QualifierLoc;
1635 if (Record[Idx++]) { // HasQualifier.
1636 QualifierLoc = ReadNestedNameSpecifierLoc(F, Record, Idx);
1639 TemplateArgumentListInfo ArgInfo;
1640 bool HasExplicitTemplateArgs = Record[Idx++];
1641 if (HasExplicitTemplateArgs) {
1642 unsigned NumTemplateArgs = Record[Idx++];
1643 ArgInfo.setLAngleLoc(ReadSourceLocation(F, Record, Idx));
1644 ArgInfo.setRAngleLoc(ReadSourceLocation(F, Record, Idx));
1645 for (unsigned i = 0; i != NumTemplateArgs; ++i)
1646 ArgInfo.addArgument(ReadTemplateArgumentLoc(F, Record, Idx));
1649 bool HadMultipleCandidates = Record[Idx++];
1651 NamedDecl *FoundD = ReadDeclAs<NamedDecl>(F, Record, Idx);
1652 AccessSpecifier AS = (AccessSpecifier)Record[Idx++];
1653 DeclAccessPair FoundDecl = DeclAccessPair::make(FoundD, AS);
1655 QualType T = readType(F, Record, Idx);
1656 ExprValueKind VK = static_cast<ExprValueKind>(Record[Idx++]);
1657 ExprObjectKind OK = static_cast<ExprObjectKind>(Record[Idx++]);
1658 Expr *Base = ReadSubExpr();
1659 ValueDecl *MemberD = ReadDeclAs<ValueDecl>(F, Record, Idx);
1660 SourceLocation MemberLoc = ReadSourceLocation(F, Record, Idx);
1661 DeclarationNameInfo MemberNameInfo(MemberD->getDeclName(), MemberLoc);
1662 bool IsArrow = Record[Idx++];
1664 S = MemberExpr::Create(Context, Base, IsArrow, QualifierLoc,
1665 MemberD, FoundDecl, MemberNameInfo,
1666 HasExplicitTemplateArgs ? &ArgInfo : 0, T, VK, OK);
1667 ReadDeclarationNameLoc(F, cast<MemberExpr>(S)->MemberDNLoc,
1668 MemberD->getDeclName(), Record, Idx);
1669 if (HadMultipleCandidates)
1670 cast<MemberExpr>(S)->setHadMultipleCandidates(true);
1674 case EXPR_BINARY_OPERATOR:
1675 S = new (Context) BinaryOperator(Empty);
1678 case EXPR_COMPOUND_ASSIGN_OPERATOR:
1679 S = new (Context) CompoundAssignOperator(Empty);
1682 case EXPR_CONDITIONAL_OPERATOR:
1683 S = new (Context) ConditionalOperator(Empty);
1686 case EXPR_BINARY_CONDITIONAL_OPERATOR:
1687 S = new (Context) BinaryConditionalOperator(Empty);
1690 case EXPR_IMPLICIT_CAST:
1691 S = ImplicitCastExpr::CreateEmpty(Context,
1692 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1695 case EXPR_CSTYLE_CAST:
1696 S = CStyleCastExpr::CreateEmpty(Context,
1697 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1700 case EXPR_COMPOUND_LITERAL:
1701 S = new (Context) CompoundLiteralExpr(Empty);
1704 case EXPR_EXT_VECTOR_ELEMENT:
1705 S = new (Context) ExtVectorElementExpr(Empty);
1708 case EXPR_INIT_LIST:
1709 S = new (Context) InitListExpr(getContext(), Empty);
1712 case EXPR_DESIGNATED_INIT:
1713 S = DesignatedInitExpr::CreateEmpty(Context,
1714 Record[ASTStmtReader::NumExprFields] - 1);
1718 case EXPR_IMPLICIT_VALUE_INIT:
1719 S = new (Context) ImplicitValueInitExpr(Empty);
1723 S = new (Context) VAArgExpr(Empty);
1726 case EXPR_ADDR_LABEL:
1727 S = new (Context) AddrLabelExpr(Empty);
1731 S = new (Context) StmtExpr(Empty);
1735 S = new (Context) ChooseExpr(Empty);
1739 S = new (Context) GNUNullExpr(Empty);
1742 case EXPR_SHUFFLE_VECTOR:
1743 S = new (Context) ShuffleVectorExpr(Empty);
1747 S = new (Context) BlockExpr(Empty);
1750 case EXPR_BLOCK_DECL_REF:
1751 S = new (Context) BlockDeclRefExpr(Empty);
1754 case EXPR_GENERIC_SELECTION:
1755 S = new (Context) GenericSelectionExpr(Empty);
1758 case EXPR_OBJC_STRING_LITERAL:
1759 S = new (Context) ObjCStringLiteral(Empty);
1761 case EXPR_OBJC_ENCODE:
1762 S = new (Context) ObjCEncodeExpr(Empty);
1764 case EXPR_OBJC_SELECTOR_EXPR:
1765 S = new (Context) ObjCSelectorExpr(Empty);
1767 case EXPR_OBJC_PROTOCOL_EXPR:
1768 S = new (Context) ObjCProtocolExpr(Empty);
1770 case EXPR_OBJC_IVAR_REF_EXPR:
1771 S = new (Context) ObjCIvarRefExpr(Empty);
1773 case EXPR_OBJC_PROPERTY_REF_EXPR:
1774 S = new (Context) ObjCPropertyRefExpr(Empty);
1776 case EXPR_OBJC_KVC_REF_EXPR:
1777 llvm_unreachable("mismatching AST file");
1779 case EXPR_OBJC_MESSAGE_EXPR:
1780 S = ObjCMessageExpr::CreateEmpty(Context,
1781 Record[ASTStmtReader::NumExprFields],
1782 Record[ASTStmtReader::NumExprFields + 1]);
1785 S = new (Context) ObjCIsaExpr(Empty);
1787 case EXPR_OBJC_INDIRECT_COPY_RESTORE:
1788 S = new (Context) ObjCIndirectCopyRestoreExpr(Empty);
1790 case EXPR_OBJC_BRIDGED_CAST:
1791 S = new (Context) ObjCBridgedCastExpr(Empty);
1793 case STMT_OBJC_FOR_COLLECTION:
1794 S = new (Context) ObjCForCollectionStmt(Empty);
1796 case STMT_OBJC_CATCH:
1797 S = new (Context) ObjCAtCatchStmt(Empty);
1799 case STMT_OBJC_FINALLY:
1800 S = new (Context) ObjCAtFinallyStmt(Empty);
1802 case STMT_OBJC_AT_TRY:
1803 S = ObjCAtTryStmt::CreateEmpty(Context,
1804 Record[ASTStmtReader::NumStmtFields],
1805 Record[ASTStmtReader::NumStmtFields + 1]);
1807 case STMT_OBJC_AT_SYNCHRONIZED:
1808 S = new (Context) ObjCAtSynchronizedStmt(Empty);
1810 case STMT_OBJC_AT_THROW:
1811 S = new (Context) ObjCAtThrowStmt(Empty);
1813 case STMT_OBJC_AUTORELEASE_POOL:
1814 S = new (Context) ObjCAutoreleasePoolStmt(Empty);
1816 case STMT_SEH_EXCEPT:
1817 S = new (Context) SEHExceptStmt(Empty);
1819 case STMT_SEH_FINALLY:
1820 S = new (Context) SEHFinallyStmt(Empty);
1823 S = new (Context) SEHTryStmt(Empty);
1825 case STMT_CXX_CATCH:
1826 S = new (Context) CXXCatchStmt(Empty);
1830 S = CXXTryStmt::Create(Context, Empty,
1831 /*NumHandlers=*/Record[ASTStmtReader::NumStmtFields]);
1834 case STMT_CXX_FOR_RANGE:
1835 S = new (Context) CXXForRangeStmt(Empty);
1838 case EXPR_CXX_OPERATOR_CALL:
1839 S = new (Context) CXXOperatorCallExpr(Context, Empty);
1842 case EXPR_CXX_MEMBER_CALL:
1843 S = new (Context) CXXMemberCallExpr(Context, Empty);
1846 case EXPR_CXX_CONSTRUCT:
1847 S = new (Context) CXXConstructExpr(Empty);
1850 case EXPR_CXX_TEMPORARY_OBJECT:
1851 S = new (Context) CXXTemporaryObjectExpr(Empty);
1854 case EXPR_CXX_STATIC_CAST:
1855 S = CXXStaticCastExpr::CreateEmpty(Context,
1856 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1859 case EXPR_CXX_DYNAMIC_CAST:
1860 S = CXXDynamicCastExpr::CreateEmpty(Context,
1861 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1864 case EXPR_CXX_REINTERPRET_CAST:
1865 S = CXXReinterpretCastExpr::CreateEmpty(Context,
1866 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1869 case EXPR_CXX_CONST_CAST:
1870 S = CXXConstCastExpr::CreateEmpty(Context);
1873 case EXPR_CXX_FUNCTIONAL_CAST:
1874 S = CXXFunctionalCastExpr::CreateEmpty(Context,
1875 /*PathSize*/ Record[ASTStmtReader::NumExprFields]);
1878 case EXPR_CXX_BOOL_LITERAL:
1879 S = new (Context) CXXBoolLiteralExpr(Empty);
1882 case EXPR_CXX_NULL_PTR_LITERAL:
1883 S = new (Context) CXXNullPtrLiteralExpr(Empty);
1885 case EXPR_CXX_TYPEID_EXPR:
1886 S = new (Context) CXXTypeidExpr(Empty, true);
1888 case EXPR_CXX_TYPEID_TYPE:
1889 S = new (Context) CXXTypeidExpr(Empty, false);
1891 case EXPR_CXX_UUIDOF_EXPR:
1892 S = new (Context) CXXUuidofExpr(Empty, true);
1894 case EXPR_CXX_UUIDOF_TYPE:
1895 S = new (Context) CXXUuidofExpr(Empty, false);
1898 S = new (Context) CXXThisExpr(Empty);
1900 case EXPR_CXX_THROW:
1901 S = new (Context) CXXThrowExpr(Empty);
1903 case EXPR_CXX_DEFAULT_ARG: {
1904 bool HasOtherExprStored = Record[ASTStmtReader::NumExprFields];
1905 if (HasOtherExprStored) {
1906 Expr *SubExpr = ReadSubExpr();
1907 S = CXXDefaultArgExpr::Create(Context, SourceLocation(), 0, SubExpr);
1909 S = new (Context) CXXDefaultArgExpr(Empty);
1912 case EXPR_CXX_BIND_TEMPORARY:
1913 S = new (Context) CXXBindTemporaryExpr(Empty);
1916 case EXPR_CXX_SCALAR_VALUE_INIT:
1917 S = new (Context) CXXScalarValueInitExpr(Empty);
1920 S = new (Context) CXXNewExpr(Empty);
1922 case EXPR_CXX_DELETE:
1923 S = new (Context) CXXDeleteExpr(Empty);
1925 case EXPR_CXX_PSEUDO_DESTRUCTOR:
1926 S = new (Context) CXXPseudoDestructorExpr(Empty);
1929 case EXPR_EXPR_WITH_CLEANUPS:
1930 S = new (Context) ExprWithCleanups(Empty);
1933 case EXPR_CXX_DEPENDENT_SCOPE_MEMBER:
1934 S = CXXDependentScopeMemberExpr::CreateEmpty(Context,
1935 /*HasExplicitTemplateArgs=*/Record[ASTStmtReader::NumExprFields],
1936 /*NumTemplateArgs=*/Record[ASTStmtReader::NumExprFields]
1937 ? Record[ASTStmtReader::NumExprFields + 1]
1941 case EXPR_CXX_DEPENDENT_SCOPE_DECL_REF:
1942 S = DependentScopeDeclRefExpr::CreateEmpty(Context,
1943 /*HasExplicitTemplateArgs=*/Record[ASTStmtReader::NumExprFields],
1944 /*NumTemplateArgs=*/Record[ASTStmtReader::NumExprFields]
1945 ? Record[ASTStmtReader::NumExprFields + 1]
1949 case EXPR_CXX_UNRESOLVED_CONSTRUCT:
1950 S = CXXUnresolvedConstructExpr::CreateEmpty(Context,
1951 /*NumArgs=*/Record[ASTStmtReader::NumExprFields]);
1954 case EXPR_CXX_UNRESOLVED_MEMBER:
1955 S = UnresolvedMemberExpr::CreateEmpty(Context,
1956 /*HasExplicitTemplateArgs=*/Record[ASTStmtReader::NumExprFields],
1957 /*NumTemplateArgs=*/Record[ASTStmtReader::NumExprFields]
1958 ? Record[ASTStmtReader::NumExprFields + 1]
1962 case EXPR_CXX_UNRESOLVED_LOOKUP:
1963 S = UnresolvedLookupExpr::CreateEmpty(Context,
1964 /*HasExplicitTemplateArgs=*/Record[ASTStmtReader::NumExprFields],
1965 /*NumTemplateArgs=*/Record[ASTStmtReader::NumExprFields]
1966 ? Record[ASTStmtReader::NumExprFields + 1]
1970 case EXPR_CXX_UNARY_TYPE_TRAIT:
1971 S = new (Context) UnaryTypeTraitExpr(Empty);
1974 case EXPR_BINARY_TYPE_TRAIT:
1975 S = new (Context) BinaryTypeTraitExpr(Empty);
1978 case EXPR_ARRAY_TYPE_TRAIT:
1979 S = new (Context) ArrayTypeTraitExpr(Empty);
1982 case EXPR_CXX_EXPRESSION_TRAIT:
1983 S = new (Context) ExpressionTraitExpr(Empty);
1986 case EXPR_CXX_NOEXCEPT:
1987 S = new (Context) CXXNoexceptExpr(Empty);
1990 case EXPR_PACK_EXPANSION:
1991 S = new (Context) PackExpansionExpr(Empty);
1994 case EXPR_SIZEOF_PACK:
1995 S = new (Context) SizeOfPackExpr(Empty);
1998 case EXPR_SUBST_NON_TYPE_TEMPLATE_PARM:
1999 S = new (Context) SubstNonTypeTemplateParmExpr(Empty);
2002 case EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK:
2003 S = new (Context) SubstNonTypeTemplateParmPackExpr(Empty);
2006 case EXPR_MATERIALIZE_TEMPORARY:
2007 S = new (Context) MaterializeTemporaryExpr(Empty);
2010 case EXPR_OPAQUE_VALUE: {
2011 unsigned key = Record[ASTStmtReader::NumExprFields];
2012 OpaqueValueExpr *&expr = OpaqueValueExprs[key];
2014 // If we already have an entry for this opaque value expression,
2015 // don't bother reading it again.
2017 StmtStack.push_back(expr);
2021 S = expr = new (Context) OpaqueValueExpr(Empty);
2025 case EXPR_CUDA_KERNEL_CALL:
2026 S = new (Context) CUDAKernelCallExpr(Context, Empty);
2030 S = new (Context) AsTypeExpr(Empty);
2034 S = new (Context) AtomicExpr(Empty);
2038 // We hit a STMT_STOP, so we're done with this expression.
2042 ++NumStatementsRead;
2047 assert(Idx == Record.size() && "Invalid deserialization of statement");
2048 StmtStack.push_back(S);
2052 assert(StmtStack.size() > PrevNumStmts && "Read too many sub stmts!");
2053 assert(StmtStack.size() == PrevNumStmts + 1 && "Extra expressions on stack!");
2056 return StmtStack.pop_back_val();