clang 20.0.0git
ASTWriterStmt.cpp
Go to the documentation of this file.
1//===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// Implements serialization for Statements and Expressions.
11///
12//===----------------------------------------------------------------------===//
13
16#include "clang/AST/DeclCXX.h"
17#include "clang/AST/DeclObjC.h"
21#include "clang/Lex/Token.h"
24#include "llvm/Bitstream/BitstreamWriter.h"
25using namespace clang;
26
27//===----------------------------------------------------------------------===//
28// Statement/expression serialization
29//===----------------------------------------------------------------------===//
30
31namespace clang {
32
33 class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
34 ASTWriter &Writer;
36
38 unsigned AbbrevToUse;
39
40 /// A helper that can help us to write a packed bit across function
41 /// calls. For example, we may write separate bits in separate functions:
42 ///
43 /// void VisitA(A* a) {
44 /// Record.push_back(a->isSomething());
45 /// }
46 ///
47 /// void Visitb(B *b) {
48 /// VisitA(b);
49 /// Record.push_back(b->isAnother());
50 /// }
51 ///
52 /// In such cases, it'll be better if we can pack these 2 bits. We achieve
53 /// this by writing a zero value in `VisitA` and recorded that first and add
54 /// the new bit to the recorded value.
55 class PakedBitsWriter {
56 public:
57 PakedBitsWriter(ASTRecordWriter &Record) : RecordRef(Record) {}
58 ~PakedBitsWriter() { assert(!CurrentIndex); }
59
60 void addBit(bool Value) {
61 assert(CurrentIndex && "Writing Bits without recording first!");
62 PackingBits.addBit(Value);
63 }
64 void addBits(uint32_t Value, uint32_t BitsWidth) {
65 assert(CurrentIndex && "Writing Bits without recording first!");
66 PackingBits.addBits(Value, BitsWidth);
67 }
68
69 void writeBits() {
70 if (!CurrentIndex)
71 return;
72
73 RecordRef[*CurrentIndex] = (uint32_t)PackingBits;
74 CurrentIndex = std::nullopt;
75 PackingBits.reset(0);
76 }
77
78 void updateBits() {
79 writeBits();
80
81 CurrentIndex = RecordRef.size();
82 RecordRef.push_back(0);
83 }
84
85 private:
86 BitsPacker PackingBits;
87 ASTRecordWriter &RecordRef;
88 std::optional<unsigned> CurrentIndex;
89 };
90
91 PakedBitsWriter CurrentPackingBits;
92
93 public:
95 : Writer(Writer), Record(Writer, Record),
96 Code(serialization::STMT_NULL_PTR), AbbrevToUse(0),
97 CurrentPackingBits(this->Record) {}
98
99 ASTStmtWriter(const ASTStmtWriter&) = delete;
101
102 uint64_t Emit() {
103 CurrentPackingBits.writeBits();
104 assert(Code != serialization::STMT_NULL_PTR &&
105 "unhandled sub-statement writing AST file");
106 return Record.EmitStmt(Code, AbbrevToUse);
107 }
108
110 const TemplateArgumentLoc *Args);
111
112 void VisitStmt(Stmt *S);
113#define STMT(Type, Base) \
114 void Visit##Type(Type *);
115#include "clang/AST/StmtNodes.inc"
116 };
117}
118
120 const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) {
121 Record.AddSourceLocation(ArgInfo.TemplateKWLoc);
122 Record.AddSourceLocation(ArgInfo.LAngleLoc);
123 Record.AddSourceLocation(ArgInfo.RAngleLoc);
124 for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i)
125 Record.AddTemplateArgumentLoc(Args[i]);
126}
127
129}
130
131void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
132 VisitStmt(S);
133 Record.AddSourceLocation(S->getSemiLoc());
134 Record.push_back(S->NullStmtBits.HasLeadingEmptyMacro);
136}
137
138void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
139 VisitStmt(S);
140
141 Record.push_back(S->size());
142 Record.push_back(S->hasStoredFPFeatures());
143
144 for (auto *CS : S->body())
145 Record.AddStmt(CS);
146 if (S->hasStoredFPFeatures())
147 Record.push_back(S->getStoredFPFeatures().getAsOpaqueInt());
148 Record.AddSourceLocation(S->getLBracLoc());
149 Record.AddSourceLocation(S->getRBracLoc());
150
151 if (!S->hasStoredFPFeatures())
152 AbbrevToUse = Writer.getCompoundStmtAbbrev();
153
155}
156
157void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
158 VisitStmt(S);
159 Record.push_back(Writer.getSwitchCaseID(S));
160 Record.AddSourceLocation(S->getKeywordLoc());
161 Record.AddSourceLocation(S->getColonLoc());
162}
163
164void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
165 VisitSwitchCase(S);
166 Record.push_back(S->caseStmtIsGNURange());
167 Record.AddStmt(S->getLHS());
168 Record.AddStmt(S->getSubStmt());
169 if (S->caseStmtIsGNURange()) {
170 Record.AddStmt(S->getRHS());
171 Record.AddSourceLocation(S->getEllipsisLoc());
172 }
174}
175
176void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
177 VisitSwitchCase(S);
178 Record.AddStmt(S->getSubStmt());
180}
181
182void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
183 VisitStmt(S);
184 Record.push_back(S->isSideEntry());
185 Record.AddDeclRef(S->getDecl());
186 Record.AddStmt(S->getSubStmt());
187 Record.AddSourceLocation(S->getIdentLoc());
189}
190
191void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) {
192 VisitStmt(S);
193 Record.push_back(S->getAttrs().size());
194 Record.AddAttributes(S->getAttrs());
195 Record.AddStmt(S->getSubStmt());
196 Record.AddSourceLocation(S->getAttrLoc());
198}
199
200void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
201 VisitStmt(S);
202
203 bool HasElse = S->getElse() != nullptr;
204 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
205 bool HasInit = S->getInit() != nullptr;
206
207 CurrentPackingBits.updateBits();
208
209 CurrentPackingBits.addBit(HasElse);
210 CurrentPackingBits.addBit(HasVar);
211 CurrentPackingBits.addBit(HasInit);
212 Record.push_back(static_cast<uint64_t>(S->getStatementKind()));
213 Record.AddStmt(S->getCond());
214 Record.AddStmt(S->getThen());
215 if (HasElse)
216 Record.AddStmt(S->getElse());
217 if (HasVar)
218 Record.AddStmt(S->getConditionVariableDeclStmt());
219 if (HasInit)
220 Record.AddStmt(S->getInit());
221
222 Record.AddSourceLocation(S->getIfLoc());
223 Record.AddSourceLocation(S->getLParenLoc());
224 Record.AddSourceLocation(S->getRParenLoc());
225 if (HasElse)
226 Record.AddSourceLocation(S->getElseLoc());
227
229}
230
231void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
232 VisitStmt(S);
233
234 bool HasInit = S->getInit() != nullptr;
235 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
236 Record.push_back(HasInit);
237 Record.push_back(HasVar);
238 Record.push_back(S->isAllEnumCasesCovered());
239
240 Record.AddStmt(S->getCond());
241 Record.AddStmt(S->getBody());
242 if (HasInit)
243 Record.AddStmt(S->getInit());
244 if (HasVar)
245 Record.AddStmt(S->getConditionVariableDeclStmt());
246
247 Record.AddSourceLocation(S->getSwitchLoc());
248 Record.AddSourceLocation(S->getLParenLoc());
249 Record.AddSourceLocation(S->getRParenLoc());
250
251 for (SwitchCase *SC = S->getSwitchCaseList(); SC;
252 SC = SC->getNextSwitchCase())
253 Record.push_back(Writer.RecordSwitchCaseID(SC));
255}
256
257void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
258 VisitStmt(S);
259
260 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
261 Record.push_back(HasVar);
262
263 Record.AddStmt(S->getCond());
264 Record.AddStmt(S->getBody());
265 if (HasVar)
266 Record.AddStmt(S->getConditionVariableDeclStmt());
267
268 Record.AddSourceLocation(S->getWhileLoc());
269 Record.AddSourceLocation(S->getLParenLoc());
270 Record.AddSourceLocation(S->getRParenLoc());
272}
273
274void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
275 VisitStmt(S);
276 Record.AddStmt(S->getCond());
277 Record.AddStmt(S->getBody());
278 Record.AddSourceLocation(S->getDoLoc());
279 Record.AddSourceLocation(S->getWhileLoc());
280 Record.AddSourceLocation(S->getRParenLoc());
282}
283
284void ASTStmtWriter::VisitForStmt(ForStmt *S) {
285 VisitStmt(S);
286 Record.AddStmt(S->getInit());
287 Record.AddStmt(S->getCond());
288 Record.AddStmt(S->getConditionVariableDeclStmt());
289 Record.AddStmt(S->getInc());
290 Record.AddStmt(S->getBody());
291 Record.AddSourceLocation(S->getForLoc());
292 Record.AddSourceLocation(S->getLParenLoc());
293 Record.AddSourceLocation(S->getRParenLoc());
295}
296
297void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
298 VisitStmt(S);
299 Record.AddDeclRef(S->getLabel());
300 Record.AddSourceLocation(S->getGotoLoc());
301 Record.AddSourceLocation(S->getLabelLoc());
303}
304
305void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
306 VisitStmt(S);
307 Record.AddSourceLocation(S->getGotoLoc());
308 Record.AddSourceLocation(S->getStarLoc());
309 Record.AddStmt(S->getTarget());
311}
312
313void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
314 VisitStmt(S);
315 Record.AddSourceLocation(S->getContinueLoc());
317}
318
319void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
320 VisitStmt(S);
321 Record.AddSourceLocation(S->getBreakLoc());
323}
324
325void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
326 VisitStmt(S);
327
328 bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr;
329 Record.push_back(HasNRVOCandidate);
330
331 Record.AddStmt(S->getRetValue());
332 if (HasNRVOCandidate)
333 Record.AddDeclRef(S->getNRVOCandidate());
334
335 Record.AddSourceLocation(S->getReturnLoc());
337}
338
339void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
340 VisitStmt(S);
341 Record.AddSourceLocation(S->getBeginLoc());
342 Record.AddSourceLocation(S->getEndLoc());
343 DeclGroupRef DG = S->getDeclGroup();
344 for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
345 Record.AddDeclRef(*D);
347}
348
349void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
350 VisitStmt(S);
351 Record.push_back(S->getNumOutputs());
352 Record.push_back(S->getNumInputs());
353 Record.push_back(S->getNumClobbers());
354 Record.AddSourceLocation(S->getAsmLoc());
355 Record.push_back(S->isVolatile());
356 Record.push_back(S->isSimple());
357}
358
359void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) {
360 VisitAsmStmt(S);
361 Record.push_back(S->getNumLabels());
362 Record.AddSourceLocation(S->getRParenLoc());
363 Record.AddStmt(S->getAsmString());
364
365 // Outputs
366 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
367 Record.AddIdentifierRef(S->getOutputIdentifier(I));
368 Record.AddStmt(S->getOutputConstraintLiteral(I));
369 Record.AddStmt(S->getOutputExpr(I));
370 }
371
372 // Inputs
373 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
374 Record.AddIdentifierRef(S->getInputIdentifier(I));
375 Record.AddStmt(S->getInputConstraintLiteral(I));
376 Record.AddStmt(S->getInputExpr(I));
377 }
378
379 // Clobbers
380 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
381 Record.AddStmt(S->getClobberStringLiteral(I));
382
383 // Labels
384 for (unsigned I = 0, N = S->getNumLabels(); I != N; ++I) {
385 Record.AddIdentifierRef(S->getLabelIdentifier(I));
386 Record.AddStmt(S->getLabelExpr(I));
387 }
388
390}
391
392void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) {
393 VisitAsmStmt(S);
394 Record.AddSourceLocation(S->getLBraceLoc());
395 Record.AddSourceLocation(S->getEndLoc());
396 Record.push_back(S->getNumAsmToks());
397 Record.AddString(S->getAsmString());
398
399 // Tokens
400 for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) {
401 // FIXME: Move this to ASTRecordWriter?
402 Writer.AddToken(S->getAsmToks()[I], Record.getRecordData());
403 }
404
405 // Clobbers
406 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) {
407 Record.AddString(S->getClobber(I));
408 }
409
410 // Outputs
411 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
412 Record.AddStmt(S->getOutputExpr(I));
413 Record.AddString(S->getOutputConstraint(I));
414 }
415
416 // Inputs
417 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
418 Record.AddStmt(S->getInputExpr(I));
419 Record.AddString(S->getInputConstraint(I));
420 }
421
423}
424
425void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) {
426 VisitStmt(CoroStmt);
427 Record.push_back(CoroStmt->getParamMoves().size());
428 for (Stmt *S : CoroStmt->children())
429 Record.AddStmt(S);
431}
432
433void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) {
434 VisitStmt(S);
435 Record.AddSourceLocation(S->getKeywordLoc());
436 Record.AddStmt(S->getOperand());
437 Record.AddStmt(S->getPromiseCall());
438 Record.push_back(S->isImplicit());
440}
441
442void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) {
443 VisitExpr(E);
444 Record.AddSourceLocation(E->getKeywordLoc());
445 for (Stmt *S : E->children())
446 Record.AddStmt(S);
447 Record.AddStmt(E->getOpaqueValue());
448}
449
450void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) {
451 VisitCoroutineSuspendExpr(E);
452 Record.push_back(E->isImplicit());
454}
455
456void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) {
457 VisitCoroutineSuspendExpr(E);
459}
460
461void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) {
462 VisitExpr(E);
463 Record.AddSourceLocation(E->getKeywordLoc());
464 for (Stmt *S : E->children())
465 Record.AddStmt(S);
467}
468
469static void
471 const ASTConstraintSatisfaction &Satisfaction) {
472 Record.push_back(Satisfaction.IsSatisfied);
473 Record.push_back(Satisfaction.ContainsErrors);
474 if (!Satisfaction.IsSatisfied) {
475 Record.push_back(Satisfaction.NumRecords);
476 for (const auto &DetailRecord : Satisfaction) {
477 auto *E = DetailRecord.dyn_cast<Expr *>();
478 Record.push_back(/* IsDiagnostic */ E == nullptr);
479 if (E)
480 Record.AddStmt(E);
481 else {
482 auto *Diag = DetailRecord.get<std::pair<SourceLocation, StringRef> *>();
483 Record.AddSourceLocation(Diag->first);
484 Record.AddString(Diag->second);
485 }
486 }
487 }
488}
489
490static void
494 Record.AddString(D->SubstitutedEntity);
495 Record.AddSourceLocation(D->DiagLoc);
496 Record.AddString(D->DiagMessage);
497}
498
499void ASTStmtWriter::VisitConceptSpecializationExpr(
501 VisitExpr(E);
502 Record.AddDeclRef(E->getSpecializationDecl());
503 const ConceptReference *CR = E->getConceptReference();
504 Record.push_back(CR != nullptr);
505 if (CR)
506 Record.AddConceptReference(CR);
507 if (!E->isValueDependent())
508 addConstraintSatisfaction(Record, E->getSatisfaction());
509
511}
512
513void ASTStmtWriter::VisitRequiresExpr(RequiresExpr *E) {
514 VisitExpr(E);
515 Record.push_back(E->getLocalParameters().size());
516 Record.push_back(E->getRequirements().size());
517 Record.AddSourceLocation(E->RequiresExprBits.RequiresKWLoc);
518 Record.push_back(E->RequiresExprBits.IsSatisfied);
519 Record.AddDeclRef(E->getBody());
520 for (ParmVarDecl *P : E->getLocalParameters())
521 Record.AddDeclRef(P);
522 for (concepts::Requirement *R : E->getRequirements()) {
523 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(R)) {
525 Record.push_back(TypeReq->Status);
527 addSubstitutionDiagnostic(Record, TypeReq->getSubstitutionDiagnostic());
528 else
529 Record.AddTypeSourceInfo(TypeReq->getType());
530 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(R)) {
531 Record.push_back(ExprReq->getKind());
532 Record.push_back(ExprReq->Status);
533 if (ExprReq->isExprSubstitutionFailure()) {
535 ExprReq->Value.get<concepts::Requirement::SubstitutionDiagnostic *>());
536 } else
537 Record.AddStmt(ExprReq->Value.get<Expr *>());
538 if (ExprReq->getKind() == concepts::Requirement::RK_Compound) {
539 Record.AddSourceLocation(ExprReq->NoexceptLoc);
540 const auto &RetReq = ExprReq->getReturnTypeRequirement();
541 if (RetReq.isSubstitutionFailure()) {
542 Record.push_back(2);
543 addSubstitutionDiagnostic(Record, RetReq.getSubstitutionDiagnostic());
544 } else if (RetReq.isTypeConstraint()) {
545 Record.push_back(1);
546 Record.AddTemplateParameterList(
547 RetReq.getTypeConstraintTemplateParameterList());
548 if (ExprReq->Status >=
550 Record.AddStmt(
551 ExprReq->getReturnTypeRequirementSubstitutedConstraintExpr());
552 } else {
553 assert(RetReq.isEmpty());
554 Record.push_back(0);
555 }
556 }
557 } else {
558 auto *NestedReq = cast<concepts::NestedRequirement>(R);
560 Record.push_back(NestedReq->hasInvalidConstraint());
561 if (NestedReq->hasInvalidConstraint()) {
562 Record.AddString(NestedReq->getInvalidConstraintEntity());
563 addConstraintSatisfaction(Record, *NestedReq->Satisfaction);
564 } else {
565 Record.AddStmt(NestedReq->getConstraintExpr());
566 if (!NestedReq->isDependent())
567 addConstraintSatisfaction(Record, *NestedReq->Satisfaction);
568 }
569 }
570 }
571 Record.AddSourceLocation(E->getLParenLoc());
572 Record.AddSourceLocation(E->getRParenLoc());
573 Record.AddSourceLocation(E->getEndLoc());
574
576}
577
578
579void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) {
580 VisitStmt(S);
581 // NumCaptures
582 Record.push_back(std::distance(S->capture_begin(), S->capture_end()));
583
584 // CapturedDecl and captured region kind
585 Record.AddDeclRef(S->getCapturedDecl());
586 Record.push_back(S->getCapturedRegionKind());
587
588 Record.AddDeclRef(S->getCapturedRecordDecl());
589
590 // Capture inits
591 for (auto *I : S->capture_inits())
592 Record.AddStmt(I);
593
594 // Body
595 Record.AddStmt(S->getCapturedStmt());
596
597 // Captures
598 for (const auto &I : S->captures()) {
599 if (I.capturesThis() || I.capturesVariableArrayType())
600 Record.AddDeclRef(nullptr);
601 else
602 Record.AddDeclRef(I.getCapturedVar());
603 Record.push_back(I.getCaptureKind());
604 Record.AddSourceLocation(I.getLocation());
605 }
606
608}
609
610void ASTStmtWriter::VisitExpr(Expr *E) {
611 VisitStmt(E);
612
613 CurrentPackingBits.updateBits();
614 CurrentPackingBits.addBits(E->getDependence(), /*BitsWidth=*/5);
615 CurrentPackingBits.addBits(E->getValueKind(), /*BitsWidth=*/2);
616 CurrentPackingBits.addBits(E->getObjectKind(), /*BitsWidth=*/3);
617
618 Record.AddTypeRef(E->getType());
619}
620
621void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) {
622 VisitExpr(E);
623 Record.push_back(E->ConstantExprBits.ResultKind);
624
625 Record.push_back(E->ConstantExprBits.APValueKind);
626 Record.push_back(E->ConstantExprBits.IsUnsigned);
627 Record.push_back(E->ConstantExprBits.BitWidth);
628 // HasCleanup not serialized since we can just query the APValue.
629 Record.push_back(E->ConstantExprBits.IsImmediateInvocation);
630
631 switch (E->getResultStorageKind()) {
633 break;
635 Record.push_back(E->Int64Result());
636 break;
638 Record.AddAPValue(E->APValueResult());
639 break;
640 }
641
642 Record.AddStmt(E->getSubExpr());
644}
645
646void ASTStmtWriter::VisitSYCLUniqueStableNameExpr(SYCLUniqueStableNameExpr *E) {
647 VisitExpr(E);
648
649 Record.AddSourceLocation(E->getLocation());
650 Record.AddSourceLocation(E->getLParenLocation());
651 Record.AddSourceLocation(E->getRParenLocation());
652 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
653
655}
656
657void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
658 VisitExpr(E);
659
660 bool HasFunctionName = E->getFunctionName() != nullptr;
661 Record.push_back(HasFunctionName);
662 Record.push_back(
663 llvm::to_underlying(E->getIdentKind())); // FIXME: stable encoding
664 Record.push_back(E->isTransparent());
665 Record.AddSourceLocation(E->getLocation());
666 if (HasFunctionName)
667 Record.AddStmt(E->getFunctionName());
669}
670
671void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
672 VisitExpr(E);
673
674 CurrentPackingBits.updateBits();
675
676 CurrentPackingBits.addBit(E->hadMultipleCandidates());
677 CurrentPackingBits.addBit(E->refersToEnclosingVariableOrCapture());
678 CurrentPackingBits.addBits(E->isNonOdrUse(), /*Width=*/2);
679 CurrentPackingBits.addBit(E->isImmediateEscalating());
680 CurrentPackingBits.addBit(E->getDecl() != E->getFoundDecl());
681 CurrentPackingBits.addBit(E->hasQualifier());
682 CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
683
684 if (E->hasTemplateKWAndArgsInfo()) {
685 unsigned NumTemplateArgs = E->getNumTemplateArgs();
686 Record.push_back(NumTemplateArgs);
687 }
688
689 DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
690
691 if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
692 (E->getDecl() == E->getFoundDecl()) &&
694 AbbrevToUse = Writer.getDeclRefExprAbbrev();
695 }
696
697 if (E->hasQualifier())
698 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
699
700 if (E->getDecl() != E->getFoundDecl())
701 Record.AddDeclRef(E->getFoundDecl());
702
703 if (E->hasTemplateKWAndArgsInfo())
705 E->getTrailingObjects<TemplateArgumentLoc>());
706
707 Record.AddDeclRef(E->getDecl());
708 Record.AddSourceLocation(E->getLocation());
709 Record.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName());
711}
712
713void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
714 VisitExpr(E);
715 Record.AddSourceLocation(E->getLocation());
716 Record.AddAPInt(E->getValue());
717
718 if (E->getValue().getBitWidth() == 32) {
719 AbbrevToUse = Writer.getIntegerLiteralAbbrev();
720 }
721
723}
724
725void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) {
726 VisitExpr(E);
727 Record.AddSourceLocation(E->getLocation());
728 Record.push_back(E->getScale());
729 Record.AddAPInt(E->getValue());
731}
732
733void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
734 VisitExpr(E);
735 Record.push_back(E->getRawSemantics());
736 Record.push_back(E->isExact());
737 Record.AddAPFloat(E->getValue());
738 Record.AddSourceLocation(E->getLocation());
740}
741
742void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
743 VisitExpr(E);
744 Record.AddStmt(E->getSubExpr());
746}
747
748void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
749 VisitExpr(E);
750
751 // Store the various bits of data of StringLiteral.
752 Record.push_back(E->getNumConcatenated());
753 Record.push_back(E->getLength());
754 Record.push_back(E->getCharByteWidth());
755 Record.push_back(llvm::to_underlying(E->getKind()));
756 Record.push_back(E->isPascal());
757
758 // Store the trailing array of SourceLocation.
759 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
760 Record.AddSourceLocation(E->getStrTokenLoc(I));
761
762 // Store the trailing array of char holding the string data.
763 StringRef StrData = E->getBytes();
764 for (unsigned I = 0, N = E->getByteLength(); I != N; ++I)
765 Record.push_back(StrData[I]);
766
768}
769
770void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
771 VisitExpr(E);
772 Record.push_back(E->getValue());
773 Record.AddSourceLocation(E->getLocation());
774 Record.push_back(llvm::to_underlying(E->getKind()));
775
776 AbbrevToUse = Writer.getCharacterLiteralAbbrev();
777
779}
780
781void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
782 VisitExpr(E);
783 Record.AddSourceLocation(E->getLParen());
784 Record.AddSourceLocation(E->getRParen());
785 Record.AddStmt(E->getSubExpr());
787}
788
789void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
790 VisitExpr(E);
791 Record.push_back(E->getNumExprs());
792 for (auto *SubStmt : E->exprs())
793 Record.AddStmt(SubStmt);
794 Record.AddSourceLocation(E->getLParenLoc());
795 Record.AddSourceLocation(E->getRParenLoc());
797}
798
799void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
800 VisitExpr(E);
801 bool HasFPFeatures = E->hasStoredFPFeatures();
802 // Write this first for easy access when deserializing, as they affect the
803 // size of the UnaryOperator.
804 CurrentPackingBits.addBit(HasFPFeatures);
805 Record.AddStmt(E->getSubExpr());
806 CurrentPackingBits.addBits(E->getOpcode(),
807 /*Width=*/5); // FIXME: stable encoding
808 Record.AddSourceLocation(E->getOperatorLoc());
809 CurrentPackingBits.addBit(E->canOverflow());
810
811 if (HasFPFeatures)
812 Record.push_back(E->getStoredFPFeatures().getAsOpaqueInt());
814}
815
816void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
817 VisitExpr(E);
818 Record.push_back(E->getNumComponents());
819 Record.push_back(E->getNumExpressions());
820 Record.AddSourceLocation(E->getOperatorLoc());
821 Record.AddSourceLocation(E->getRParenLoc());
822 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
823 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
824 const OffsetOfNode &ON = E->getComponent(I);
825 Record.push_back(ON.getKind()); // FIXME: Stable encoding
826 Record.AddSourceLocation(ON.getSourceRange().getBegin());
827 Record.AddSourceLocation(ON.getSourceRange().getEnd());
828 switch (ON.getKind()) {
830 Record.push_back(ON.getArrayExprIndex());
831 break;
832
834 Record.AddDeclRef(ON.getField());
835 break;
836
838 Record.AddIdentifierRef(ON.getFieldName());
839 break;
840
842 Record.AddCXXBaseSpecifier(*ON.getBase());
843 break;
844 }
845 }
846 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
847 Record.AddStmt(E->getIndexExpr(I));
849}
850
851void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
852 VisitExpr(E);
853 Record.push_back(E->getKind());
854 if (E->isArgumentType())
855 Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
856 else {
857 Record.push_back(0);
858 Record.AddStmt(E->getArgumentExpr());
859 }
860 Record.AddSourceLocation(E->getOperatorLoc());
861 Record.AddSourceLocation(E->getRParenLoc());
863}
864
865void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
866 VisitExpr(E);
867 Record.AddStmt(E->getLHS());
868 Record.AddStmt(E->getRHS());
869 Record.AddSourceLocation(E->getRBracketLoc());
871}
872
873void ASTStmtWriter::VisitMatrixSubscriptExpr(MatrixSubscriptExpr *E) {
874 VisitExpr(E);
875 Record.AddStmt(E->getBase());
876 Record.AddStmt(E->getRowIdx());
877 Record.AddStmt(E->getColumnIdx());
878 Record.AddSourceLocation(E->getRBracketLoc());
880}
881
882void ASTStmtWriter::VisitArraySectionExpr(ArraySectionExpr *E) {
883 VisitExpr(E);
884 Record.writeEnum(E->ASType);
885 Record.AddStmt(E->getBase());
886 Record.AddStmt(E->getLowerBound());
887 Record.AddStmt(E->getLength());
888 if (E->isOMPArraySection())
889 Record.AddStmt(E->getStride());
890 Record.AddSourceLocation(E->getColonLocFirst());
891
892 if (E->isOMPArraySection())
893 Record.AddSourceLocation(E->getColonLocSecond());
894
895 Record.AddSourceLocation(E->getRBracketLoc());
897}
898
899void ASTStmtWriter::VisitOMPArrayShapingExpr(OMPArrayShapingExpr *E) {
900 VisitExpr(E);
901 Record.push_back(E->getDimensions().size());
902 Record.AddStmt(E->getBase());
903 for (Expr *Dim : E->getDimensions())
904 Record.AddStmt(Dim);
905 for (SourceRange SR : E->getBracketsRanges())
906 Record.AddSourceRange(SR);
907 Record.AddSourceLocation(E->getLParenLoc());
908 Record.AddSourceLocation(E->getRParenLoc());
910}
911
912void ASTStmtWriter::VisitOMPIteratorExpr(OMPIteratorExpr *E) {
913 VisitExpr(E);
914 Record.push_back(E->numOfIterators());
915 Record.AddSourceLocation(E->getIteratorKwLoc());
916 Record.AddSourceLocation(E->getLParenLoc());
917 Record.AddSourceLocation(E->getRParenLoc());
918 for (unsigned I = 0, End = E->numOfIterators(); I < End; ++I) {
919 Record.AddDeclRef(E->getIteratorDecl(I));
920 Record.AddSourceLocation(E->getAssignLoc(I));
921 OMPIteratorExpr::IteratorRange Range = E->getIteratorRange(I);
922 Record.AddStmt(Range.Begin);
923 Record.AddStmt(Range.End);
924 Record.AddStmt(Range.Step);
925 Record.AddSourceLocation(E->getColonLoc(I));
926 if (Range.Step)
927 Record.AddSourceLocation(E->getSecondColonLoc(I));
928 // Serialize helpers
929 OMPIteratorHelperData &HD = E->getHelper(I);
930 Record.AddDeclRef(HD.CounterVD);
931 Record.AddStmt(HD.Upper);
932 Record.AddStmt(HD.Update);
933 Record.AddStmt(HD.CounterUpdate);
934 }
936}
937
938void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
939 VisitExpr(E);
940
941 Record.push_back(E->getNumArgs());
942 CurrentPackingBits.updateBits();
943 CurrentPackingBits.addBit(static_cast<bool>(E->getADLCallKind()));
944 CurrentPackingBits.addBit(E->hasStoredFPFeatures());
945
946 Record.AddSourceLocation(E->getRParenLoc());
947 Record.AddStmt(E->getCallee());
948 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
949 Arg != ArgEnd; ++Arg)
950 Record.AddStmt(*Arg);
951
952 if (E->hasStoredFPFeatures())
953 Record.push_back(E->getFPFeatures().getAsOpaqueInt());
954
955 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()) &&
956 E->getStmtClass() == Stmt::CallExprClass)
957 AbbrevToUse = Writer.getCallExprAbbrev();
958
960}
961
962void ASTStmtWriter::VisitRecoveryExpr(RecoveryExpr *E) {
963 VisitExpr(E);
964 Record.push_back(std::distance(E->children().begin(), E->children().end()));
965 Record.AddSourceLocation(E->getBeginLoc());
966 Record.AddSourceLocation(E->getEndLoc());
967 for (Stmt *Child : E->children())
968 Record.AddStmt(Child);
970}
971
972void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
973 VisitExpr(E);
974
975 bool HasQualifier = E->hasQualifier();
976 bool HasFoundDecl = E->hasFoundDecl();
977 bool HasTemplateInfo = E->hasTemplateKWAndArgsInfo();
978 unsigned NumTemplateArgs = E->getNumTemplateArgs();
979
980 // Write these first for easy access when deserializing, as they affect the
981 // size of the MemberExpr.
982 CurrentPackingBits.updateBits();
983 CurrentPackingBits.addBit(HasQualifier);
984 CurrentPackingBits.addBit(HasFoundDecl);
985 CurrentPackingBits.addBit(HasTemplateInfo);
986 Record.push_back(NumTemplateArgs);
987
988 Record.AddStmt(E->getBase());
989 Record.AddDeclRef(E->getMemberDecl());
990 Record.AddDeclarationNameLoc(E->MemberDNLoc,
991 E->getMemberDecl()->getDeclName());
992 Record.AddSourceLocation(E->getMemberLoc());
993 CurrentPackingBits.addBit(E->isArrow());
994 CurrentPackingBits.addBit(E->hadMultipleCandidates());
995 CurrentPackingBits.addBits(E->isNonOdrUse(), /*Width=*/2);
996 Record.AddSourceLocation(E->getOperatorLoc());
997
998 if (HasQualifier)
999 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1000
1001 if (HasFoundDecl) {
1002 DeclAccessPair FoundDecl = E->getFoundDecl();
1003 Record.AddDeclRef(FoundDecl.getDecl());
1004 CurrentPackingBits.addBits(FoundDecl.getAccess(), /*BitWidth=*/2);
1005 }
1006
1007 if (HasTemplateInfo)
1008 AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
1009 E->getTrailingObjects<TemplateArgumentLoc>());
1010
1012}
1013
1014void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
1015 VisitExpr(E);
1016 Record.AddStmt(E->getBase());
1017 Record.AddSourceLocation(E->getIsaMemberLoc());
1018 Record.AddSourceLocation(E->getOpLoc());
1019 Record.push_back(E->isArrow());
1021}
1022
1023void ASTStmtWriter::
1024VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
1025 VisitExpr(E);
1026 Record.AddStmt(E->getSubExpr());
1027 Record.push_back(E->shouldCopy());
1029}
1030
1031void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
1032 VisitExplicitCastExpr(E);
1033 Record.AddSourceLocation(E->getLParenLoc());
1034 Record.AddSourceLocation(E->getBridgeKeywordLoc());
1035 Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
1037}
1038
1039void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
1040 VisitExpr(E);
1041
1042 Record.push_back(E->path_size());
1043 CurrentPackingBits.updateBits();
1044 // 7 bits should be enough to store the casting kinds.
1045 CurrentPackingBits.addBits(E->getCastKind(), /*Width=*/7);
1046 CurrentPackingBits.addBit(E->hasStoredFPFeatures());
1047 Record.AddStmt(E->getSubExpr());
1048
1050 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
1051 Record.AddCXXBaseSpecifier(**PI);
1052
1053 if (E->hasStoredFPFeatures())
1054 Record.push_back(E->getFPFeatures().getAsOpaqueInt());
1055}
1056
1057void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
1058 VisitExpr(E);
1059
1060 // Write this first for easy access when deserializing, as they affect the
1061 // size of the UnaryOperator.
1062 CurrentPackingBits.updateBits();
1063 CurrentPackingBits.addBits(E->getOpcode(), /*Width=*/6);
1064 bool HasFPFeatures = E->hasStoredFPFeatures();
1065 CurrentPackingBits.addBit(HasFPFeatures);
1066 Record.AddStmt(E->getLHS());
1067 Record.AddStmt(E->getRHS());
1068 Record.AddSourceLocation(E->getOperatorLoc());
1069 if (HasFPFeatures)
1070 Record.push_back(E->getStoredFPFeatures().getAsOpaqueInt());
1071
1072 if (!HasFPFeatures && E->getValueKind() == VK_PRValue &&
1074 AbbrevToUse = Writer.getBinaryOperatorAbbrev();
1075
1077}
1078
1079void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
1080 VisitBinaryOperator(E);
1081 Record.AddTypeRef(E->getComputationLHSType());
1082 Record.AddTypeRef(E->getComputationResultType());
1083
1084 if (!E->hasStoredFPFeatures() && E->getValueKind() == VK_PRValue &&
1086 AbbrevToUse = Writer.getCompoundAssignOperatorAbbrev();
1087
1089}
1090
1091void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
1092 VisitExpr(E);
1093 Record.AddStmt(E->getCond());
1094 Record.AddStmt(E->getLHS());
1095 Record.AddStmt(E->getRHS());
1096 Record.AddSourceLocation(E->getQuestionLoc());
1097 Record.AddSourceLocation(E->getColonLoc());
1099}
1100
1101void
1102ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
1103 VisitExpr(E);
1104 Record.AddStmt(E->getOpaqueValue());
1105 Record.AddStmt(E->getCommon());
1106 Record.AddStmt(E->getCond());
1107 Record.AddStmt(E->getTrueExpr());
1108 Record.AddStmt(E->getFalseExpr());
1109 Record.AddSourceLocation(E->getQuestionLoc());
1110 Record.AddSourceLocation(E->getColonLoc());
1112}
1113
1114void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
1115 VisitCastExpr(E);
1116 CurrentPackingBits.addBit(E->isPartOfExplicitCast());
1117
1118 if (E->path_size() == 0 && !E->hasStoredFPFeatures())
1119 AbbrevToUse = Writer.getExprImplicitCastAbbrev();
1120
1122}
1123
1124void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
1125 VisitCastExpr(E);
1126 Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
1127}
1128
1129void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
1130 VisitExplicitCastExpr(E);
1131 Record.AddSourceLocation(E->getLParenLoc());
1132 Record.AddSourceLocation(E->getRParenLoc());
1134}
1135
1136void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
1137 VisitExpr(E);
1138 Record.AddSourceLocation(E->getLParenLoc());
1139 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1140 Record.AddStmt(E->getInitializer());
1141 Record.push_back(E->isFileScope());
1143}
1144
1145void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
1146 VisitExpr(E);
1147 Record.AddStmt(E->getBase());
1148 Record.AddIdentifierRef(&E->getAccessor());
1149 Record.AddSourceLocation(E->getAccessorLoc());
1151}
1152
1153void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
1154 VisitExpr(E);
1155 // NOTE: only add the (possibly null) syntactic form.
1156 // No need to serialize the isSemanticForm flag and the semantic form.
1157 Record.AddStmt(E->getSyntacticForm());
1158 Record.AddSourceLocation(E->getLBraceLoc());
1159 Record.AddSourceLocation(E->getRBraceLoc());
1160 bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
1161 Record.push_back(isArrayFiller);
1162 if (isArrayFiller)
1163 Record.AddStmt(E->getArrayFiller());
1164 else
1165 Record.AddDeclRef(E->getInitializedFieldInUnion());
1166 Record.push_back(E->hadArrayRangeDesignator());
1167 Record.push_back(E->getNumInits());
1168 if (isArrayFiller) {
1169 // ArrayFiller may have filled "holes" due to designated initializer.
1170 // Replace them by 0 to indicate that the filler goes in that place.
1171 Expr *filler = E->getArrayFiller();
1172 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1173 Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
1174 } else {
1175 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1176 Record.AddStmt(E->getInit(I));
1177 }
1179}
1180
1181void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
1182 VisitExpr(E);
1183 Record.push_back(E->getNumSubExprs());
1184 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1185 Record.AddStmt(E->getSubExpr(I));
1186 Record.AddSourceLocation(E->getEqualOrColonLoc());
1187 Record.push_back(E->usesGNUSyntax());
1188 for (const DesignatedInitExpr::Designator &D : E->designators()) {
1189 if (D.isFieldDesignator()) {
1190 if (FieldDecl *Field = D.getFieldDecl()) {
1192 Record.AddDeclRef(Field);
1193 } else {
1195 Record.AddIdentifierRef(D.getFieldName());
1196 }
1197 Record.AddSourceLocation(D.getDotLoc());
1198 Record.AddSourceLocation(D.getFieldLoc());
1199 } else if (D.isArrayDesignator()) {
1201 Record.push_back(D.getArrayIndex());
1202 Record.AddSourceLocation(D.getLBracketLoc());
1203 Record.AddSourceLocation(D.getRBracketLoc());
1204 } else {
1205 assert(D.isArrayRangeDesignator() && "Unknown designator");
1207 Record.push_back(D.getArrayIndex());
1208 Record.AddSourceLocation(D.getLBracketLoc());
1209 Record.AddSourceLocation(D.getEllipsisLoc());
1210 Record.AddSourceLocation(D.getRBracketLoc());
1211 }
1212 }
1214}
1215
1216void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
1217 VisitExpr(E);
1218 Record.AddStmt(E->getBase());
1219 Record.AddStmt(E->getUpdater());
1221}
1222
1223void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
1224 VisitExpr(E);
1226}
1227
1228void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
1229 VisitExpr(E);
1230 Record.AddStmt(E->SubExprs[0]);
1231 Record.AddStmt(E->SubExprs[1]);
1233}
1234
1235void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
1236 VisitExpr(E);
1238}
1239
1240void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
1241 VisitExpr(E);
1243}
1244
1245void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
1246 VisitExpr(E);
1247 Record.AddStmt(E->getSubExpr());
1248 Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
1249 Record.AddSourceLocation(E->getBuiltinLoc());
1250 Record.AddSourceLocation(E->getRParenLoc());
1251 Record.push_back(E->isMicrosoftABI());
1253}
1254
1255void ASTStmtWriter::VisitSourceLocExpr(SourceLocExpr *E) {
1256 VisitExpr(E);
1257 Record.AddDeclRef(cast_or_null<Decl>(E->getParentContext()));
1258 Record.AddSourceLocation(E->getBeginLoc());
1259 Record.AddSourceLocation(E->getEndLoc());
1260 Record.push_back(llvm::to_underlying(E->getIdentKind()));
1262}
1263
1264void ASTStmtWriter::VisitEmbedExpr(EmbedExpr *E) {
1265 VisitExpr(E);
1266 Record.AddSourceLocation(E->getBeginLoc());
1267 Record.AddSourceLocation(E->getEndLoc());
1268 Record.AddStmt(E->getDataStringLiteral());
1269 Record.writeUInt32(E->getStartingElementPos());
1270 Record.writeUInt32(E->getDataElementCount());
1272}
1273
1274void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
1275 VisitExpr(E);
1276 Record.AddSourceLocation(E->getAmpAmpLoc());
1277 Record.AddSourceLocation(E->getLabelLoc());
1278 Record.AddDeclRef(E->getLabel());
1280}
1281
1282void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
1283 VisitExpr(E);
1284 Record.AddStmt(E->getSubStmt());
1285 Record.AddSourceLocation(E->getLParenLoc());
1286 Record.AddSourceLocation(E->getRParenLoc());
1287 Record.push_back(E->getTemplateDepth());
1289}
1290
1291void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
1292 VisitExpr(E);
1293 Record.AddStmt(E->getCond());
1294 Record.AddStmt(E->getLHS());
1295 Record.AddStmt(E->getRHS());
1296 Record.AddSourceLocation(E->getBuiltinLoc());
1297 Record.AddSourceLocation(E->getRParenLoc());
1298 Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
1300}
1301
1302void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
1303 VisitExpr(E);
1304 Record.AddSourceLocation(E->getTokenLocation());
1306}
1307
1308void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
1309 VisitExpr(E);
1310 Record.push_back(E->getNumSubExprs());
1311 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1312 Record.AddStmt(E->getExpr(I));
1313 Record.AddSourceLocation(E->getBuiltinLoc());
1314 Record.AddSourceLocation(E->getRParenLoc());
1316}
1317
1318void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
1319 VisitExpr(E);
1320 Record.AddSourceLocation(E->getBuiltinLoc());
1321 Record.AddSourceLocation(E->getRParenLoc());
1322 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1323 Record.AddStmt(E->getSrcExpr());
1325}
1326
1327void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
1328 VisitExpr(E);
1329 Record.AddDeclRef(E->getBlockDecl());
1331}
1332
1333void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
1334 VisitExpr(E);
1335
1336 Record.push_back(E->getNumAssocs());
1337 Record.push_back(E->isExprPredicate());
1338 Record.push_back(E->ResultIndex);
1339 Record.AddSourceLocation(E->getGenericLoc());
1340 Record.AddSourceLocation(E->getDefaultLoc());
1341 Record.AddSourceLocation(E->getRParenLoc());
1342
1343 Stmt **Stmts = E->getTrailingObjects<Stmt *>();
1344 // Add 1 to account for the controlling expression which is the first
1345 // expression in the trailing array of Stmt *. This is not needed for
1346 // the trailing array of TypeSourceInfo *.
1347 for (unsigned I = 0, N = E->getNumAssocs() + 1; I < N; ++I)
1348 Record.AddStmt(Stmts[I]);
1349
1350 TypeSourceInfo **TSIs = E->getTrailingObjects<TypeSourceInfo *>();
1351 for (unsigned I = 0, N = E->getNumAssocs(); I < N; ++I)
1352 Record.AddTypeSourceInfo(TSIs[I]);
1353
1355}
1356
1357void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
1358 VisitExpr(E);
1359 Record.push_back(E->getNumSemanticExprs());
1360
1361 // Push the result index. Currently, this needs to exactly match
1362 // the encoding used internally for ResultIndex.
1363 unsigned result = E->getResultExprIndex();
1364 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
1365 Record.push_back(result);
1366
1367 Record.AddStmt(E->getSyntacticForm());
1369 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
1370 Record.AddStmt(*i);
1371 }
1373}
1374
1375void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
1376 VisitExpr(E);
1377 Record.push_back(E->getOp());
1378 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1379 Record.AddStmt(E->getSubExprs()[I]);
1380 Record.AddSourceLocation(E->getBuiltinLoc());
1381 Record.AddSourceLocation(E->getRParenLoc());
1383}
1384
1385//===----------------------------------------------------------------------===//
1386// Objective-C Expressions and Statements.
1387//===----------------------------------------------------------------------===//
1388
1389void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1390 VisitExpr(E);
1391 Record.AddStmt(E->getString());
1392 Record.AddSourceLocation(E->getAtLoc());
1394}
1395
1396void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
1397 VisitExpr(E);
1398 Record.AddStmt(E->getSubExpr());
1399 Record.AddDeclRef(E->getBoxingMethod());
1400 Record.AddSourceRange(E->getSourceRange());
1402}
1403
1404void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1405 VisitExpr(E);
1406 Record.push_back(E->getNumElements());
1407 for (unsigned i = 0; i < E->getNumElements(); i++)
1408 Record.AddStmt(E->getElement(i));
1409 Record.AddDeclRef(E->getArrayWithObjectsMethod());
1410 Record.AddSourceRange(E->getSourceRange());
1412}
1413
1414void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1415 VisitExpr(E);
1416 Record.push_back(E->getNumElements());
1417 Record.push_back(E->HasPackExpansions);
1418 for (unsigned i = 0; i < E->getNumElements(); i++) {
1419 ObjCDictionaryElement Element = E->getKeyValueElement(i);
1420 Record.AddStmt(Element.Key);
1421 Record.AddStmt(Element.Value);
1422 if (E->HasPackExpansions) {
1423 Record.AddSourceLocation(Element.EllipsisLoc);
1424 unsigned NumExpansions = 0;
1425 if (Element.NumExpansions)
1426 NumExpansions = *Element.NumExpansions + 1;
1427 Record.push_back(NumExpansions);
1428 }
1429 }
1430
1431 Record.AddDeclRef(E->getDictWithObjectsMethod());
1432 Record.AddSourceRange(E->getSourceRange());
1434}
1435
1436void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1437 VisitExpr(E);
1438 Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1439 Record.AddSourceLocation(E->getAtLoc());
1440 Record.AddSourceLocation(E->getRParenLoc());
1442}
1443
1444void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1445 VisitExpr(E);
1446 Record.AddSelectorRef(E->getSelector());
1447 Record.AddSourceLocation(E->getAtLoc());
1448 Record.AddSourceLocation(E->getRParenLoc());
1450}
1451
1452void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1453 VisitExpr(E);
1454 Record.AddDeclRef(E->getProtocol());
1455 Record.AddSourceLocation(E->getAtLoc());
1456 Record.AddSourceLocation(E->ProtoLoc);
1457 Record.AddSourceLocation(E->getRParenLoc());
1459}
1460
1461void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
1462 VisitExpr(E);
1463 Record.AddDeclRef(E->getDecl());
1464 Record.AddSourceLocation(E->getLocation());
1465 Record.AddSourceLocation(E->getOpLoc());
1466 Record.AddStmt(E->getBase());
1467 Record.push_back(E->isArrow());
1468 Record.push_back(E->isFreeIvar());
1470}
1471
1472void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
1473 VisitExpr(E);
1474 Record.push_back(E->SetterAndMethodRefFlags.getInt());
1475 Record.push_back(E->isImplicitProperty());
1476 if (E->isImplicitProperty()) {
1477 Record.AddDeclRef(E->getImplicitPropertyGetter());
1478 Record.AddDeclRef(E->getImplicitPropertySetter());
1479 } else {
1480 Record.AddDeclRef(E->getExplicitProperty());
1481 }
1482 Record.AddSourceLocation(E->getLocation());
1483 Record.AddSourceLocation(E->getReceiverLocation());
1484 if (E->isObjectReceiver()) {
1485 Record.push_back(0);
1486 Record.AddStmt(E->getBase());
1487 } else if (E->isSuperReceiver()) {
1488 Record.push_back(1);
1489 Record.AddTypeRef(E->getSuperReceiverType());
1490 } else {
1491 Record.push_back(2);
1492 Record.AddDeclRef(E->getClassReceiver());
1493 }
1494
1496}
1497
1498void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1499 VisitExpr(E);
1500 Record.AddSourceLocation(E->getRBracket());
1501 Record.AddStmt(E->getBaseExpr());
1502 Record.AddStmt(E->getKeyExpr());
1503 Record.AddDeclRef(E->getAtIndexMethodDecl());
1504 Record.AddDeclRef(E->setAtIndexMethodDecl());
1505
1507}
1508
1509void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
1510 VisitExpr(E);
1511 Record.push_back(E->getNumArgs());
1512 Record.push_back(E->getNumStoredSelLocs());
1513 Record.push_back(E->SelLocsKind);
1514 Record.push_back(E->isDelegateInitCall());
1515 Record.push_back(E->IsImplicit);
1516 Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1517 switch (E->getReceiverKind()) {
1519 Record.AddStmt(E->getInstanceReceiver());
1520 break;
1521
1523 Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
1524 break;
1525
1528 Record.AddTypeRef(E->getSuperType());
1529 Record.AddSourceLocation(E->getSuperLoc());
1530 break;
1531 }
1532
1533 if (E->getMethodDecl()) {
1534 Record.push_back(1);
1535 Record.AddDeclRef(E->getMethodDecl());
1536 } else {
1537 Record.push_back(0);
1538 Record.AddSelectorRef(E->getSelector());
1539 }
1540
1541 Record.AddSourceLocation(E->getLeftLoc());
1542 Record.AddSourceLocation(E->getRightLoc());
1543
1544 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1545 Arg != ArgEnd; ++Arg)
1546 Record.AddStmt(*Arg);
1547
1548 SourceLocation *Locs = E->getStoredSelLocs();
1549 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
1550 Record.AddSourceLocation(Locs[i]);
1551
1553}
1554
1555void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
1556 VisitStmt(S);
1557 Record.AddStmt(S->getElement());
1558 Record.AddStmt(S->getCollection());
1559 Record.AddStmt(S->getBody());
1560 Record.AddSourceLocation(S->getForLoc());
1561 Record.AddSourceLocation(S->getRParenLoc());
1563}
1564
1565void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
1566 VisitStmt(S);
1567 Record.AddStmt(S->getCatchBody());
1568 Record.AddDeclRef(S->getCatchParamDecl());
1569 Record.AddSourceLocation(S->getAtCatchLoc());
1570 Record.AddSourceLocation(S->getRParenLoc());
1572}
1573
1574void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
1575 VisitStmt(S);
1576 Record.AddStmt(S->getFinallyBody());
1577 Record.AddSourceLocation(S->getAtFinallyLoc());
1579}
1580
1581void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
1582 VisitStmt(S); // FIXME: no test coverage.
1583 Record.AddStmt(S->getSubStmt());
1584 Record.AddSourceLocation(S->getAtLoc());
1586}
1587
1588void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
1589 VisitStmt(S);
1590 Record.push_back(S->getNumCatchStmts());
1591 Record.push_back(S->getFinallyStmt() != nullptr);
1592 Record.AddStmt(S->getTryBody());
1593 for (ObjCAtCatchStmt *C : S->catch_stmts())
1594 Record.AddStmt(C);
1595 if (S->getFinallyStmt())
1596 Record.AddStmt(S->getFinallyStmt());
1597 Record.AddSourceLocation(S->getAtTryLoc());
1599}
1600
1601void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
1602 VisitStmt(S); // FIXME: no test coverage.
1603 Record.AddStmt(S->getSynchExpr());
1604 Record.AddStmt(S->getSynchBody());
1605 Record.AddSourceLocation(S->getAtSynchronizedLoc());
1607}
1608
1609void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
1610 VisitStmt(S); // FIXME: no test coverage.
1611 Record.AddStmt(S->getThrowExpr());
1612 Record.AddSourceLocation(S->getThrowLoc());
1614}
1615
1616void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1617 VisitExpr(E);
1618 Record.push_back(E->getValue());
1619 Record.AddSourceLocation(E->getLocation());
1621}
1622
1623void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1624 VisitExpr(E);
1625 Record.AddSourceRange(E->getSourceRange());
1626 Record.AddVersionTuple(E->getVersion());
1628}
1629
1630//===----------------------------------------------------------------------===//
1631// C++ Expressions and Statements.
1632//===----------------------------------------------------------------------===//
1633
1634void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
1635 VisitStmt(S);
1636 Record.AddSourceLocation(S->getCatchLoc());
1637 Record.AddDeclRef(S->getExceptionDecl());
1638 Record.AddStmt(S->getHandlerBlock());
1640}
1641
1642void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
1643 VisitStmt(S);
1644 Record.push_back(S->getNumHandlers());
1645 Record.AddSourceLocation(S->getTryLoc());
1646 Record.AddStmt(S->getTryBlock());
1647 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1648 Record.AddStmt(S->getHandler(i));
1650}
1651
1652void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1653 VisitStmt(S);
1654 Record.AddSourceLocation(S->getForLoc());
1655 Record.AddSourceLocation(S->getCoawaitLoc());
1656 Record.AddSourceLocation(S->getColonLoc());
1657 Record.AddSourceLocation(S->getRParenLoc());
1658 Record.AddStmt(S->getInit());
1659 Record.AddStmt(S->getRangeStmt());
1660 Record.AddStmt(S->getBeginStmt());
1661 Record.AddStmt(S->getEndStmt());
1662 Record.AddStmt(S->getCond());
1663 Record.AddStmt(S->getInc());
1664 Record.AddStmt(S->getLoopVarStmt());
1665 Record.AddStmt(S->getBody());
1667}
1668
1669void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1670 VisitStmt(S);
1671 Record.AddSourceLocation(S->getKeywordLoc());
1672 Record.push_back(S->isIfExists());
1673 Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1674 Record.AddDeclarationNameInfo(S->getNameInfo());
1675 Record.AddStmt(S->getSubStmt());
1677}
1678
1679void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
1680 VisitCallExpr(E);
1681 Record.push_back(E->getOperator());
1682 Record.AddSourceRange(E->Range);
1683
1684 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1685 AbbrevToUse = Writer.getCXXOperatorCallExprAbbrev();
1686
1688}
1689
1690void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
1691 VisitCallExpr(E);
1692
1693 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1694 AbbrevToUse = Writer.getCXXMemberCallExprAbbrev();
1695
1697}
1698
1699void ASTStmtWriter::VisitCXXRewrittenBinaryOperator(
1701 VisitExpr(E);
1702 Record.push_back(E->isReversed());
1703 Record.AddStmt(E->getSemanticForm());
1705}
1706
1707void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
1708 VisitExpr(E);
1709
1710 Record.push_back(E->getNumArgs());
1711 Record.push_back(E->isElidable());
1712 Record.push_back(E->hadMultipleCandidates());
1713 Record.push_back(E->isListInitialization());
1714 Record.push_back(E->isStdInitListInitialization());
1715 Record.push_back(E->requiresZeroInitialization());
1716 Record.push_back(
1717 llvm::to_underlying(E->getConstructionKind())); // FIXME: stable encoding
1718 Record.push_back(E->isImmediateEscalating());
1719 Record.AddSourceLocation(E->getLocation());
1720 Record.AddDeclRef(E->getConstructor());
1721 Record.AddSourceRange(E->getParenOrBraceRange());
1722
1723 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1724 Record.AddStmt(E->getArg(I));
1725
1727}
1728
1729void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1730 VisitExpr(E);
1731 Record.AddDeclRef(E->getConstructor());
1732 Record.AddSourceLocation(E->getLocation());
1733 Record.push_back(E->constructsVBase());
1734 Record.push_back(E->inheritedFromVBase());
1736}
1737
1738void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1739 VisitCXXConstructExpr(E);
1740 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1742}
1743
1744void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1745 VisitExpr(E);
1746 Record.push_back(E->LambdaExprBits.NumCaptures);
1747 Record.AddSourceRange(E->IntroducerRange);
1748 Record.push_back(E->LambdaExprBits.CaptureDefault); // FIXME: stable encoding
1749 Record.AddSourceLocation(E->CaptureDefaultLoc);
1750 Record.push_back(E->LambdaExprBits.ExplicitParams);
1751 Record.push_back(E->LambdaExprBits.ExplicitResultType);
1752 Record.AddSourceLocation(E->ClosingBrace);
1753
1754 // Add capture initializers.
1755 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1756 CEnd = E->capture_init_end();
1757 C != CEnd; ++C) {
1758 Record.AddStmt(*C);
1759 }
1760
1761 // Don't serialize the body. It belongs to the call operator declaration.
1762 // LambdaExpr only stores a copy of the Stmt *.
1763
1765}
1766
1767void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1768 VisitExpr(E);
1769 Record.AddStmt(E->getSubExpr());
1771}
1772
1773void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1774 VisitExplicitCastExpr(E);
1775 Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1776 CurrentPackingBits.addBit(E->getAngleBrackets().isValid());
1777 if (E->getAngleBrackets().isValid())
1778 Record.AddSourceRange(E->getAngleBrackets());
1779}
1780
1781void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1782 VisitCXXNamedCastExpr(E);
1784}
1785
1786void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1787 VisitCXXNamedCastExpr(E);
1789}
1790
1791void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1792 VisitCXXNamedCastExpr(E);
1794}
1795
1796void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1797 VisitCXXNamedCastExpr(E);
1799}
1800
1801void ASTStmtWriter::VisitCXXAddrspaceCastExpr(CXXAddrspaceCastExpr *E) {
1802 VisitCXXNamedCastExpr(E);
1804}
1805
1806void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1807 VisitExplicitCastExpr(E);
1808 Record.AddSourceLocation(E->getLParenLoc());
1809 Record.AddSourceLocation(E->getRParenLoc());
1811}
1812
1813void ASTStmtWriter::VisitBuiltinBitCastExpr(BuiltinBitCastExpr *E) {
1814 VisitExplicitCastExpr(E);
1815 Record.AddSourceLocation(E->getBeginLoc());
1816 Record.AddSourceLocation(E->getEndLoc());
1818}
1819
1820void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1821 VisitCallExpr(E);
1822 Record.AddSourceLocation(E->UDSuffixLoc);
1824}
1825
1826void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1827 VisitExpr(E);
1828 Record.push_back(E->getValue());
1829 Record.AddSourceLocation(E->getLocation());
1831}
1832
1833void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1834 VisitExpr(E);
1835 Record.AddSourceLocation(E->getLocation());
1837}
1838
1839void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1840 VisitExpr(E);
1841 Record.AddSourceRange(E->getSourceRange());
1842 if (E->isTypeOperand()) {
1843 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1845 } else {
1846 Record.AddStmt(E->getExprOperand());
1848 }
1849}
1850
1851void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
1852 VisitExpr(E);
1853 Record.AddSourceLocation(E->getLocation());
1854 Record.push_back(E->isImplicit());
1855 Record.push_back(E->isCapturedByCopyInLambdaWithExplicitObjectParameter());
1856
1858}
1859
1860void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
1861 VisitExpr(E);
1862 Record.AddSourceLocation(E->getThrowLoc());
1863 Record.AddStmt(E->getSubExpr());
1864 Record.push_back(E->isThrownVariableInScope());
1866}
1867
1868void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1869 VisitExpr(E);
1870 Record.AddDeclRef(E->getParam());
1871 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext()));
1872 Record.AddSourceLocation(E->getUsedLocation());
1873 Record.push_back(E->hasRewrittenInit());
1874 if (E->hasRewrittenInit())
1875 Record.AddStmt(E->getRewrittenExpr());
1877}
1878
1879void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1880 VisitExpr(E);
1881 Record.push_back(E->hasRewrittenInit());
1882 Record.AddDeclRef(E->getField());
1883 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext()));
1884 Record.AddSourceLocation(E->getExprLoc());
1885 if (E->hasRewrittenInit())
1886 Record.AddStmt(E->getRewrittenExpr());
1888}
1889
1890void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1891 VisitExpr(E);
1892 Record.AddCXXTemporary(E->getTemporary());
1893 Record.AddStmt(E->getSubExpr());
1895}
1896
1897void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1898 VisitExpr(E);
1899 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1900 Record.AddSourceLocation(E->getRParenLoc());
1902}
1903
1904void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
1905 VisitExpr(E);
1906
1907 Record.push_back(E->isArray());
1908 Record.push_back(E->hasInitializer());
1909 Record.push_back(E->getNumPlacementArgs());
1910 Record.push_back(E->isParenTypeId());
1911
1912 Record.push_back(E->isGlobalNew());
1913 Record.push_back(E->passAlignment());
1914 Record.push_back(E->doesUsualArrayDeleteWantSize());
1915 Record.push_back(E->CXXNewExprBits.HasInitializer);
1916 Record.push_back(E->CXXNewExprBits.StoredInitializationStyle);
1917
1918 Record.AddDeclRef(E->getOperatorNew());
1919 Record.AddDeclRef(E->getOperatorDelete());
1920 Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1921 if (E->isParenTypeId())
1922 Record.AddSourceRange(E->getTypeIdParens());
1923 Record.AddSourceRange(E->getSourceRange());
1924 Record.AddSourceRange(E->getDirectInitRange());
1925
1926 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), N = E->raw_arg_end();
1927 I != N; ++I)
1928 Record.AddStmt(*I);
1929
1931}
1932
1933void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1934 VisitExpr(E);
1935 Record.push_back(E->isGlobalDelete());
1936 Record.push_back(E->isArrayForm());
1937 Record.push_back(E->isArrayFormAsWritten());
1938 Record.push_back(E->doesUsualArrayDeleteWantSize());
1939 Record.AddDeclRef(E->getOperatorDelete());
1940 Record.AddStmt(E->getArgument());
1941 Record.AddSourceLocation(E->getBeginLoc());
1942
1944}
1945
1946void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1947 VisitExpr(E);
1948
1949 Record.AddStmt(E->getBase());
1950 Record.push_back(E->isArrow());
1951 Record.AddSourceLocation(E->getOperatorLoc());
1952 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1953 Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1954 Record.AddSourceLocation(E->getColonColonLoc());
1955 Record.AddSourceLocation(E->getTildeLoc());
1956
1957 // PseudoDestructorTypeStorage.
1958 Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
1959 if (E->getDestroyedTypeIdentifier())
1960 Record.AddSourceLocation(E->getDestroyedTypeLoc());
1961 else
1962 Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
1963
1965}
1966
1967void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
1968 VisitExpr(E);
1969 Record.push_back(E->getNumObjects());
1970 for (auto &Obj : E->getObjects()) {
1971 if (auto *BD = Obj.dyn_cast<BlockDecl *>()) {
1973 Record.AddDeclRef(BD);
1974 } else if (auto *CLE = Obj.dyn_cast<CompoundLiteralExpr *>()) {
1976 Record.AddStmt(CLE);
1977 }
1978 }
1979
1980 Record.push_back(E->cleanupsHaveSideEffects());
1981 Record.AddStmt(E->getSubExpr());
1983}
1984
1985void ASTStmtWriter::VisitCXXDependentScopeMemberExpr(
1987 VisitExpr(E);
1988
1989 // Don't emit anything here (or if you do you will have to update
1990 // the corresponding deserialization function).
1991 Record.push_back(E->getNumTemplateArgs());
1992 CurrentPackingBits.updateBits();
1993 CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
1994 CurrentPackingBits.addBit(E->hasFirstQualifierFoundInScope());
1995
1996 if (E->hasTemplateKWAndArgsInfo()) {
1997 const ASTTemplateKWAndArgsInfo &ArgInfo =
1998 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2000 E->getTrailingObjects<TemplateArgumentLoc>());
2001 }
2002
2003 CurrentPackingBits.addBit(E->isArrow());
2004
2005 Record.AddTypeRef(E->getBaseType());
2006 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2007 CurrentPackingBits.addBit(!E->isImplicitAccess());
2008 if (!E->isImplicitAccess())
2009 Record.AddStmt(E->getBase());
2010
2011 Record.AddSourceLocation(E->getOperatorLoc());
2012
2013 if (E->hasFirstQualifierFoundInScope())
2014 Record.AddDeclRef(E->getFirstQualifierFoundInScope());
2015
2016 Record.AddDeclarationNameInfo(E->MemberNameInfo);
2018}
2019
2020void
2021ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
2022 VisitExpr(E);
2023
2024 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
2025 // emitted first.
2026 CurrentPackingBits.addBit(
2027 E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo);
2028
2029 if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) {
2030 const ASTTemplateKWAndArgsInfo &ArgInfo =
2031 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2032 // 16 bits should be enought to store the number of args
2033 CurrentPackingBits.addBits(ArgInfo.NumTemplateArgs, /*Width=*/16);
2035 E->getTrailingObjects<TemplateArgumentLoc>());
2036 }
2037
2038 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2039 Record.AddDeclarationNameInfo(E->NameInfo);
2041}
2042
2043void
2044ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
2045 VisitExpr(E);
2046 Record.push_back(E->getNumArgs());
2048 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
2049 Record.AddStmt(*ArgI);
2050 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
2051 Record.AddSourceLocation(E->getLParenLoc());
2052 Record.AddSourceLocation(E->getRParenLoc());
2053 Record.push_back(E->isListInitialization());
2055}
2056
2057void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
2058 VisitExpr(E);
2059
2060 Record.push_back(E->getNumDecls());
2061
2062 CurrentPackingBits.updateBits();
2063 CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
2064 if (E->hasTemplateKWAndArgsInfo()) {
2065 const ASTTemplateKWAndArgsInfo &ArgInfo =
2066 *E->getTrailingASTTemplateKWAndArgsInfo();
2067 Record.push_back(ArgInfo.NumTemplateArgs);
2068 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
2069 }
2070
2071 for (OverloadExpr::decls_iterator OvI = E->decls_begin(),
2072 OvE = E->decls_end();
2073 OvI != OvE; ++OvI) {
2074 Record.AddDeclRef(OvI.getDecl());
2075 Record.push_back(OvI.getAccess());
2076 }
2077
2078 Record.AddDeclarationNameInfo(E->getNameInfo());
2079 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2080}
2081
2082void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
2083 VisitOverloadExpr(E);
2084 CurrentPackingBits.addBit(E->isArrow());
2085 CurrentPackingBits.addBit(E->hasUnresolvedUsing());
2086 CurrentPackingBits.addBit(!E->isImplicitAccess());
2087 if (!E->isImplicitAccess())
2088 Record.AddStmt(E->getBase());
2089
2090 Record.AddSourceLocation(E->getOperatorLoc());
2091
2092 Record.AddTypeRef(E->getBaseType());
2094}
2095
2096void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
2097 VisitOverloadExpr(E);
2098 CurrentPackingBits.addBit(E->requiresADL());
2099 Record.AddDeclRef(E->getNamingClass());
2101
2102 if (Writer.isWritingStdCXXNamedModules() && Writer.getChain()) {
2103 // Referencing all the possible declarations to make sure the change get
2104 // propagted.
2105 DeclarationName Name = E->getName();
2106 for (auto *Found :
2108 if (Found->isFromASTFile())
2109 Writer.GetDeclRef(Found);
2110
2112 Writer.getChain()->ReadKnownNamespaces(ExternalNSs);
2113 for (auto *NS : ExternalNSs)
2114 for (auto *Found : NS->lookup(Name))
2115 Writer.GetDeclRef(Found);
2116 }
2117}
2118
2119void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
2120 VisitExpr(E);
2121 Record.push_back(E->TypeTraitExprBits.NumArgs);
2122 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
2123 Record.push_back(E->TypeTraitExprBits.Value);
2124 Record.AddSourceRange(E->getSourceRange());
2125 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
2126 Record.AddTypeSourceInfo(E->getArg(I));
2128}
2129
2130void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
2131 VisitExpr(E);
2132 Record.push_back(E->getTrait());
2133 Record.push_back(E->getValue());
2134 Record.AddSourceRange(E->getSourceRange());
2135 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
2136 Record.AddStmt(E->getDimensionExpression());
2138}
2139
2140void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
2141 VisitExpr(E);
2142 Record.push_back(E->getTrait());
2143 Record.push_back(E->getValue());
2144 Record.AddSourceRange(E->getSourceRange());
2145 Record.AddStmt(E->getQueriedExpression());
2147}
2148
2149void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
2150 VisitExpr(E);
2151 Record.push_back(E->getValue());
2152 Record.AddSourceRange(E->getSourceRange());
2153 Record.AddStmt(E->getOperand());
2155}
2156
2157void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
2158 VisitExpr(E);
2159 Record.AddSourceLocation(E->getEllipsisLoc());
2160 Record.push_back(E->NumExpansions);
2161 Record.AddStmt(E->getPattern());
2163}
2164
2165void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
2166 VisitExpr(E);
2167 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
2168 : 0);
2169 Record.AddSourceLocation(E->OperatorLoc);
2170 Record.AddSourceLocation(E->PackLoc);
2171 Record.AddSourceLocation(E->RParenLoc);
2172 Record.AddDeclRef(E->Pack);
2173 if (E->isPartiallySubstituted()) {
2174 for (const auto &TA : E->getPartialArguments())
2175 Record.AddTemplateArgument(TA);
2176 } else if (!E->isValueDependent()) {
2177 Record.push_back(E->getPackLength());
2178 }
2180}
2181
2182void ASTStmtWriter::VisitPackIndexingExpr(PackIndexingExpr *E) {
2183 VisitExpr(E);
2184 Record.push_back(E->TransformedExpressions);
2185 Record.push_back(E->ExpandedToEmptyPack);
2186 Record.AddSourceLocation(E->getEllipsisLoc());
2187 Record.AddSourceLocation(E->getRSquareLoc());
2188 Record.AddStmt(E->getPackIdExpression());
2189 Record.AddStmt(E->getIndexExpr());
2190 for (Expr *Sub : E->getExpressions())
2191 Record.AddStmt(Sub);
2193}
2194
2195void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
2197 VisitExpr(E);
2198 Record.AddDeclRef(E->getAssociatedDecl());
2199 CurrentPackingBits.addBit(E->isReferenceParameter());
2200 CurrentPackingBits.addBits(E->getIndex(), /*Width=*/12);
2201 CurrentPackingBits.addBit((bool)E->getPackIndex());
2202 if (auto PackIndex = E->getPackIndex())
2203 Record.push_back(*PackIndex + 1);
2204
2205 Record.AddSourceLocation(E->getNameLoc());
2206 Record.AddStmt(E->getReplacement());
2208}
2209
2210void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
2212 VisitExpr(E);
2213 Record.AddDeclRef(E->getAssociatedDecl());
2214 Record.push_back(E->getIndex());
2215 Record.AddTemplateArgument(E->getArgumentPack());
2216 Record.AddSourceLocation(E->getParameterPackLocation());
2218}
2219
2220void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
2221 VisitExpr(E);
2222 Record.push_back(E->getNumExpansions());
2223 Record.AddDeclRef(E->getParameterPack());
2224 Record.AddSourceLocation(E->getParameterPackLocation());
2225 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
2226 I != End; ++I)
2227 Record.AddDeclRef(*I);
2229}
2230
2231void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
2232 VisitExpr(E);
2233 Record.push_back(static_cast<bool>(E->getLifetimeExtendedTemporaryDecl()));
2234 if (E->getLifetimeExtendedTemporaryDecl())
2235 Record.AddDeclRef(E->getLifetimeExtendedTemporaryDecl());
2236 else
2237 Record.AddStmt(E->getSubExpr());
2239}
2240
2241void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
2242 VisitExpr(E);
2243 Record.AddSourceLocation(E->LParenLoc);
2244 Record.AddSourceLocation(E->EllipsisLoc);
2245 Record.AddSourceLocation(E->RParenLoc);
2246 Record.push_back(E->NumExpansions);
2247 Record.AddStmt(E->SubExprs[0]);
2248 Record.AddStmt(E->SubExprs[1]);
2249 Record.AddStmt(E->SubExprs[2]);
2250 Record.push_back(E->Opcode);
2252}
2253
2254void ASTStmtWriter::VisitCXXParenListInitExpr(CXXParenListInitExpr *E) {
2255 VisitExpr(E);
2256 ArrayRef<Expr *> InitExprs = E->getInitExprs();
2257 Record.push_back(InitExprs.size());
2258 Record.push_back(E->getUserSpecifiedInitExprs().size());
2259 Record.AddSourceLocation(E->getInitLoc());
2260 Record.AddSourceLocation(E->getBeginLoc());
2261 Record.AddSourceLocation(E->getEndLoc());
2262 for (Expr *InitExpr : E->getInitExprs())
2263 Record.AddStmt(InitExpr);
2264 Expr *ArrayFiller = E->getArrayFiller();
2265 FieldDecl *UnionField = E->getInitializedFieldInUnion();
2266 bool HasArrayFillerOrUnionDecl = ArrayFiller || UnionField;
2267 Record.push_back(HasArrayFillerOrUnionDecl);
2268 if (HasArrayFillerOrUnionDecl) {
2269 Record.push_back(static_cast<bool>(ArrayFiller));
2270 if (ArrayFiller)
2271 Record.AddStmt(ArrayFiller);
2272 else
2273 Record.AddDeclRef(UnionField);
2274 }
2276}
2277
2278void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
2279 VisitExpr(E);
2280 Record.AddStmt(E->getSourceExpr());
2281 Record.AddSourceLocation(E->getLocation());
2282 Record.push_back(E->isUnique());
2284}
2285
2286void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
2287 VisitExpr(E);
2288 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
2289 llvm_unreachable("Cannot write TypoExpr nodes");
2290}
2291
2292//===----------------------------------------------------------------------===//
2293// CUDA Expressions and Statements.
2294//===----------------------------------------------------------------------===//
2295
2296void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
2297 VisitCallExpr(E);
2298 Record.AddStmt(E->getConfig());
2300}
2301
2302//===----------------------------------------------------------------------===//
2303// OpenCL Expressions and Statements.
2304//===----------------------------------------------------------------------===//
2305void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
2306 VisitExpr(E);
2307 Record.AddSourceLocation(E->getBuiltinLoc());
2308 Record.AddSourceLocation(E->getRParenLoc());
2309 Record.AddStmt(E->getSrcExpr());
2311}
2312
2313//===----------------------------------------------------------------------===//
2314// Microsoft Expressions and Statements.
2315//===----------------------------------------------------------------------===//
2316void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
2317 VisitExpr(E);
2318 Record.push_back(E->isArrow());
2319 Record.AddStmt(E->getBaseExpr());
2320 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2321 Record.AddSourceLocation(E->getMemberLoc());
2322 Record.AddDeclRef(E->getPropertyDecl());
2324}
2325
2326void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
2327 VisitExpr(E);
2328 Record.AddStmt(E->getBase());
2329 Record.AddStmt(E->getIdx());
2330 Record.AddSourceLocation(E->getRBracketLoc());
2332}
2333
2334void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
2335 VisitExpr(E);
2336 Record.AddSourceRange(E->getSourceRange());
2337 Record.AddDeclRef(E->getGuidDecl());
2338 if (E->isTypeOperand()) {
2339 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
2341 } else {
2342 Record.AddStmt(E->getExprOperand());
2344 }
2345}
2346
2347void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
2348 VisitStmt(S);
2349 Record.AddSourceLocation(S->getExceptLoc());
2350 Record.AddStmt(S->getFilterExpr());
2351 Record.AddStmt(S->getBlock());
2353}
2354
2355void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
2356 VisitStmt(S);
2357 Record.AddSourceLocation(S->getFinallyLoc());
2358 Record.AddStmt(S->getBlock());
2360}
2361
2362void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
2363 VisitStmt(S);
2364 Record.push_back(S->getIsCXXTry());
2365 Record.AddSourceLocation(S->getTryLoc());
2366 Record.AddStmt(S->getTryBlock());
2367 Record.AddStmt(S->getHandler());
2369}
2370
2371void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
2372 VisitStmt(S);
2373 Record.AddSourceLocation(S->getLeaveLoc());
2375}
2376
2377//===----------------------------------------------------------------------===//
2378// OpenMP Directives.
2379//===----------------------------------------------------------------------===//
2380
2381void ASTStmtWriter::VisitOMPCanonicalLoop(OMPCanonicalLoop *S) {
2382 VisitStmt(S);
2383 for (Stmt *SubStmt : S->SubStmts)
2384 Record.AddStmt(SubStmt);
2386}
2387
2388void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
2389 Record.writeOMPChildren(E->Data);
2390 Record.AddSourceLocation(E->getBeginLoc());
2391 Record.AddSourceLocation(E->getEndLoc());
2392}
2393
2394void ASTStmtWriter::VisitOMPLoopBasedDirective(OMPLoopBasedDirective *D) {
2395 VisitStmt(D);
2396 Record.writeUInt32(D->getLoopsNumber());
2397 VisitOMPExecutableDirective(D);
2398}
2399
2400void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
2401 VisitOMPLoopBasedDirective(D);
2402}
2403
2404void ASTStmtWriter::VisitOMPMetaDirective(OMPMetaDirective *D) {
2405 VisitStmt(D);
2406 Record.push_back(D->getNumClauses());
2407 VisitOMPExecutableDirective(D);
2409}
2410
2411void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
2412 VisitStmt(D);
2413 VisitOMPExecutableDirective(D);
2414 Record.writeBool(D->hasCancel());
2416}
2417
2418void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
2419 VisitOMPLoopDirective(D);
2421}
2422
2423void ASTStmtWriter::VisitOMPLoopTransformationDirective(
2425 VisitOMPLoopBasedDirective(D);
2426 Record.writeUInt32(D->getNumGeneratedLoops());
2427}
2428
2429void ASTStmtWriter::VisitOMPTileDirective(OMPTileDirective *D) {
2430 VisitOMPLoopTransformationDirective(D);
2432}
2433
2434void ASTStmtWriter::VisitOMPUnrollDirective(OMPUnrollDirective *D) {
2435 VisitOMPLoopTransformationDirective(D);
2437}
2438
2439void ASTStmtWriter::VisitOMPReverseDirective(OMPReverseDirective *D) {
2440 VisitOMPLoopTransformationDirective(D);
2442}
2443
2444void ASTStmtWriter::VisitOMPInterchangeDirective(OMPInterchangeDirective *D) {
2445 VisitOMPLoopTransformationDirective(D);
2447}
2448
2449void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
2450 VisitOMPLoopDirective(D);
2451 Record.writeBool(D->hasCancel());
2453}
2454
2455void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
2456 VisitOMPLoopDirective(D);
2458}
2459
2460void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
2461 VisitStmt(D);
2462 VisitOMPExecutableDirective(D);
2463 Record.writeBool(D->hasCancel());
2465}
2466
2467void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
2468 VisitStmt(D);
2469 VisitOMPExecutableDirective(D);
2470 Record.writeBool(D->hasCancel());
2472}
2473
2474void ASTStmtWriter::VisitOMPScopeDirective(OMPScopeDirective *D) {
2475 VisitStmt(D);
2476 VisitOMPExecutableDirective(D);
2478}
2479
2480void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
2481 VisitStmt(D);
2482 VisitOMPExecutableDirective(D);
2484}
2485
2486void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
2487 VisitStmt(D);
2488 VisitOMPExecutableDirective(D);
2490}
2491
2492void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
2493 VisitStmt(D);
2494 VisitOMPExecutableDirective(D);
2495 Record.AddDeclarationNameInfo(D->getDirectiveName());
2497}
2498
2499void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
2500 VisitOMPLoopDirective(D);
2501 Record.writeBool(D->hasCancel());
2503}
2504
2505void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2507 VisitOMPLoopDirective(D);
2509}
2510
2511void ASTStmtWriter::VisitOMPParallelMasterDirective(
2513 VisitStmt(D);
2514 VisitOMPExecutableDirective(D);
2516}
2517
2518void ASTStmtWriter::VisitOMPParallelMaskedDirective(
2520 VisitStmt(D);
2521 VisitOMPExecutableDirective(D);
2523}
2524
2525void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2527 VisitStmt(D);
2528 VisitOMPExecutableDirective(D);
2529 Record.writeBool(D->hasCancel());
2531}
2532
2533void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2534 VisitStmt(D);
2535 VisitOMPExecutableDirective(D);
2536 Record.writeBool(D->hasCancel());
2538}
2539
2540void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2541 VisitStmt(D);
2542 VisitOMPExecutableDirective(D);
2543 Record.writeBool(D->isXLHSInRHSPart());
2544 Record.writeBool(D->isPostfixUpdate());
2545 Record.writeBool(D->isFailOnly());
2547}
2548
2549void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2550 VisitStmt(D);
2551 VisitOMPExecutableDirective(D);
2553}
2554
2555void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2556 VisitStmt(D);
2557 VisitOMPExecutableDirective(D);
2559}
2560
2561void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2563 VisitStmt(D);
2564 VisitOMPExecutableDirective(D);
2566}
2567
2568void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2570 VisitStmt(D);
2571 VisitOMPExecutableDirective(D);
2573}
2574
2575void ASTStmtWriter::VisitOMPTargetParallelDirective(
2577 VisitStmt(D);
2578 VisitOMPExecutableDirective(D);
2579 Record.writeBool(D->hasCancel());
2581}
2582
2583void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2585 VisitOMPLoopDirective(D);
2586 Record.writeBool(D->hasCancel());
2588}
2589
2590void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2591 VisitStmt(D);
2592 VisitOMPExecutableDirective(D);
2594}
2595
2596void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2597 VisitStmt(D);
2598 VisitOMPExecutableDirective(D);
2600}
2601
2602void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2603 VisitStmt(D);
2604 Record.push_back(D->getNumClauses());
2605 VisitOMPExecutableDirective(D);
2607}
2608
2609void ASTStmtWriter::VisitOMPErrorDirective(OMPErrorDirective *D) {
2610 VisitStmt(D);
2611 Record.push_back(D->getNumClauses());
2612 VisitOMPExecutableDirective(D);
2614}
2615
2616void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2617 VisitStmt(D);
2618 VisitOMPExecutableDirective(D);
2620}
2621
2622void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2623 VisitStmt(D);
2624 VisitOMPExecutableDirective(D);
2626}
2627
2628void ASTStmtWriter::VisitOMPDepobjDirective(OMPDepobjDirective *D) {
2629 VisitStmt(D);
2630 VisitOMPExecutableDirective(D);
2632}
2633
2634void ASTStmtWriter::VisitOMPScanDirective(OMPScanDirective *D) {
2635 VisitStmt(D);
2636 VisitOMPExecutableDirective(D);
2638}
2639
2640void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2641 VisitStmt(D);
2642 VisitOMPExecutableDirective(D);
2644}
2645
2646void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2647 VisitStmt(D);
2648 VisitOMPExecutableDirective(D);
2650}
2651
2652void ASTStmtWriter::VisitOMPCancellationPointDirective(
2654 VisitStmt(D);
2655 VisitOMPExecutableDirective(D);
2656 Record.writeEnum(D->getCancelRegion());
2658}
2659
2660void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2661 VisitStmt(D);
2662 VisitOMPExecutableDirective(D);
2663 Record.writeEnum(D->getCancelRegion());
2665}
2666
2667void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2668 VisitOMPLoopDirective(D);
2669 Record.writeBool(D->hasCancel());
2671}
2672
2673void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2674 VisitOMPLoopDirective(D);
2676}
2677
2678void ASTStmtWriter::VisitOMPMasterTaskLoopDirective(
2680 VisitOMPLoopDirective(D);
2681 Record.writeBool(D->hasCancel());
2683}
2684
2685void ASTStmtWriter::VisitOMPMaskedTaskLoopDirective(
2687 VisitOMPLoopDirective(D);
2688 Record.writeBool(D->hasCancel());
2690}
2691
2692void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective(
2694 VisitOMPLoopDirective(D);
2696}
2697
2698void ASTStmtWriter::VisitOMPMaskedTaskLoopSimdDirective(
2700 VisitOMPLoopDirective(D);
2702}
2703
2704void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective(
2706 VisitOMPLoopDirective(D);
2707 Record.writeBool(D->hasCancel());
2709}
2710
2711void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopDirective(
2713 VisitOMPLoopDirective(D);
2714 Record.writeBool(D->hasCancel());
2716}
2717
2718void ASTStmtWriter::VisitOMPParallelMasterTaskLoopSimdDirective(
2720 VisitOMPLoopDirective(D);
2722}
2723
2724void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopSimdDirective(
2726 VisitOMPLoopDirective(D);
2728}
2729
2730void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2731 VisitOMPLoopDirective(D);
2733}
2734
2735void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2736 VisitStmt(D);
2737 VisitOMPExecutableDirective(D);
2739}
2740
2741void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2743 VisitOMPLoopDirective(D);
2744 Record.writeBool(D->hasCancel());
2746}
2747
2748void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2750 VisitOMPLoopDirective(D);
2752}
2753
2754void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2756 VisitOMPLoopDirective(D);
2758}
2759
2760void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2762 VisitOMPLoopDirective(D);
2764}
2765
2766void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2767 VisitOMPLoopDirective(D);
2769}
2770
2771void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2773 VisitOMPLoopDirective(D);
2775}
2776
2777void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2779 VisitOMPLoopDirective(D);
2781}
2782
2783void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2785 VisitOMPLoopDirective(D);
2787}
2788
2789void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2791 VisitOMPLoopDirective(D);
2792 Record.writeBool(D->hasCancel());
2794}
2795
2796void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2797 VisitStmt(D);
2798 VisitOMPExecutableDirective(D);
2800}
2801
2802void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2804 VisitOMPLoopDirective(D);
2806}
2807
2808void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2810 VisitOMPLoopDirective(D);
2811 Record.writeBool(D->hasCancel());
2813}
2814
2815void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2817 VisitOMPLoopDirective(D);
2818 Code = serialization::
2820}
2821
2822void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2824 VisitOMPLoopDirective(D);
2826}
2827
2828void ASTStmtWriter::VisitOMPInteropDirective(OMPInteropDirective *D) {
2829 VisitStmt(D);
2830 VisitOMPExecutableDirective(D);
2832}
2833
2834void ASTStmtWriter::VisitOMPDispatchDirective(OMPDispatchDirective *D) {
2835 VisitStmt(D);
2836 VisitOMPExecutableDirective(D);
2837 Record.AddSourceLocation(D->getTargetCallLoc());
2839}
2840
2841void ASTStmtWriter::VisitOMPMaskedDirective(OMPMaskedDirective *D) {
2842 VisitStmt(D);
2843 VisitOMPExecutableDirective(D);
2845}
2846
2847void ASTStmtWriter::VisitOMPGenericLoopDirective(OMPGenericLoopDirective *D) {
2848 VisitOMPLoopDirective(D);
2850}
2851
2852void ASTStmtWriter::VisitOMPTeamsGenericLoopDirective(
2854 VisitOMPLoopDirective(D);
2856}
2857
2858void ASTStmtWriter::VisitOMPTargetTeamsGenericLoopDirective(
2860 VisitOMPLoopDirective(D);
2861 Record.writeBool(D->canBeParallelFor());
2863}
2864
2865void ASTStmtWriter::VisitOMPParallelGenericLoopDirective(
2867 VisitOMPLoopDirective(D);
2869}
2870
2871void ASTStmtWriter::VisitOMPTargetParallelGenericLoopDirective(
2873 VisitOMPLoopDirective(D);
2875}
2876
2877//===----------------------------------------------------------------------===//
2878// OpenACC Constructs/Directives.
2879//===----------------------------------------------------------------------===//
2880void ASTStmtWriter::VisitOpenACCConstructStmt(OpenACCConstructStmt *S) {
2881 Record.push_back(S->clauses().size());
2882 Record.writeEnum(S->Kind);
2883 Record.AddSourceRange(S->Range);
2884 Record.AddSourceLocation(S->DirectiveLoc);
2885 Record.writeOpenACCClauseList(S->clauses());
2886}
2887
2888void ASTStmtWriter::VisitOpenACCAssociatedStmtConstruct(
2890 VisitOpenACCConstructStmt(S);
2891 Record.AddStmt(S->getAssociatedStmt());
2892}
2893
2894void ASTStmtWriter::VisitOpenACCComputeConstruct(OpenACCComputeConstruct *S) {
2895 VisitStmt(S);
2896 VisitOpenACCAssociatedStmtConstruct(S);
2898}
2899
2900void ASTStmtWriter::VisitOpenACCLoopConstruct(OpenACCLoopConstruct *S) {
2901 VisitStmt(S);
2902 VisitOpenACCAssociatedStmtConstruct(S);
2904}
2905
2906//===----------------------------------------------------------------------===//
2907// ASTWriter Implementation
2908//===----------------------------------------------------------------------===//
2909
2911 assert(!SwitchCaseIDs.contains(S) && "SwitchCase recorded twice");
2912 unsigned NextID = SwitchCaseIDs.size();
2913 SwitchCaseIDs[S] = NextID;
2914 return NextID;
2915}
2916
2918 assert(SwitchCaseIDs.contains(S) && "SwitchCase hasn't been seen yet");
2919 return SwitchCaseIDs[S];
2920}
2921
2923 SwitchCaseIDs.clear();
2924}
2925
2926/// Write the given substatement or subexpression to the
2927/// bitstream.
2928void ASTWriter::WriteSubStmt(Stmt *S) {
2930 ASTStmtWriter Writer(*this, Record);
2931 ++NumStatements;
2932
2933 if (!S) {
2934 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
2935 return;
2936 }
2937
2938 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2939 if (I != SubStmtEntries.end()) {
2940 Record.push_back(I->second);
2941 Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2942 return;
2943 }
2944
2945#ifndef NDEBUG
2946 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2947
2948 struct ParentStmtInserterRAII {
2949 Stmt *S;
2950 llvm::DenseSet<Stmt *> &ParentStmts;
2951
2952 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2953 : S(S), ParentStmts(ParentStmts) {
2954 ParentStmts.insert(S);
2955 }
2956 ~ParentStmtInserterRAII() {
2957 ParentStmts.erase(S);
2958 }
2959 };
2960
2961 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2962#endif
2963
2964 Writer.Visit(S);
2965
2966 uint64_t Offset = Writer.Emit();
2967 SubStmtEntries[S] = Offset;
2968}
2969
2970/// Flush all of the statements that have been added to the
2971/// queue via AddStmt().
2972void ASTRecordWriter::FlushStmts() {
2973 // We expect to be the only consumer of the two temporary statement maps,
2974 // assert that they are empty.
2975 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2976 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
2977
2978 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2979 Writer->WriteSubStmt(StmtsToEmit[I]);
2980
2981 assert(N == StmtsToEmit.size() && "record modified while being written!");
2982
2983 // Note that we are at the end of a full expression. Any
2984 // expression records that follow this one are part of a different
2985 // expression.
2986 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
2987
2988 Writer->SubStmtEntries.clear();
2989 Writer->ParentStmts.clear();
2990 }
2991
2992 StmtsToEmit.clear();
2993}
2994
2995void ASTRecordWriter::FlushSubStmts() {
2996 // For a nested statement, write out the substatements in reverse order (so
2997 // that a simple stack machine can be used when loading), and don't emit a
2998 // STMT_STOP after each one.
2999 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
3000 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
3001 assert(N == StmtsToEmit.size() && "record modified while being written!");
3002 }
3003
3004 StmtsToEmit.clear();
3005}
This file provides AST data structures related to concepts.
Defines the clang::ASTContext interface.
static void addConstraintSatisfaction(ASTRecordWriter &Record, const ASTConstraintSatisfaction &Satisfaction)
static void addSubstitutionDiagnostic(ASTRecordWriter &Record, const concepts::Requirement::SubstitutionDiagnostic *D)
const Decl * D
Expr * E
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
llvm::MachO::Record Record
Definition: MachO.h:31
SourceRange Range
Definition: SemaObjC.cpp:757
TranslationUnitDecl * getTranslationUnitDecl() const
Definition: ASTContext.h:1100
void ReadKnownNamespaces(SmallVectorImpl< NamespaceDecl * > &Namespaces) override
Load the set of namespaces that are known to the external source, which will be used during typo corr...
Definition: ASTReader.cpp:8661
An object for streaming information to a record.
void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args)
ASTStmtWriter(const ASTStmtWriter &)=delete
ASTStmtWriter & operator=(const ASTStmtWriter &)=delete
ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record)
void VisitStmt(Stmt *S)
Writes an AST file containing the contents of a translation unit.
Definition: ASTWriter.h:89
unsigned getBinaryOperatorAbbrev() const
Definition: ASTWriter.h:833
bool isWritingStdCXXNamedModules() const
Definition: ASTWriter.h:848
unsigned getExprImplicitCastAbbrev() const
Definition: ASTWriter.h:832
unsigned getSwitchCaseID(SwitchCase *S)
Retrieve the ID for the given switch-case statement.
unsigned getDeclRefExprAbbrev() const
Definition: ASTWriter.h:829
unsigned getCXXOperatorCallExprAbbrev()
Definition: ASTWriter.h:838
LocalDeclID GetDeclRef(const Decl *D)
Force a declaration to be emitted and get its local ID to the module file been writing.
Definition: ASTWriter.cpp:6198
ASTContext & getASTContext() const
Definition: ASTWriter.h:645
unsigned getCXXMemberCallExprAbbrev()
Definition: ASTWriter.h:839
ASTReader * getChain() const
Definition: ASTWriter.h:844
unsigned getCompoundAssignOperatorAbbrev() const
Definition: ASTWriter.h:834
unsigned RecordSwitchCaseID(SwitchCase *S)
Record an ID for the given switch-case statement.
unsigned getCharacterLiteralAbbrev() const
Definition: ASTWriter.h:830
unsigned getCompoundStmtAbbrev() const
Definition: ASTWriter.h:841
void AddToken(const Token &Tok, RecordDataImpl &Record)
Emit a token.
Definition: ASTWriter.cpp:4699
SmallVector< uint64_t, 64 > RecordData
Definition: ASTWriter.h:94
unsigned getCallExprAbbrev() const
Definition: ASTWriter.h:837
unsigned getIntegerLiteralAbbrev() const
Definition: ASTWriter.h:831
AddrLabelExpr - The GNU address of label extension, representing &&label.
Definition: Expr.h:4362
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Definition: Expr.h:5746
Represents a loop initializing the elements of an array.
Definition: Expr.h:5693
This class represents BOTH the OpenMP Array Section and OpenACC 'subarray', with a boolean differenti...
Definition: Expr.h:6916
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Definition: Expr.h:2674
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
Definition: ExprCXX.h:2852
AsTypeExpr - Clang builtin function __builtin_astype [OpenCL 6.2.4.2] This AST node provides support ...
Definition: Expr.h:6416
AsmStmt is the base class for GCCAsmStmt and MSAsmStmt.
Definition: Stmt.h:3105
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
Definition: Expr.h:6619
Represents an attribute applied to a statement.
Definition: Stmt.h:2085
BinaryConditionalOperator - The GNU extension to the conditional operator which allows the middle ope...
Definition: Expr.h:4265
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3860
A simple helper class to pack several bits in order into (a) 32 bit integer(s).
Definition: ASTWriter.h:995
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition: Decl.h:4467
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Definition: Expr.h:6355
BreakStmt - This represents a break.
Definition: Stmt.h:2985
Represents a C++2a __builtin_bit_cast(T, v) expression.
Definition: ExprCXX.h:5290
CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style cast in C++ (C++ [expr....
Definition: Expr.h:3791
Represents a call to a CUDA kernel function.
Definition: ExprCXX.h:231
A C++ addrspace_cast expression (currently only enabled for OpenCL).
Definition: ExprCXX.h:601
Represents a base class of a C++ class.
Definition: DeclCXX.h:146
Represents binding an expression to a temporary.
Definition: ExprCXX.h:1491
A boolean literal, per ([C++ lex.bool] Boolean literals).
Definition: ExprCXX.h:720
CXXCatchStmt - This represents a C++ catch block.
Definition: StmtCXX.h:28
A C++ const_cast expression (C++ [expr.const.cast]).
Definition: ExprCXX.h:563
Represents a call to a C++ constructor.
Definition: ExprCXX.h:1546
A default argument (C++ [dcl.fct.default]).
Definition: ExprCXX.h:1268
A use of a default initializer in a constructor or in aggregate initialization.
Definition: ExprCXX.h:1375
Represents a delete expression for memory deallocation and destructor calls, e.g.
Definition: ExprCXX.h:2497
Represents a C++ member access expression where the actual member referenced could not be resolved be...
Definition: ExprCXX.h:3681
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Definition: ExprCXX.h:478
Represents a folding of a pack over an operator.
Definition: ExprCXX.h:4838
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
Definition: StmtCXX.h:135
Represents an explicit C++ type conversion that uses "functional" notation (C++ [expr....
Definition: ExprCXX.h:1817
Represents a call to an inherited base class constructor from an inheriting constructor.
Definition: ExprCXX.h:1737
Represents a call to a member function that may be written either with member call syntax (e....
Definition: ExprCXX.h:176
Abstract class common to all of the C++ "named"/"keyword" casts.
Definition: ExprCXX.h:372
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
Definition: ExprCXX.h:2240
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
Definition: ExprCXX.h:4124
The null pointer literal (C++11 [lex.nullptr])
Definition: ExprCXX.h:765
A call to an overloaded operator written using operator syntax.
Definition: ExprCXX.h:81
Represents a list-initialization with parenthesis.
Definition: ExprCXX.h:4952
Represents a C++ pseudo-destructor (C++ [expr.pseudo]).
Definition: ExprCXX.h:2616
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
Definition: ExprCXX.h:523
A rewritten comparison expression that was originally written using operator syntax.
Definition: ExprCXX.h:283
An expression "T()" which creates a value-initialized rvalue of type T, which is a non-class type.
Definition: ExprCXX.h:2181
A C++ static_cast expression (C++ [expr.static.cast]).
Definition: ExprCXX.h:433
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Definition: ExprCXX.h:797
Represents a C++ functional cast expression that builds a temporary object.
Definition: ExprCXX.h:1885
Represents the this expression in C++.
Definition: ExprCXX.h:1152
A C++ throw-expression (C++ [except.throw]).
Definition: ExprCXX.h:1206
CXXTryStmt - A C++ try block, including all handlers.
Definition: StmtCXX.h:69
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
Definition: ExprCXX.h:845
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
Definition: ExprCXX.h:3555
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
Definition: ExprCXX.h:1066
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2830
This captures a statement into a function.
Definition: Stmt.h:3762
CaseStmt - Represent a case statement.
Definition: Stmt.h:1806
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Definition: Expr.h:3498
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Definition: Expr.h:4582
Represents a 'co_await' expression.
Definition: ExprCXX.h:5183
CompoundAssignOperator - For compound assignments (e.g.
Definition: Expr.h:4112
CompoundLiteralExpr - [C99 6.5.2.5].
Definition: Expr.h:3428
CompoundStmt - This represents a group of statements like { stmt stmt }.
Definition: Stmt.h:1606
A reference to a concept and its template args, as it appears in the code.
Definition: ASTConcept.h:125
Represents the specialization of a concept - evaluates to a prvalue of type bool.
Definition: ExprConcepts.h:42
ConditionalOperator - The ?: ternary operator.
Definition: Expr.h:4203
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
Definition: Expr.h:1077
ContinueStmt - This represents a continue.
Definition: Stmt.h:2955
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Definition: Expr.h:4523
Represents a 'co_return' statement in the C++ Coroutines TS.
Definition: StmtCXX.h:473
Represents the body of a coroutine.
Definition: StmtCXX.h:320
child_range children()
Definition: StmtCXX.h:435
ArrayRef< Stmt const * > getParamMoves() const
Definition: StmtCXX.h:423
Represents an expression that might suspend coroutine execution; either a co_await or co_yield expres...
Definition: ExprCXX.h:5069
Represents a 'co_yield' expression.
Definition: ExprCXX.h:5264
A POD class for pairing a NamedDecl* with an access specifier.
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
Definition: DeclBase.cpp:1828
iterator begin()
Definition: DeclGroup.h:99
iterator end()
Definition: DeclGroup.h:105
A reference to a declared variable, function, enum, etc.
Definition: Expr.h:1265
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Definition: Stmt.h:1497
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
AccessSpecifier getAccess() const
Definition: DeclBase.h:513
The name of a declaration.
NameKind
The kind of the name stored in this DeclarationName.
Represents a 'co_await' expression while the type of the promise is dependent.
Definition: ExprCXX.h:5215
A qualified reference to a name whose declaration cannot yet be resolved.
Definition: ExprCXX.h:3321
Represents a single C99 designator.
Definition: Expr.h:5317
Represents a C99 designated initializer expression.
Definition: Expr.h:5274
DoStmt - This represents a 'do/while' stmt.
Definition: Stmt.h:2730
Represents a reference to #emded data.
Definition: Expr.h:4857
ExplicitCastExpr - An explicit cast written in the source code.
Definition: Expr.h:3750
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
Definition: ExprCXX.h:3472
This represents one expression.
Definition: Expr.h:110
bool isValueDependent() const
Determines whether the value of this expression depends on.
Definition: Expr.h:175
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
Definition: Expr.h:437
ExprObjectKind getObjectKind() const
getObjectKind - The object kind that this expression produces.
Definition: Expr.h:444
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Definition: Expr.cpp:277
QualType getType() const
Definition: Expr.h:142
ExprDependence getDependence() const
Definition: Expr.h:162
An expression trait intrinsic.
Definition: ExprCXX.h:2923
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
Definition: Expr.h:6295
Represents a member of a struct/union/class.
Definition: Decl.h:3030
ForStmt - This represents a 'for (init;cond;inc)' stmt.
Definition: Stmt.h:2786
Represents a reference to a function parameter pack or init-capture pack that has been substituted bu...
Definition: ExprCXX.h:4646
VarDecl *const * iterator
Iterators over the parameters which the parameter pack expanded into.
Definition: ExprCXX.h:4680
This represents a GCC inline-assembly statement extension.
Definition: Stmt.h:3264
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Definition: Expr.h:4657
Represents a C11 generic selection.
Definition: Expr.h:5907
GotoStmt - This represents a direct goto.
Definition: Stmt.h:2867
IfStmt - This represents an if/then/else.
Definition: Stmt.h:2143
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
Definition: Expr.h:1717
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Definition: Expr.h:3675
Represents an implicitly-generated value initialization of an object of a given type.
Definition: Expr.h:5782
IndirectGotoStmt - This represents an indirect goto.
Definition: Stmt.h:2906
Describes an C or C++ initializer list.
Definition: Expr.h:5029
LabelStmt - Represents a label, which has a substatement.
Definition: Stmt.h:2036
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
Definition: ExprCXX.h:1954
This represents a Microsoft inline-assembly statement extension.
Definition: Stmt.h:3487
Representation of a Microsoft __if_exists or __if_not_exists statement with a dependent name.
Definition: StmtCXX.h:253
A member reference to an MSPropertyDecl.
Definition: ExprCXX.h:933
MS property subscript expression.
Definition: ExprCXX.h:1004
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
Definition: ExprCXX.h:4726
MatrixSubscriptExpr - Matrix subscript expression for the MatrixType extension.
Definition: Expr.h:2752
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition: Expr.h:3187
Represents a place-holder for an object not to be initialized by anything.
Definition: Expr.h:5602
NullStmt - This is the null statement ";": C99 6.8.3p3.
Definition: Stmt.h:1569
An explicit cast in C or a C-style cast in C++, which uses the syntax ([s1][s2]......
Definition: ExprOpenMP.h:24
This represents '#pragma omp atomic' directive.
Definition: StmtOpenMP.h:2947
This represents '#pragma omp barrier' directive.
Definition: StmtOpenMP.h:2625
This represents '#pragma omp cancel' directive.
Definition: StmtOpenMP.h:3655
This represents '#pragma omp cancellation point' directive.
Definition: StmtOpenMP.h:3597
Representation of an OpenMP canonical loop.
Definition: StmtOpenMP.h:142
This represents '#pragma omp critical' directive.
Definition: StmtOpenMP.h:2076
This represents '#pragma omp depobj' directive.
Definition: StmtOpenMP.h:2841
This represents '#pragma omp dispatch' directive.
Definition: StmtOpenMP.h:5948
This represents '#pragma omp distribute' directive.
Definition: StmtOpenMP.h:4425
This represents '#pragma omp distribute parallel for' composite directive.
Definition: StmtOpenMP.h:4547
This represents '#pragma omp distribute parallel for simd' composite directive.
Definition: StmtOpenMP.h:4643
This represents '#pragma omp distribute simd' composite directive.
Definition: StmtOpenMP.h:4708
This represents '#pragma omp error' directive.
Definition: StmtOpenMP.h:6432
This is a basic class for representing single OpenMP executable directive.
Definition: StmtOpenMP.h:266
This represents '#pragma omp flush' directive.
Definition: StmtOpenMP.h:2789
This represents '#pragma omp for' directive.
Definition: StmtOpenMP.h:1634
This represents '#pragma omp for simd' directive.
Definition: StmtOpenMP.h:1724
This represents '#pragma omp loop' directive.
Definition: StmtOpenMP.h:6103
Represents the '#pragma omp interchange' loop transformation directive.
Definition: StmtOpenMP.h:5769
This represents '#pragma omp interop' directive.
Definition: StmtOpenMP.h:5895
OpenMP 5.0 [2.1.6 Iterators] Iterators are identifiers that expand to multiple values in the clause o...
Definition: ExprOpenMP.h:151
The base class for all loop-based directives, including loop transformation directives.
Definition: StmtOpenMP.h:683
This is a common base class for loop directives ('omp simd', 'omp for', 'omp for simd' etc....
Definition: StmtOpenMP.h:1004
The base class for all loop transformation directives.
Definition: StmtOpenMP.h:960
This represents '#pragma omp masked' directive.
Definition: StmtOpenMP.h:6013
This represents '#pragma omp masked taskloop' directive.
Definition: StmtOpenMP.h:3930
This represents '#pragma omp masked taskloop simd' directive.
Definition: StmtOpenMP.h:4071
This represents '#pragma omp master' directive.
Definition: StmtOpenMP.h:2028
This represents '#pragma omp master taskloop' directive.
Definition: StmtOpenMP.h:3854
This represents '#pragma omp master taskloop simd' directive.
Definition: StmtOpenMP.h:4006
This represents '#pragma omp metadirective' directive.
Definition: StmtOpenMP.h:6064
This represents '#pragma omp ordered' directive.
Definition: StmtOpenMP.h:2893
This represents '#pragma omp parallel' directive.
Definition: StmtOpenMP.h:612
This represents '#pragma omp parallel for' directive.
Definition: StmtOpenMP.h:2147
This represents '#pragma omp parallel for simd' directive.
Definition: StmtOpenMP.h:2244
This represents '#pragma omp parallel loop' directive.
Definition: StmtOpenMP.h:6305
This represents '#pragma omp parallel masked' directive.
Definition: StmtOpenMP.h:2372
This represents '#pragma omp parallel masked taskloop' directive.
Definition: StmtOpenMP.h:4215
This represents '#pragma omp parallel masked taskloop simd' directive.
Definition: StmtOpenMP.h:4360
This represents '#pragma omp parallel master' directive.
Definition: StmtOpenMP.h:2309
This represents '#pragma omp parallel master taskloop' directive.
Definition: StmtOpenMP.h:4137
This represents '#pragma omp parallel master taskloop simd' directive.
Definition: StmtOpenMP.h:4293
This represents '#pragma omp parallel sections' directive.
Definition: StmtOpenMP.h:2436
Represents the '#pragma omp reverse' loop transformation directive.
Definition: StmtOpenMP.h:5704
This represents '#pragma omp scan' directive.
Definition: StmtOpenMP.h:5842
This represents '#pragma omp scope' directive.
Definition: StmtOpenMP.h:1925
This represents '#pragma omp section' directive.
Definition: StmtOpenMP.h:1864
This represents '#pragma omp sections' directive.
Definition: StmtOpenMP.h:1787
This represents '#pragma omp simd' directive.
Definition: StmtOpenMP.h:1571
This represents '#pragma omp single' directive.
Definition: StmtOpenMP.h:1977
This represents '#pragma omp target data' directive.
Definition: StmtOpenMP.h:3206
This represents '#pragma omp target' directive.
Definition: StmtOpenMP.h:3152
This represents '#pragma omp target enter data' directive.
Definition: StmtOpenMP.h:3260
This represents '#pragma omp target exit data' directive.
Definition: StmtOpenMP.h:3315
This represents '#pragma omp target parallel' directive.
Definition: StmtOpenMP.h:3369
This represents '#pragma omp target parallel for' directive.
Definition: StmtOpenMP.h:3449
This represents '#pragma omp target parallel for simd' directive.
Definition: StmtOpenMP.h:4774
This represents '#pragma omp target parallel loop' directive.
Definition: StmtOpenMP.h:6370
This represents '#pragma omp target simd' directive.
Definition: StmtOpenMP.h:4841
This represents '#pragma omp target teams' directive.
Definition: StmtOpenMP.h:5199
This represents '#pragma omp target teams distribute' combined directive.
Definition: StmtOpenMP.h:5255
This represents '#pragma omp target teams distribute parallel for' combined directive.
Definition: StmtOpenMP.h:5322
This represents '#pragma omp target teams distribute parallel for simd' combined directive.
Definition: StmtOpenMP.h:5420
This represents '#pragma omp target teams distribute simd' combined directive.
Definition: StmtOpenMP.h:5490
This represents '#pragma omp target teams loop' directive.
Definition: StmtOpenMP.h:6230
This represents '#pragma omp target update' directive.
Definition: StmtOpenMP.h:4491
This represents '#pragma omp task' directive.
Definition: StmtOpenMP.h:2517
This represents '#pragma omp taskloop' directive.
Definition: StmtOpenMP.h:3715
This represents '#pragma omp taskloop simd' directive.
Definition: StmtOpenMP.h:3788
This represents '#pragma omp taskgroup' directive.
Definition: StmtOpenMP.h:2722
This represents '#pragma omp taskwait' directive.
Definition: StmtOpenMP.h:2671
This represents '#pragma omp taskyield' directive.
Definition: StmtOpenMP.h:2579
This represents '#pragma omp teams' directive.
Definition: StmtOpenMP.h:3544
This represents '#pragma omp teams distribute' directive.
Definition: StmtOpenMP.h:4906
This represents '#pragma omp teams distribute parallel for' composite directive.
Definition: StmtOpenMP.h:5106
This represents '#pragma omp teams distribute parallel for simd' composite directive.
Definition: StmtOpenMP.h:5040
This represents '#pragma omp teams distribute simd' combined directive.
Definition: StmtOpenMP.h:4972
This represents '#pragma omp teams loop' directive.
Definition: StmtOpenMP.h:6165
This represents the '#pragma omp tile' loop transformation directive.
Definition: StmtOpenMP.h:5548
This represents the '#pragma omp unroll' loop transformation directive.
Definition: StmtOpenMP.h:5630
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
Definition: ExprObjC.h:191
Represents Objective-C's @catch statement.
Definition: StmtObjC.h:77
Represents Objective-C's @finally statement.
Definition: StmtObjC.h:127
Represents Objective-C's @synchronized statement.
Definition: StmtObjC.h:303
Represents Objective-C's @throw statement.
Definition: StmtObjC.h:358
Represents Objective-C's @try ... @catch ... @finally statement.
Definition: StmtObjC.h:167
Represents Objective-C's @autoreleasepool Statement.
Definition: StmtObjC.h:394
A runtime availability query.
Definition: ExprObjC.h:1696
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
Definition: ExprObjC.h:87
ObjCBoxedExpr - used for generalized expression boxing.
Definition: ExprObjC.h:127
An Objective-C "bridged" cast expression, which casts between Objective-C pointers and C pointers,...
Definition: ExprObjC.h:1636
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
Definition: ExprObjC.h:309
ObjCEncodeExpr, used for @encode in Objective-C.
Definition: ExprObjC.h:410
Represents Objective-C's collection statement.
Definition: StmtObjC.h:23
ObjCIndirectCopyRestoreExpr - Represents the passing of a function argument by indirect copy-restore ...
Definition: ExprObjC.h:1575
ObjCIsaExpr - Represent X->isa and X.isa when X is an ObjC 'id' type.
Definition: ExprObjC.h:1491
ObjCIvarRefExpr - A reference to an ObjC instance variable.
Definition: ExprObjC.h:549
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:945
@ SuperInstance
The receiver is the instance of the superclass object.
Definition: ExprObjC.h:959
@ Instance
The receiver is an object instance.
Definition: ExprObjC.h:953
@ SuperClass
The receiver is a superclass.
Definition: ExprObjC.h:956
@ Class
The receiver is a class.
Definition: ExprObjC.h:950
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
Definition: ExprObjC.h:617
ObjCProtocolExpr used for protocol expression in Objective-C.
Definition: ExprObjC.h:505
ObjCSelectorExpr used for @selector in Objective-C.
Definition: ExprObjC.h:455
ObjCStringLiteral, used for Objective-C string literals i.e.
Definition: ExprObjC.h:51
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
Definition: ExprObjC.h:844
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Definition: Expr.h:2475
Helper class for OffsetOfExpr.
Definition: Expr.h:2369
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
Definition: Expr.h:2427
FieldDecl * getField() const
For a field offsetof node, returns the field.
Definition: Expr.h:2433
IdentifierInfo * getFieldName() const
For a field or identifier offsetof node, returns the name of the field.
Definition: Expr.cpp:1692
SourceRange getSourceRange() const LLVM_READONLY
Retrieve the source range that covers this offsetof node.
Definition: Expr.h:2454
@ Array
An index into an array.
Definition: Expr.h:2374
@ Identifier
A field in a dependent type, known only by its name.
Definition: Expr.h:2378
@ Field
A field.
Definition: Expr.h:2376
@ Base
An implicit indirection through a C++ base class, when the field found is in a base class.
Definition: Expr.h:2381
Kind getKind() const
Determine what kind of offsetof node this is.
Definition: Expr.h:2423
CXXBaseSpecifier * getBase() const
For a base class node, returns the base specifier.
Definition: Expr.h:2443
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Definition: Expr.h:1173
This is a base class for any OpenACC statement-level constructs that have an associated statement.
Definition: StmtOpenACC.h:80
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
Definition: StmtOpenACC.h:132
This is the base class for an OpenACC statement-level construct, other construct types are expected t...
Definition: StmtOpenACC.h:25
This class represents a 'loop' construct.
Definition: StmtOpenACC.h:200
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr.
Definition: ExprCXX.h:2982
Represents a C++11 pack expansion that produces a sequence of expressions.
Definition: ExprCXX.h:4178
ParenExpr - This represents a parenthesized expression, e.g.
Definition: Expr.h:2135
Represents a parameter to a function.
Definition: Decl.h:1722
[C99 6.4.2.2] - A predefined identifier such as func.
Definition: Expr.h:1991
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Definition: Expr.h:6487
Expr *const * semantics_iterator
Definition: Expr.h:6551
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Definition: Expr.h:7091
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
Definition: ExprConcepts.h:510
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
Definition: Stmt.h:3024
Represents a __leave statement.
Definition: Stmt.h:3723
static std::enable_if_t< std::is_base_of_v< Attr, AttrInfo >, SourceLocation > getAttrLoc(const AttrInfo &AL)
A helper function to provide Attribute Location for the Attr types AND the ParsedAttr.
Definition: Sema.h:4409
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
Definition: Expr.h:4455
Represents an expression that computes the length of a parameter pack.
Definition: ExprCXX.h:4256
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
Definition: Expr.h:4751
Encodes a location in the source.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
SourceLocation getBegin() const
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
Definition: Expr.h:4407
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Definition: StmtVisitor.h:185
Stmt - This represents one statement.
Definition: Stmt.h:84
SourceLocation getEndLoc() const LLVM_READONLY
Definition: Stmt.cpp:350
LambdaExprBitfields LambdaExprBits
Definition: Stmt.h:1263
child_range children()
Definition: Stmt.cpp:287
StmtClass getStmtClass() const
Definition: Stmt.h:1358
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Definition: Stmt.cpp:326
TypeTraitExprBitfields TypeTraitExprBits
Definition: Stmt.h:1252
CXXNewExprBitfields CXXNewExprBits
Definition: Stmt.h:1250
ConstantExprBitfields ConstantExprBits
Definition: Stmt.h:1218
RequiresExprBitfields RequiresExprBits
Definition: Stmt.h:1264
DependentScopeDeclRefExprBitfields DependentScopeDeclRefExprBits
Definition: Stmt.h:1253
SourceLocation getBeginLoc() const LLVM_READONLY
Definition: Stmt.cpp:338
void AddString(StringRef V) const
Definition: Diagnostic.h:1199
StringLiteral - This represents a string literal expression, e.g.
Definition: Expr.h:1778
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Definition: ExprCXX.h:4482
Represents a reference to a non-type template parameter pack that has been substituted with a non-tem...
Definition: ExprCXX.h:4567
SwitchStmt - This represents a 'switch' stmt.
Definition: Stmt.h:2393
Location wrapper for a TemplateArgument.
Definition: TemplateBase.h:524
A container of type source information.
Definition: Type.h:7714
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
Definition: ExprCXX.h:2767
TypoExpr - Internal placeholder for expressions where typo correction still needs to be performed and...
Definition: Expr.h:6767
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
Definition: Expr.h:2578
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Definition: Expr.h:2188
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Definition: ExprCXX.h:3202
Represents a C++ member access expression for which lookup produced a set of overloaded functions.
Definition: ExprCXX.h:3941
The iterator over UnresolvedSets.
Definition: UnresolvedSet.h:35
A call to a literal operator (C++11 [over.literal]) written as a user-defined literal (C++11 [lit....
Definition: ExprCXX.h:637
Represents a call to the builtin function __builtin_va_arg.
Definition: Expr.h:4691
WhileStmt - This represents a 'while' stmt.
Definition: Stmt.h:2589
A static requirement that can be used in a requires-expression to check properties of types and expre...
Definition: ExprConcepts.h:168
StmtCode
Record codes for each kind of statement or expression.
Definition: ASTBitCodes.h:1500
@ EXPR_DESIGNATED_INIT
A DesignatedInitExpr record.
Definition: ASTBitCodes.h:1647
@ EXPR_COMPOUND_LITERAL
A CompoundLiteralExpr record.
Definition: ASTBitCodes.h:1638
@ STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1945
@ EXPR_OBJC_IVAR_REF_EXPR
An ObjCIvarRefExpr record.
Definition: ASTBitCodes.h:1725
@ EXPR_MEMBER
A MemberExpr record.
Definition: ASTBitCodes.h:1620
@ EXPR_CXX_TEMPORARY_OBJECT
A CXXTemporaryObjectExpr record.
Definition: ASTBitCodes.h:1799
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1956
@ EXPR_COMPOUND_ASSIGN_OPERATOR
A CompoundAssignOperator record.
Definition: ASTBitCodes.h:1626
@ EXPR_CXX_STATIC_CAST
A CXXStaticCastExpr record.
Definition: ASTBitCodes.h:1802
@ EXPR_OBJC_STRING_LITERAL
An ObjCStringLiteral record.
Definition: ASTBitCodes.h:1709
@ EXPR_VA_ARG
A VAArgExpr record.
Definition: ASTBitCodes.h:1665
@ STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1950
@ EXPR_OBJC_ISA
An ObjCIsa Expr record.
Definition: ASTBitCodes.h:1740
@ EXPR_CXX_OPERATOR_CALL
A CXXOperatorCallExpr record.
Definition: ASTBitCodes.h:1784
@ STMT_OBJC_AT_TRY
An ObjCAtTryStmt record.
Definition: ASTBitCodes.h:1755
@ STMT_DO
A DoStmt record.
Definition: ASTBitCodes.h:1539
@ STMT_OBJC_CATCH
An ObjCAtCatchStmt record.
Definition: ASTBitCodes.h:1749
@ STMT_IF
An IfStmt record.
Definition: ASTBitCodes.h:1530
@ EXPR_STRING_LITERAL
A StringLiteral record.
Definition: ASTBitCodes.h:1590
@ EXPR_OBJC_AVAILABILITY_CHECK
An ObjCAvailabilityCheckExpr record.
Definition: ASTBitCodes.h:1770
@ STMT_OMP_PARALLEL_MASKED_TASKLOOP_DIRECTIVE
Definition: ASTBitCodes.h:1940
@ EXPR_PSEUDO_OBJECT
A PseudoObjectExpr record.
Definition: ASTBitCodes.h:1698
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE
Definition: ASTBitCodes.h:1955
@ EXPR_IMPLICIT_CAST
An ImplicitCastExpr record.
Definition: ASTBitCodes.h:1632
@ STMT_CAPTURED
A CapturedStmt record.
Definition: ASTBitCodes.h:1563
@ STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1947
@ STMT_GCCASM
A GCC-style AsmStmt record.
Definition: ASTBitCodes.h:1566
@ EXPR_IMAGINARY_LITERAL
An ImaginaryLiteral record.
Definition: ASTBitCodes.h:1587
@ STMT_WHILE
A WhileStmt record.
Definition: ASTBitCodes.h:1536
@ EXPR_CONVERT_VECTOR
A ConvertVectorExpr record.
Definition: ASTBitCodes.h:1689
@ EXPR_OBJC_SUBSCRIPT_REF_EXPR
An ObjCSubscriptRefExpr record.
Definition: ASTBitCodes.h:1731
@ EXPR_STMT
A StmtExpr record.
Definition: ASTBitCodes.h:1671
@ STMT_OMP_PARALLEL_GENERIC_LOOP_DIRECTIVE
Definition: ASTBitCodes.h:1965
@ EXPR_CXX_REINTERPRET_CAST
A CXXReinterpretCastExpr record.
Definition: ASTBitCodes.h:1808
@ EXPR_DESIGNATED_INIT_UPDATE
A DesignatedInitUpdateExpr record.
Definition: ASTBitCodes.h:1650
@ STMT_OBJC_AT_SYNCHRONIZED
An ObjCAtSynchronizedStmt record.
Definition: ASTBitCodes.h:1758
@ STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE
Definition: ASTBitCodes.h:1944
@ EXPR_BUILTIN_BIT_CAST
A BuiltinBitCastExpr record.
Definition: ASTBitCodes.h:1820
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1957
@ EXPR_CHARACTER_LITERAL
A CharacterLiteral record.
Definition: ASTBitCodes.h:1593
@ EXPR_OBJC_ENCODE
An ObjCEncodeExpr record.
Definition: ASTBitCodes.h:1716
@ EXPR_CSTYLE_CAST
A CStyleCastExpr record.
Definition: ASTBitCodes.h:1635
@ EXPR_OBJC_BOOL_LITERAL
An ObjCBoolLiteralExpr record.
Definition: ASTBitCodes.h:1767
@ EXPR_EXT_VECTOR_ELEMENT
An ExtVectorElementExpr record.
Definition: ASTBitCodes.h:1641
@ EXPR_ATOMIC
An AtomicExpr record.
Definition: ASTBitCodes.h:1701
@ EXPR_OFFSETOF
An OffsetOfExpr record.
Definition: ASTBitCodes.h:1605
@ STMT_RETURN
A ReturnStmt record.
Definition: ASTBitCodes.h:1557
@ STMT_OBJC_FOR_COLLECTION
An ObjCForCollectionStmt record.
Definition: ASTBitCodes.h:1746
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE
Definition: ASTBitCodes.h:1954
@ EXPR_ARRAY_INIT_LOOP
An ArrayInitLoopExpr record.
Definition: ASTBitCodes.h:1656
@ STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE
Definition: ASTBitCodes.h:1936
@ STMT_OMP_PARALLEL_MASKED_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1941
@ STMT_CONTINUE
A ContinueStmt record.
Definition: ASTBitCodes.h:1551
@ EXPR_PREDEFINED
A PredefinedExpr record.
Definition: ASTBitCodes.h:1575
@ EXPR_CXX_BOOL_LITERAL
A CXXBoolLiteralExpr record.
Definition: ASTBitCodes.h:1829
@ EXPR_PAREN_LIST
A ParenListExpr record.
Definition: ASTBitCodes.h:1599
@ EXPR_CXX_PAREN_LIST_INIT
A CXXParenListInitExpr record.
Definition: ASTBitCodes.h:1832
@ STMT_OMP_MASTER_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1935
@ STMT_COMPOUND
A CompoundStmt record.
Definition: ASTBitCodes.h:1515
@ STMT_FOR
A ForStmt record.
Definition: ASTBitCodes.h:1542
@ STMT_ATTRIBUTED
An AttributedStmt record.
Definition: ASTBitCodes.h:1527
@ STMT_OMP_TARGET_TEAMS_GENERIC_LOOP_DIRECTIVE
Definition: ASTBitCodes.h:1964
@ EXPR_CXX_REWRITTEN_BINARY_OPERATOR
A CXXRewrittenBinaryOperator record.
Definition: ASTBitCodes.h:1790
@ STMT_GOTO
A GotoStmt record.
Definition: ASTBitCodes.h:1545
@ EXPR_NO_INIT
An NoInitExpr record.
Definition: ASTBitCodes.h:1653
@ EXPR_OBJC_PROTOCOL_EXPR
An ObjCProtocolExpr record.
Definition: ASTBitCodes.h:1722
@ EXPR_ARRAY_INIT_INDEX
An ArrayInitIndexExpr record.
Definition: ASTBitCodes.h:1659
@ EXPR_CXX_CONSTRUCT
A CXXConstructExpr record.
Definition: ASTBitCodes.h:1793
@ STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE
Definition: ASTBitCodes.h:1952
@ STMT_OMP_PARALLEL_MASTER_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1937
@ STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1951
@ EXPR_CXX_DYNAMIC_CAST
A CXXDynamicCastExpr record.
Definition: ASTBitCodes.h:1805
@ STMT_CXX_TRY
A CXXTryStmt record.
Definition: ASTBitCodes.h:1778
@ EXPR_GENERIC_SELECTION
A GenericSelectionExpr record.
Definition: ASTBitCodes.h:1695
@ EXPR_OBJC_INDIRECT_COPY_RESTORE
An ObjCIndirectCopyRestoreExpr record.
Definition: ASTBitCodes.h:1743
@ EXPR_CXX_INHERITED_CTOR_INIT
A CXXInheritedCtorInitExpr record.
Definition: ASTBitCodes.h:1796
@ EXPR_CALL
A CallExpr record.
Definition: ASTBitCodes.h:1617
@ EXPR_GNU_NULL
A GNUNullExpr record.
Definition: ASTBitCodes.h:1677
@ EXPR_OBJC_PROPERTY_REF_EXPR
An ObjCPropertyRefExpr record.
Definition: ASTBitCodes.h:1728
@ STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE
Definition: ASTBitCodes.h:1927
@ EXPR_CXX_CONST_CAST
A CXXConstCastExpr record.
Definition: ASTBitCodes.h:1811
@ STMT_REF_PTR
A reference to a previously [de]serialized Stmt record.
Definition: ASTBitCodes.h:1509
@ EXPR_OBJC_MESSAGE_EXPR
An ObjCMessageExpr record.
Definition: ASTBitCodes.h:1737
@ STMT_CASE
A CaseStmt record.
Definition: ASTBitCodes.h:1518
@ EXPR_CONSTANT
A constant expression context.
Definition: ASTBitCodes.h:1572
@ STMT_STOP
A marker record that indicates that we are at the end of an expression.
Definition: ASTBitCodes.h:1503
@ STMT_MSASM
A MS-style AsmStmt record.
Definition: ASTBitCodes.h:1569
@ EXPR_CONDITIONAL_OPERATOR
A ConditionOperator record.
Definition: ASTBitCodes.h:1629
@ EXPR_BINARY_OPERATOR
A BinaryOperator record.
Definition: ASTBitCodes.h:1623
@ EXPR_CXX_STD_INITIALIZER_LIST
A CXXStdInitializerListExpr record.
Definition: ASTBitCodes.h:1826
@ EXPR_SHUFFLE_VECTOR
A ShuffleVectorExpr record.
Definition: ASTBitCodes.h:1686
@ STMT_OBJC_FINALLY
An ObjCAtFinallyStmt record.
Definition: ASTBitCodes.h:1752
@ EXPR_OBJC_SELECTOR_EXPR
An ObjCSelectorExpr record.
Definition: ASTBitCodes.h:1719
@ EXPR_FLOATING_LITERAL
A FloatingLiteral record.
Definition: ASTBitCodes.h:1584
@ STMT_NULL_PTR
A NULL expression.
Definition: ASTBitCodes.h:1506
@ STMT_DEFAULT
A DefaultStmt record.
Definition: ASTBitCodes.h:1521
@ EXPR_CHOOSE
A ChooseExpr record.
Definition: ASTBitCodes.h:1674
@ STMT_NULL
A NullStmt record.
Definition: ASTBitCodes.h:1512
@ EXPR_BLOCK
BlockExpr.
Definition: ASTBitCodes.h:1692
@ EXPR_DECL_REF
A DeclRefExpr record.
Definition: ASTBitCodes.h:1578
@ EXPR_INIT_LIST
An InitListExpr record.
Definition: ASTBitCodes.h:1644
@ EXPR_IMPLICIT_VALUE_INIT
An ImplicitValueInitExpr record.
Definition: ASTBitCodes.h:1662
@ STMT_OBJC_AUTORELEASE_POOL
An ObjCAutoreleasePoolStmt record.
Definition: ASTBitCodes.h:1764
@ EXPR_RECOVERY
A RecoveryExpr record.
Definition: ASTBitCodes.h:1704
@ EXPR_PAREN
A ParenExpr record.
Definition: ASTBitCodes.h:1596
@ STMT_OMP_TARGET_PARALLEL_GENERIC_LOOP_DIRECTIVE
Definition: ASTBitCodes.h:1966
@ STMT_LABEL
A LabelStmt record.
Definition: ASTBitCodes.h:1524
@ EXPR_CXX_FUNCTIONAL_CAST
A CXXFunctionalCastExpr record.
Definition: ASTBitCodes.h:1817
@ EXPR_USER_DEFINED_LITERAL
A UserDefinedLiteral record.
Definition: ASTBitCodes.h:1823
@ EXPR_INTEGER_LITERAL
An IntegerLiteral record.
Definition: ASTBitCodes.h:1581
@ EXPR_SOURCE_LOC
A SourceLocExpr record.
Definition: ASTBitCodes.h:1680
@ EXPR_CXX_MEMBER_CALL
A CXXMemberCallExpr record.
Definition: ASTBitCodes.h:1787
@ STMT_SWITCH
A SwitchStmt record.
Definition: ASTBitCodes.h:1533
@ STMT_DECL
A DeclStmt record.
Definition: ASTBitCodes.h:1560
@ EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK
Definition: ASTBitCodes.h:1868
@ STMT_OMP_MASKED_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1939
@ EXPR_SIZEOF_ALIGN_OF
A SizefAlignOfExpr record.
Definition: ASTBitCodes.h:1608
@ STMT_BREAK
A BreakStmt record.
Definition: ASTBitCodes.h:1554
@ STMT_OBJC_AT_THROW
An ObjCAtThrowStmt record.
Definition: ASTBitCodes.h:1761
@ EXPR_ADDR_LABEL
An AddrLabelExpr record.
Definition: ASTBitCodes.h:1668
@ STMT_CXX_FOR_RANGE
A CXXForRangeStmt record.
Definition: ASTBitCodes.h:1781
@ EXPR_CXX_ADDRSPACE_CAST
A CXXAddrspaceCastExpr record.
Definition: ASTBitCodes.h:1814
@ EXPR_ARRAY_SUBSCRIPT
An ArraySubscriptExpr record.
Definition: ASTBitCodes.h:1611
@ EXPR_UNARY_OPERATOR
A UnaryOperator record.
Definition: ASTBitCodes.h:1602
@ STMT_CXX_CATCH
A CXXCatchStmt record.
Definition: ASTBitCodes.h:1775
@ EXPR_BUILTIN_PP_EMBED
A EmbedExpr record.
Definition: ASTBitCodes.h:1683
@ STMT_INDIRECT_GOTO
An IndirectGotoStmt record.
Definition: ASTBitCodes.h:1548
@ DESIG_ARRAY_RANGE
GNU array range designator.
Definition: ASTBitCodes.h:2007
@ DESIG_FIELD_NAME
Field designator where only the field name is known.
Definition: ASTBitCodes.h:1997
@ DESIG_FIELD_DECL
Field designator where the field has been resolved to a declaration.
Definition: ASTBitCodes.h:2001
@ DESIG_ARRAY
Array designator.
Definition: ASTBitCodes.h:2004
The JSON file list parser is used to communicate input to InstallAPI.
@ OK_Ordinary
An ordinary object is located at an address in memory.
Definition: Specifiers.h:148
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
Definition: Specifiers.h:132
unsigned long uint64_t
The result of a constraint satisfaction check, containing the necessary information to diagnose an un...
Definition: ASTConcept.h:90
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
Definition: TemplateBase.h:728
SourceLocation LAngleLoc
The source location of the left angle bracket ('<').
Definition: TemplateBase.h:730
unsigned NumTemplateArgs
The number of template arguments in TemplateArgs.
Definition: TemplateBase.h:742
SourceLocation RAngleLoc
The source location of the right angle bracket ('>').
Definition: TemplateBase.h:733
SourceLocation TemplateKWLoc
The source location of the template keyword; this is used as part of the representation of qualified ...
Definition: TemplateBase.h:739
Iterator range representation begin:end[:step].
Definition: ExprOpenMP.h:154
Helper expressions and declaration for OMPIteratorExpr class for each iteration space.
Definition: ExprOpenMP.h:111
Expr * CounterUpdate
Updater for the internal counter: ++CounterVD;.
Definition: ExprOpenMP.h:121
Expr * Upper
Normalized upper bound.
Definition: ExprOpenMP.h:116
Expr * Update
Update expression for the originally specified iteration variable, calculated as VD = Begin + Counter...
Definition: ExprOpenMP.h:119
VarDecl * CounterVD
Internal normalized counter.
Definition: ExprOpenMP.h:113
An element in an Objective-C dictionary literal.
Definition: ExprObjC.h:262
Iterator for iterating over Stmt * arrays that contain only T *.
Definition: Stmt.h:1316