clang 19.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 bool HasQualifier = E->hasQualifier();
1990 unsigned NumUnqualifiedLookups = E->getNumUnqualifiedLookups();
1991 bool HasTemplateInfo = E->hasTemplateKWAndArgsInfo();
1992 unsigned NumTemplateArgs = E->getNumTemplateArgs();
1993
1994 // Write these first for easy access when deserializing, as they affect the
1995 // size of the CXXDependentScopeMemberExpr.
1996 CurrentPackingBits.updateBits();
1997 CurrentPackingBits.addBit(HasQualifier);
1998 CurrentPackingBits.addBit(HasTemplateInfo);
1999 Record.push_back(NumUnqualifiedLookups);
2000 Record.push_back(NumTemplateArgs);
2001
2002 Record.AddTypeRef(E->getBaseType());
2003 CurrentPackingBits.addBit(E->isArrow());
2004 CurrentPackingBits.addBit(!E->isImplicitAccess());
2005 if (!E->isImplicitAccess())
2006 Record.AddStmt(E->getBase());
2007
2008 Record.AddSourceLocation(E->getOperatorLoc());
2009
2010 Record.AddDeclarationNameInfo(E->MemberNameInfo);
2011
2012 if (HasQualifier)
2013 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2014
2015 for (DeclAccessPair D : E->unqualified_lookups()) {
2016 Record.AddDeclRef(D.getDecl());
2017 Record.push_back(D.getAccess());
2018 }
2019
2020 if (HasTemplateInfo)
2021 AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
2022 E->getTrailingObjects<TemplateArgumentLoc>());
2023
2025}
2026
2027void
2028ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
2029 VisitExpr(E);
2030
2031 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
2032 // emitted first.
2033 CurrentPackingBits.addBit(
2034 E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo);
2035
2036 if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) {
2037 const ASTTemplateKWAndArgsInfo &ArgInfo =
2038 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2039 // 16 bits should be enought to store the number of args
2040 CurrentPackingBits.addBits(ArgInfo.NumTemplateArgs, /*Width=*/16);
2042 E->getTrailingObjects<TemplateArgumentLoc>());
2043 }
2044
2045 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2046 Record.AddDeclarationNameInfo(E->NameInfo);
2048}
2049
2050void
2051ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
2052 VisitExpr(E);
2053 Record.push_back(E->getNumArgs());
2055 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
2056 Record.AddStmt(*ArgI);
2057 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
2058 Record.AddSourceLocation(E->getLParenLoc());
2059 Record.AddSourceLocation(E->getRParenLoc());
2060 Record.push_back(E->isListInitialization());
2062}
2063
2064void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
2065 VisitExpr(E);
2066
2067 Record.push_back(E->getNumDecls());
2068
2069 CurrentPackingBits.updateBits();
2070 CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
2071 if (E->hasTemplateKWAndArgsInfo()) {
2072 const ASTTemplateKWAndArgsInfo &ArgInfo =
2073 *E->getTrailingASTTemplateKWAndArgsInfo();
2074 Record.push_back(ArgInfo.NumTemplateArgs);
2075 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
2076 }
2077
2078 for (OverloadExpr::decls_iterator OvI = E->decls_begin(),
2079 OvE = E->decls_end();
2080 OvI != OvE; ++OvI) {
2081 Record.AddDeclRef(OvI.getDecl());
2082 Record.push_back(OvI.getAccess());
2083 }
2084
2085 Record.AddDeclarationNameInfo(E->getNameInfo());
2086 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2087}
2088
2089void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
2090 VisitOverloadExpr(E);
2091 CurrentPackingBits.addBit(E->isArrow());
2092 CurrentPackingBits.addBit(E->hasUnresolvedUsing());
2093 CurrentPackingBits.addBit(!E->isImplicitAccess());
2094 if (!E->isImplicitAccess())
2095 Record.AddStmt(E->getBase());
2096
2097 Record.AddSourceLocation(E->getOperatorLoc());
2098
2099 Record.AddTypeRef(E->getBaseType());
2101}
2102
2103void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
2104 VisitOverloadExpr(E);
2105 CurrentPackingBits.addBit(E->requiresADL());
2106 Record.AddDeclRef(E->getNamingClass());
2108
2109 if (Writer.isWritingStdCXXNamedModules() && Writer.getChain()) {
2110 // Referencing all the possible declarations to make sure the change get
2111 // propagted.
2112 DeclarationName Name = E->getName();
2113 for (auto *Found :
2115 if (Found->isFromASTFile())
2116 Writer.GetDeclRef(Found);
2117
2119 Writer.getChain()->ReadKnownNamespaces(ExternalNSs);
2120 for (auto *NS : ExternalNSs)
2121 for (auto *Found : NS->lookup(Name))
2122 Writer.GetDeclRef(Found);
2123 }
2124}
2125
2126void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
2127 VisitExpr(E);
2128 Record.push_back(E->TypeTraitExprBits.NumArgs);
2129 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
2130 Record.push_back(E->TypeTraitExprBits.Value);
2131 Record.AddSourceRange(E->getSourceRange());
2132 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
2133 Record.AddTypeSourceInfo(E->getArg(I));
2135}
2136
2137void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
2138 VisitExpr(E);
2139 Record.push_back(E->getTrait());
2140 Record.push_back(E->getValue());
2141 Record.AddSourceRange(E->getSourceRange());
2142 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
2143 Record.AddStmt(E->getDimensionExpression());
2145}
2146
2147void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
2148 VisitExpr(E);
2149 Record.push_back(E->getTrait());
2150 Record.push_back(E->getValue());
2151 Record.AddSourceRange(E->getSourceRange());
2152 Record.AddStmt(E->getQueriedExpression());
2154}
2155
2156void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
2157 VisitExpr(E);
2158 Record.push_back(E->getValue());
2159 Record.AddSourceRange(E->getSourceRange());
2160 Record.AddStmt(E->getOperand());
2162}
2163
2164void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
2165 VisitExpr(E);
2166 Record.AddSourceLocation(E->getEllipsisLoc());
2167 Record.push_back(E->NumExpansions);
2168 Record.AddStmt(E->getPattern());
2170}
2171
2172void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
2173 VisitExpr(E);
2174 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
2175 : 0);
2176 Record.AddSourceLocation(E->OperatorLoc);
2177 Record.AddSourceLocation(E->PackLoc);
2178 Record.AddSourceLocation(E->RParenLoc);
2179 Record.AddDeclRef(E->Pack);
2180 if (E->isPartiallySubstituted()) {
2181 for (const auto &TA : E->getPartialArguments())
2182 Record.AddTemplateArgument(TA);
2183 } else if (!E->isValueDependent()) {
2184 Record.push_back(E->getPackLength());
2185 }
2187}
2188
2189void ASTStmtWriter::VisitPackIndexingExpr(PackIndexingExpr *E) {
2190 VisitExpr(E);
2191 Record.push_back(E->TransformedExpressions);
2192 Record.push_back(E->ExpandedToEmptyPack);
2193 Record.AddSourceLocation(E->getEllipsisLoc());
2194 Record.AddSourceLocation(E->getRSquareLoc());
2195 Record.AddStmt(E->getPackIdExpression());
2196 Record.AddStmt(E->getIndexExpr());
2197 for (Expr *Sub : E->getExpressions())
2198 Record.AddStmt(Sub);
2200}
2201
2202void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
2204 VisitExpr(E);
2205 Record.AddDeclRef(E->getAssociatedDecl());
2206 CurrentPackingBits.addBit(E->isReferenceParameter());
2207 CurrentPackingBits.addBits(E->getIndex(), /*Width=*/12);
2208 CurrentPackingBits.addBit((bool)E->getPackIndex());
2209 if (auto PackIndex = E->getPackIndex())
2210 Record.push_back(*PackIndex + 1);
2211
2212 Record.AddSourceLocation(E->getNameLoc());
2213 Record.AddStmt(E->getReplacement());
2215}
2216
2217void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
2219 VisitExpr(E);
2220 Record.AddDeclRef(E->getAssociatedDecl());
2221 Record.push_back(E->getIndex());
2222 Record.AddTemplateArgument(E->getArgumentPack());
2223 Record.AddSourceLocation(E->getParameterPackLocation());
2225}
2226
2227void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
2228 VisitExpr(E);
2229 Record.push_back(E->getNumExpansions());
2230 Record.AddDeclRef(E->getParameterPack());
2231 Record.AddSourceLocation(E->getParameterPackLocation());
2232 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
2233 I != End; ++I)
2234 Record.AddDeclRef(*I);
2236}
2237
2238void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
2239 VisitExpr(E);
2240 Record.push_back(static_cast<bool>(E->getLifetimeExtendedTemporaryDecl()));
2241 if (E->getLifetimeExtendedTemporaryDecl())
2242 Record.AddDeclRef(E->getLifetimeExtendedTemporaryDecl());
2243 else
2244 Record.AddStmt(E->getSubExpr());
2246}
2247
2248void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
2249 VisitExpr(E);
2250 Record.AddSourceLocation(E->LParenLoc);
2251 Record.AddSourceLocation(E->EllipsisLoc);
2252 Record.AddSourceLocation(E->RParenLoc);
2253 Record.push_back(E->NumExpansions);
2254 Record.AddStmt(E->SubExprs[0]);
2255 Record.AddStmt(E->SubExprs[1]);
2256 Record.AddStmt(E->SubExprs[2]);
2257 Record.push_back(E->Opcode);
2259}
2260
2261void ASTStmtWriter::VisitCXXParenListInitExpr(CXXParenListInitExpr *E) {
2262 VisitExpr(E);
2263 ArrayRef<Expr *> InitExprs = E->getInitExprs();
2264 Record.push_back(InitExprs.size());
2265 Record.push_back(E->getUserSpecifiedInitExprs().size());
2266 Record.AddSourceLocation(E->getInitLoc());
2267 Record.AddSourceLocation(E->getBeginLoc());
2268 Record.AddSourceLocation(E->getEndLoc());
2269 for (Expr *InitExpr : E->getInitExprs())
2270 Record.AddStmt(InitExpr);
2271 Expr *ArrayFiller = E->getArrayFiller();
2272 FieldDecl *UnionField = E->getInitializedFieldInUnion();
2273 bool HasArrayFillerOrUnionDecl = ArrayFiller || UnionField;
2274 Record.push_back(HasArrayFillerOrUnionDecl);
2275 if (HasArrayFillerOrUnionDecl) {
2276 Record.push_back(static_cast<bool>(ArrayFiller));
2277 if (ArrayFiller)
2278 Record.AddStmt(ArrayFiller);
2279 else
2280 Record.AddDeclRef(UnionField);
2281 }
2283}
2284
2285void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
2286 VisitExpr(E);
2287 Record.AddStmt(E->getSourceExpr());
2288 Record.AddSourceLocation(E->getLocation());
2289 Record.push_back(E->isUnique());
2291}
2292
2293void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
2294 VisitExpr(E);
2295 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
2296 llvm_unreachable("Cannot write TypoExpr nodes");
2297}
2298
2299//===----------------------------------------------------------------------===//
2300// CUDA Expressions and Statements.
2301//===----------------------------------------------------------------------===//
2302
2303void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
2304 VisitCallExpr(E);
2305 Record.AddStmt(E->getConfig());
2307}
2308
2309//===----------------------------------------------------------------------===//
2310// OpenCL Expressions and Statements.
2311//===----------------------------------------------------------------------===//
2312void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
2313 VisitExpr(E);
2314 Record.AddSourceLocation(E->getBuiltinLoc());
2315 Record.AddSourceLocation(E->getRParenLoc());
2316 Record.AddStmt(E->getSrcExpr());
2318}
2319
2320//===----------------------------------------------------------------------===//
2321// Microsoft Expressions and Statements.
2322//===----------------------------------------------------------------------===//
2323void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
2324 VisitExpr(E);
2325 Record.push_back(E->isArrow());
2326 Record.AddStmt(E->getBaseExpr());
2327 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2328 Record.AddSourceLocation(E->getMemberLoc());
2329 Record.AddDeclRef(E->getPropertyDecl());
2331}
2332
2333void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
2334 VisitExpr(E);
2335 Record.AddStmt(E->getBase());
2336 Record.AddStmt(E->getIdx());
2337 Record.AddSourceLocation(E->getRBracketLoc());
2339}
2340
2341void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
2342 VisitExpr(E);
2343 Record.AddSourceRange(E->getSourceRange());
2344 Record.AddDeclRef(E->getGuidDecl());
2345 if (E->isTypeOperand()) {
2346 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
2348 } else {
2349 Record.AddStmt(E->getExprOperand());
2351 }
2352}
2353
2354void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
2355 VisitStmt(S);
2356 Record.AddSourceLocation(S->getExceptLoc());
2357 Record.AddStmt(S->getFilterExpr());
2358 Record.AddStmt(S->getBlock());
2360}
2361
2362void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
2363 VisitStmt(S);
2364 Record.AddSourceLocation(S->getFinallyLoc());
2365 Record.AddStmt(S->getBlock());
2367}
2368
2369void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
2370 VisitStmt(S);
2371 Record.push_back(S->getIsCXXTry());
2372 Record.AddSourceLocation(S->getTryLoc());
2373 Record.AddStmt(S->getTryBlock());
2374 Record.AddStmt(S->getHandler());
2376}
2377
2378void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
2379 VisitStmt(S);
2380 Record.AddSourceLocation(S->getLeaveLoc());
2382}
2383
2384//===----------------------------------------------------------------------===//
2385// OpenMP Directives.
2386//===----------------------------------------------------------------------===//
2387
2388void ASTStmtWriter::VisitOMPCanonicalLoop(OMPCanonicalLoop *S) {
2389 VisitStmt(S);
2390 for (Stmt *SubStmt : S->SubStmts)
2391 Record.AddStmt(SubStmt);
2393}
2394
2395void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
2396 Record.writeOMPChildren(E->Data);
2397 Record.AddSourceLocation(E->getBeginLoc());
2398 Record.AddSourceLocation(E->getEndLoc());
2399 Record.writeEnum(E->getMappedDirective());
2400}
2401
2402void ASTStmtWriter::VisitOMPLoopBasedDirective(OMPLoopBasedDirective *D) {
2403 VisitStmt(D);
2404 Record.writeUInt32(D->getLoopsNumber());
2405 VisitOMPExecutableDirective(D);
2406}
2407
2408void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
2409 VisitOMPLoopBasedDirective(D);
2410}
2411
2412void ASTStmtWriter::VisitOMPMetaDirective(OMPMetaDirective *D) {
2413 VisitStmt(D);
2414 Record.push_back(D->getNumClauses());
2415 VisitOMPExecutableDirective(D);
2417}
2418
2419void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
2420 VisitStmt(D);
2421 VisitOMPExecutableDirective(D);
2422 Record.writeBool(D->hasCancel());
2424}
2425
2426void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
2427 VisitOMPLoopDirective(D);
2429}
2430
2431void ASTStmtWriter::VisitOMPLoopTransformationDirective(
2433 VisitOMPLoopBasedDirective(D);
2434 Record.writeUInt32(D->getNumGeneratedLoops());
2435}
2436
2437void ASTStmtWriter::VisitOMPTileDirective(OMPTileDirective *D) {
2438 VisitOMPLoopTransformationDirective(D);
2440}
2441
2442void ASTStmtWriter::VisitOMPUnrollDirective(OMPUnrollDirective *D) {
2443 VisitOMPLoopTransformationDirective(D);
2445}
2446
2447void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
2448 VisitOMPLoopDirective(D);
2449 Record.writeBool(D->hasCancel());
2451}
2452
2453void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
2454 VisitOMPLoopDirective(D);
2456}
2457
2458void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
2459 VisitStmt(D);
2460 VisitOMPExecutableDirective(D);
2461 Record.writeBool(D->hasCancel());
2463}
2464
2465void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
2466 VisitStmt(D);
2467 VisitOMPExecutableDirective(D);
2468 Record.writeBool(D->hasCancel());
2470}
2471
2472void ASTStmtWriter::VisitOMPScopeDirective(OMPScopeDirective *D) {
2473 VisitStmt(D);
2474 VisitOMPExecutableDirective(D);
2476}
2477
2478void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
2479 VisitStmt(D);
2480 VisitOMPExecutableDirective(D);
2482}
2483
2484void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
2485 VisitStmt(D);
2486 VisitOMPExecutableDirective(D);
2488}
2489
2490void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
2491 VisitStmt(D);
2492 VisitOMPExecutableDirective(D);
2493 Record.AddDeclarationNameInfo(D->getDirectiveName());
2495}
2496
2497void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
2498 VisitOMPLoopDirective(D);
2499 Record.writeBool(D->hasCancel());
2501}
2502
2503void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2505 VisitOMPLoopDirective(D);
2507}
2508
2509void ASTStmtWriter::VisitOMPParallelMasterDirective(
2511 VisitStmt(D);
2512 VisitOMPExecutableDirective(D);
2514}
2515
2516void ASTStmtWriter::VisitOMPParallelMaskedDirective(
2518 VisitStmt(D);
2519 VisitOMPExecutableDirective(D);
2521}
2522
2523void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2525 VisitStmt(D);
2526 VisitOMPExecutableDirective(D);
2527 Record.writeBool(D->hasCancel());
2529}
2530
2531void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2532 VisitStmt(D);
2533 VisitOMPExecutableDirective(D);
2534 Record.writeBool(D->hasCancel());
2536}
2537
2538void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2539 VisitStmt(D);
2540 VisitOMPExecutableDirective(D);
2541 Record.writeBool(D->isXLHSInRHSPart());
2542 Record.writeBool(D->isPostfixUpdate());
2543 Record.writeBool(D->isFailOnly());
2545}
2546
2547void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2548 VisitStmt(D);
2549 VisitOMPExecutableDirective(D);
2551}
2552
2553void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2554 VisitStmt(D);
2555 VisitOMPExecutableDirective(D);
2557}
2558
2559void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2561 VisitStmt(D);
2562 VisitOMPExecutableDirective(D);
2564}
2565
2566void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2568 VisitStmt(D);
2569 VisitOMPExecutableDirective(D);
2571}
2572
2573void ASTStmtWriter::VisitOMPTargetParallelDirective(
2575 VisitStmt(D);
2576 VisitOMPExecutableDirective(D);
2577 Record.writeBool(D->hasCancel());
2579}
2580
2581void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2583 VisitOMPLoopDirective(D);
2584 Record.writeBool(D->hasCancel());
2586}
2587
2588void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2589 VisitStmt(D);
2590 VisitOMPExecutableDirective(D);
2592}
2593
2594void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2595 VisitStmt(D);
2596 VisitOMPExecutableDirective(D);
2598}
2599
2600void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2601 VisitStmt(D);
2602 Record.push_back(D->getNumClauses());
2603 VisitOMPExecutableDirective(D);
2605}
2606
2607void ASTStmtWriter::VisitOMPErrorDirective(OMPErrorDirective *D) {
2608 VisitStmt(D);
2609 Record.push_back(D->getNumClauses());
2610 VisitOMPExecutableDirective(D);
2612}
2613
2614void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2615 VisitStmt(D);
2616 VisitOMPExecutableDirective(D);
2618}
2619
2620void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2621 VisitStmt(D);
2622 VisitOMPExecutableDirective(D);
2624}
2625
2626void ASTStmtWriter::VisitOMPDepobjDirective(OMPDepobjDirective *D) {
2627 VisitStmt(D);
2628 VisitOMPExecutableDirective(D);
2630}
2631
2632void ASTStmtWriter::VisitOMPScanDirective(OMPScanDirective *D) {
2633 VisitStmt(D);
2634 VisitOMPExecutableDirective(D);
2636}
2637
2638void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2639 VisitStmt(D);
2640 VisitOMPExecutableDirective(D);
2642}
2643
2644void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2645 VisitStmt(D);
2646 VisitOMPExecutableDirective(D);
2648}
2649
2650void ASTStmtWriter::VisitOMPCancellationPointDirective(
2652 VisitStmt(D);
2653 VisitOMPExecutableDirective(D);
2654 Record.writeEnum(D->getCancelRegion());
2656}
2657
2658void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2659 VisitStmt(D);
2660 VisitOMPExecutableDirective(D);
2661 Record.writeEnum(D->getCancelRegion());
2663}
2664
2665void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2666 VisitOMPLoopDirective(D);
2667 Record.writeBool(D->hasCancel());
2669}
2670
2671void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2672 VisitOMPLoopDirective(D);
2674}
2675
2676void ASTStmtWriter::VisitOMPMasterTaskLoopDirective(
2678 VisitOMPLoopDirective(D);
2679 Record.writeBool(D->hasCancel());
2681}
2682
2683void ASTStmtWriter::VisitOMPMaskedTaskLoopDirective(
2685 VisitOMPLoopDirective(D);
2686 Record.writeBool(D->hasCancel());
2688}
2689
2690void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective(
2692 VisitOMPLoopDirective(D);
2694}
2695
2696void ASTStmtWriter::VisitOMPMaskedTaskLoopSimdDirective(
2698 VisitOMPLoopDirective(D);
2700}
2701
2702void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective(
2704 VisitOMPLoopDirective(D);
2705 Record.writeBool(D->hasCancel());
2707}
2708
2709void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopDirective(
2711 VisitOMPLoopDirective(D);
2712 Record.writeBool(D->hasCancel());
2714}
2715
2716void ASTStmtWriter::VisitOMPParallelMasterTaskLoopSimdDirective(
2718 VisitOMPLoopDirective(D);
2720}
2721
2722void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopSimdDirective(
2724 VisitOMPLoopDirective(D);
2726}
2727
2728void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2729 VisitOMPLoopDirective(D);
2731}
2732
2733void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2734 VisitStmt(D);
2735 VisitOMPExecutableDirective(D);
2737}
2738
2739void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2741 VisitOMPLoopDirective(D);
2742 Record.writeBool(D->hasCancel());
2744}
2745
2746void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2748 VisitOMPLoopDirective(D);
2750}
2751
2752void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2754 VisitOMPLoopDirective(D);
2756}
2757
2758void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2760 VisitOMPLoopDirective(D);
2762}
2763
2764void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2765 VisitOMPLoopDirective(D);
2767}
2768
2769void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2771 VisitOMPLoopDirective(D);
2773}
2774
2775void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2777 VisitOMPLoopDirective(D);
2779}
2780
2781void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2783 VisitOMPLoopDirective(D);
2785}
2786
2787void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2789 VisitOMPLoopDirective(D);
2790 Record.writeBool(D->hasCancel());
2792}
2793
2794void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2795 VisitStmt(D);
2796 VisitOMPExecutableDirective(D);
2798}
2799
2800void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2802 VisitOMPLoopDirective(D);
2804}
2805
2806void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2808 VisitOMPLoopDirective(D);
2809 Record.writeBool(D->hasCancel());
2811}
2812
2813void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2815 VisitOMPLoopDirective(D);
2816 Code = serialization::
2818}
2819
2820void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2822 VisitOMPLoopDirective(D);
2824}
2825
2826void ASTStmtWriter::VisitOMPInteropDirective(OMPInteropDirective *D) {
2827 VisitStmt(D);
2828 VisitOMPExecutableDirective(D);
2830}
2831
2832void ASTStmtWriter::VisitOMPDispatchDirective(OMPDispatchDirective *D) {
2833 VisitStmt(D);
2834 VisitOMPExecutableDirective(D);
2835 Record.AddSourceLocation(D->getTargetCallLoc());
2837}
2838
2839void ASTStmtWriter::VisitOMPMaskedDirective(OMPMaskedDirective *D) {
2840 VisitStmt(D);
2841 VisitOMPExecutableDirective(D);
2843}
2844
2845void ASTStmtWriter::VisitOMPGenericLoopDirective(OMPGenericLoopDirective *D) {
2846 VisitOMPLoopDirective(D);
2848}
2849
2850void ASTStmtWriter::VisitOMPTeamsGenericLoopDirective(
2852 VisitOMPLoopDirective(D);
2854}
2855
2856void ASTStmtWriter::VisitOMPTargetTeamsGenericLoopDirective(
2858 VisitOMPLoopDirective(D);
2859 Record.writeBool(D->canBeParallelFor());
2861}
2862
2863void ASTStmtWriter::VisitOMPParallelGenericLoopDirective(
2865 VisitOMPLoopDirective(D);
2867}
2868
2869void ASTStmtWriter::VisitOMPTargetParallelGenericLoopDirective(
2871 VisitOMPLoopDirective(D);
2873}
2874
2875//===----------------------------------------------------------------------===//
2876// OpenACC Constructs/Directives.
2877//===----------------------------------------------------------------------===//
2878void ASTStmtWriter::VisitOpenACCConstructStmt(OpenACCConstructStmt *S) {
2879 Record.push_back(S->clauses().size());
2880 Record.writeEnum(S->Kind);
2881 Record.AddSourceRange(S->Range);
2882 Record.AddSourceLocation(S->DirectiveLoc);
2883 Record.writeOpenACCClauseList(S->clauses());
2884}
2885
2886void ASTStmtWriter::VisitOpenACCAssociatedStmtConstruct(
2888 VisitOpenACCConstructStmt(S);
2889 Record.AddStmt(S->getAssociatedStmt());
2890}
2891
2892void ASTStmtWriter::VisitOpenACCComputeConstruct(OpenACCComputeConstruct *S) {
2893 VisitStmt(S);
2894 VisitOpenACCAssociatedStmtConstruct(S);
2896}
2897
2898void ASTStmtWriter::VisitOpenACCLoopConstruct(OpenACCLoopConstruct *S) {
2899 VisitStmt(S);
2900 VisitOpenACCAssociatedStmtConstruct(S);
2902}
2903
2904//===----------------------------------------------------------------------===//
2905// ASTWriter Implementation
2906//===----------------------------------------------------------------------===//
2907
2909 assert(!SwitchCaseIDs.contains(S) && "SwitchCase recorded twice");
2910 unsigned NextID = SwitchCaseIDs.size();
2911 SwitchCaseIDs[S] = NextID;
2912 return NextID;
2913}
2914
2916 assert(SwitchCaseIDs.contains(S) && "SwitchCase hasn't been seen yet");
2917 return SwitchCaseIDs[S];
2918}
2919
2921 SwitchCaseIDs.clear();
2922}
2923
2924/// Write the given substatement or subexpression to the
2925/// bitstream.
2926void ASTWriter::WriteSubStmt(Stmt *S) {
2928 ASTStmtWriter Writer(*this, Record);
2929 ++NumStatements;
2930
2931 if (!S) {
2932 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
2933 return;
2934 }
2935
2936 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2937 if (I != SubStmtEntries.end()) {
2938 Record.push_back(I->second);
2939 Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2940 return;
2941 }
2942
2943#ifndef NDEBUG
2944 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2945
2946 struct ParentStmtInserterRAII {
2947 Stmt *S;
2948 llvm::DenseSet<Stmt *> &ParentStmts;
2949
2950 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2951 : S(S), ParentStmts(ParentStmts) {
2952 ParentStmts.insert(S);
2953 }
2954 ~ParentStmtInserterRAII() {
2955 ParentStmts.erase(S);
2956 }
2957 };
2958
2959 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2960#endif
2961
2962 Writer.Visit(S);
2963
2964 uint64_t Offset = Writer.Emit();
2965 SubStmtEntries[S] = Offset;
2966}
2967
2968/// Flush all of the statements that have been added to the
2969/// queue via AddStmt().
2970void ASTRecordWriter::FlushStmts() {
2971 // We expect to be the only consumer of the two temporary statement maps,
2972 // assert that they are empty.
2973 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2974 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
2975
2976 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2977 Writer->WriteSubStmt(StmtsToEmit[I]);
2978
2979 assert(N == StmtsToEmit.size() && "record modified while being written!");
2980
2981 // Note that we are at the end of a full expression. Any
2982 // expression records that follow this one are part of a different
2983 // expression.
2984 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
2985
2986 Writer->SubStmtEntries.clear();
2987 Writer->ParentStmts.clear();
2988 }
2989
2990 StmtsToEmit.clear();
2991}
2992
2993void ASTRecordWriter::FlushSubStmts() {
2994 // For a nested statement, write out the substatements in reverse order (so
2995 // that a simple stack machine can be used when loading), and don't emit a
2996 // STMT_STOP after each one.
2997 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2998 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
2999 assert(N == StmtsToEmit.size() && "record modified while being written!");
3000 }
3001
3002 StmtsToEmit.clear();
3003}
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:1091
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:4343
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Definition: Expr.h:5727
Represents a loop initializing the elements of an array.
Definition: Expr.h:5674
This class represents BOTH the OpenMP Array Section and OpenACC 'subarray', with a boolean differenti...
Definition: Expr.h:6897
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Definition: Expr.h:2669
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:6397
AsmStmt is the base class for GCCAsmStmt and MSAsmStmt.
Definition: Stmt.h:3101
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
Definition: Expr.h:6600
Represents an attribute applied to a statement.
Definition: Stmt.h:2081
BinaryConditionalOperator - The GNU extension to the conditional operator which allows the middle ope...
Definition: Expr.h:4246
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3845
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:4506
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Definition: Expr.h:6336
BreakStmt - This represents a break.
Definition: Stmt.h:2981
Represents a C++2a __builtin_bit_cast(T, v) expression.
Definition: ExprCXX.h:5304
CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style cast in C++ (C++ [expr....
Definition: Expr.h:3776
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:4844
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:4130
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:4966
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:2825
This captures a statement into a function.
Definition: Stmt.h:3758
CaseStmt - Represent a case statement.
Definition: Stmt.h:1802
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Definition: Expr.h:3488
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Definition: Expr.h:4563
Represents a 'co_await' expression.
Definition: ExprCXX.h:5197
CompoundAssignOperator - For compound assignments (e.g.
Definition: Expr.h:4093
CompoundLiteralExpr - [C99 6.5.2.5].
Definition: Expr.h:3418
CompoundStmt - This represents a group of statements like { stmt stmt }.
Definition: Stmt.h:1607
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:4184
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:2951
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Definition: Expr.h:4504
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:5083
Represents a 'co_yield' expression.
Definition: ExprCXX.h:5278
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:1829
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:1498
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:5229
A qualified reference to a name whose declaration cannot yet be resolved.
Definition: ExprCXX.h:3321
Represents a single C99 designator.
Definition: Expr.h:5298
Represents a C99 designated initializer expression.
Definition: Expr.h:5255
DoStmt - This represents a 'do/while' stmt.
Definition: Stmt.h:2726
Represents a reference to #emded data.
Definition: Expr.h:4838
ExplicitCastExpr - An explicit cast written in the source code.
Definition: Expr.h:3735
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:6276
Represents a member of a struct/union/class.
Definition: Decl.h:3069
ForStmt - This represents a 'for (init;cond;inc)' stmt.
Definition: Stmt.h:2782
Represents a reference to a function parameter pack or init-capture pack that has been substituted bu...
Definition: ExprCXX.h:4652
VarDecl *const * iterator
Iterators over the parameters which the parameter pack expanded into.
Definition: ExprCXX.h:4686
This represents a GCC inline-assembly statement extension.
Definition: Stmt.h:3260
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Definition: Expr.h:4638
Represents a C11 generic selection.
Definition: Expr.h:5888
GotoStmt - This represents a direct goto.
Definition: Stmt.h:2863
IfStmt - This represents an if/then/else.
Definition: Stmt.h:2139
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:3660
Represents an implicitly-generated value initialization of an object of a given type.
Definition: Expr.h:5763
IndirectGotoStmt - This represents an indirect goto.
Definition: Stmt.h:2902
Describes an C or C++ initializer list.
Definition: Expr.h:5010
LabelStmt - Represents a label, which has a substatement.
Definition: Stmt.h:2032
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:3483
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:4732
MatrixSubscriptExpr - Matrix subscript expression for the MatrixType extension.
Definition: Expr.h:2747
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition: Expr.h:3177
Represents a place-holder for an object not to be initialized by anything.
Definition: Expr.h:5583
NullStmt - This is the null statement ";": C99 6.8.3p3.
Definition: Stmt.h:1570
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:2963
This represents '#pragma omp barrier' directive.
Definition: StmtOpenMP.h:2641
This represents '#pragma omp cancel' directive.
Definition: StmtOpenMP.h:3671
This represents '#pragma omp cancellation point' directive.
Definition: StmtOpenMP.h:3613
Representation of an OpenMP canonical loop.
Definition: StmtOpenMP.h:142
This represents '#pragma omp critical' directive.
Definition: StmtOpenMP.h:2092
This represents '#pragma omp depobj' directive.
Definition: StmtOpenMP.h:2857
This represents '#pragma omp dispatch' directive.
Definition: StmtOpenMP.h:5827
This represents '#pragma omp distribute' directive.
Definition: StmtOpenMP.h:4441
This represents '#pragma omp distribute parallel for' composite directive.
Definition: StmtOpenMP.h:4564
This represents '#pragma omp distribute parallel for simd' composite directive.
Definition: StmtOpenMP.h:4660
This represents '#pragma omp distribute simd' composite directive.
Definition: StmtOpenMP.h:4725
This represents '#pragma omp error' directive.
Definition: StmtOpenMP.h:6311
This is a basic class for representing single OpenMP executable directive.
Definition: StmtOpenMP.h:266
This represents '#pragma omp flush' directive.
Definition: StmtOpenMP.h:2805
This represents '#pragma omp for' directive.
Definition: StmtOpenMP.h:1649
This represents '#pragma omp for simd' directive.
Definition: StmtOpenMP.h:1740
This represents '#pragma omp loop' directive.
Definition: StmtOpenMP.h:5982
This represents '#pragma omp interop' directive.
Definition: StmtOpenMP.h:5774
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:698
This is a common base class for loop directives ('omp simd', 'omp for', 'omp for simd' etc....
Definition: StmtOpenMP.h:1018
The base class for all loop transformation directives.
Definition: StmtOpenMP.h:975
This represents '#pragma omp masked' directive.
Definition: StmtOpenMP.h:5892
This represents '#pragma omp masked taskloop' directive.
Definition: StmtOpenMP.h:3946
This represents '#pragma omp masked taskloop simd' directive.
Definition: StmtOpenMP.h:4087
This represents '#pragma omp master' directive.
Definition: StmtOpenMP.h:2044
This represents '#pragma omp master taskloop' directive.
Definition: StmtOpenMP.h:3870
This represents '#pragma omp master taskloop simd' directive.
Definition: StmtOpenMP.h:4022
This represents '#pragma omp metadirective' directive.
Definition: StmtOpenMP.h:5943
This represents '#pragma omp ordered' directive.
Definition: StmtOpenMP.h:2909
This represents '#pragma omp parallel' directive.
Definition: StmtOpenMP.h:627
This represents '#pragma omp parallel for' directive.
Definition: StmtOpenMP.h:2163
This represents '#pragma omp parallel for simd' directive.
Definition: StmtOpenMP.h:2260
This represents '#pragma omp parallel loop' directive.
Definition: StmtOpenMP.h:6184
This represents '#pragma omp parallel masked' directive.
Definition: StmtOpenMP.h:2388
This represents '#pragma omp parallel masked taskloop' directive.
Definition: StmtOpenMP.h:4231
This represents '#pragma omp parallel masked taskloop simd' directive.
Definition: StmtOpenMP.h:4376
This represents '#pragma omp parallel master' directive.
Definition: StmtOpenMP.h:2325
This represents '#pragma omp parallel master taskloop' directive.
Definition: StmtOpenMP.h:4153
This represents '#pragma omp parallel master taskloop simd' directive.
Definition: StmtOpenMP.h:4309
This represents '#pragma omp parallel sections' directive.
Definition: StmtOpenMP.h:2452
This represents '#pragma omp scan' directive.
Definition: StmtOpenMP.h:5721
This represents '#pragma omp scope' directive.
Definition: StmtOpenMP.h:1941
This represents '#pragma omp section' directive.
Definition: StmtOpenMP.h:1880
This represents '#pragma omp sections' directive.
Definition: StmtOpenMP.h:1803
This represents '#pragma omp simd' directive.
Definition: StmtOpenMP.h:1585
This represents '#pragma omp single' directive.
Definition: StmtOpenMP.h:1993
This represents '#pragma omp target data' directive.
Definition: StmtOpenMP.h:3222
This represents '#pragma omp target' directive.
Definition: StmtOpenMP.h:3168
This represents '#pragma omp target enter data' directive.
Definition: StmtOpenMP.h:3276
This represents '#pragma omp target exit data' directive.
Definition: StmtOpenMP.h:3331
This represents '#pragma omp target parallel' directive.
Definition: StmtOpenMP.h:3385
This represents '#pragma omp target parallel for' directive.
Definition: StmtOpenMP.h:3465
This represents '#pragma omp target parallel for simd' directive.
Definition: StmtOpenMP.h:4791
This represents '#pragma omp target parallel loop' directive.
Definition: StmtOpenMP.h:6249
This represents '#pragma omp target simd' directive.
Definition: StmtOpenMP.h:4858
This represents '#pragma omp target teams' directive.
Definition: StmtOpenMP.h:5216
This represents '#pragma omp target teams distribute' combined directive.
Definition: StmtOpenMP.h:5272
This represents '#pragma omp target teams distribute parallel for' combined directive.
Definition: StmtOpenMP.h:5339
This represents '#pragma omp target teams distribute parallel for simd' combined directive.
Definition: StmtOpenMP.h:5437
This represents '#pragma omp target teams distribute simd' combined directive.
Definition: StmtOpenMP.h:5507
This represents '#pragma omp target teams loop' directive.
Definition: StmtOpenMP.h:6109
This represents '#pragma omp target update' directive.
Definition: StmtOpenMP.h:4508
This represents '#pragma omp task' directive.
Definition: StmtOpenMP.h:2533
This represents '#pragma omp taskloop' directive.
Definition: StmtOpenMP.h:3731
This represents '#pragma omp taskloop simd' directive.
Definition: StmtOpenMP.h:3804
This represents '#pragma omp taskgroup' directive.
Definition: StmtOpenMP.h:2738
This represents '#pragma omp taskwait' directive.
Definition: StmtOpenMP.h:2687
This represents '#pragma omp taskyield' directive.
Definition: StmtOpenMP.h:2595
This represents '#pragma omp teams' directive.
Definition: StmtOpenMP.h:3560
This represents '#pragma omp teams distribute' directive.
Definition: StmtOpenMP.h:4923
This represents '#pragma omp teams distribute parallel for' composite directive.
Definition: StmtOpenMP.h:5123
This represents '#pragma omp teams distribute parallel for simd' composite directive.
Definition: StmtOpenMP.h:5057
This represents '#pragma omp teams distribute simd' combined directive.
Definition: StmtOpenMP.h:4989
This represents '#pragma omp teams loop' directive.
Definition: StmtOpenMP.h:6044
This represents the '#pragma omp tile' loop transformation directive.
Definition: StmtOpenMP.h:5565
This represents the '#pragma omp unroll' loop transformation directive.
Definition: StmtOpenMP.h:5647
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:2470
Helper class for OffsetOfExpr.
Definition: Expr.h:2364
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
Definition: Expr.h:2422
FieldDecl * getField() const
For a field offsetof node, returns the field.
Definition: Expr.h:2428
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:2449
@ Array
An index into an array.
Definition: Expr.h:2369
@ Identifier
A field in a dependent type, known only by its name.
Definition: Expr.h:2373
@ Field
A field.
Definition: Expr.h:2371
@ Base
An implicit indirection through a C++ base class, when the field found is in a base class.
Definition: Expr.h:2376
Kind getKind() const
Determine what kind of offsetof node this is.
Definition: Expr.h:2418
CXXBaseSpecifier * getBase() const
For a base class node, returns the base specifier.
Definition: Expr.h:2438
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:4184
ParenExpr - This represents a parenthesized expression, e.g.
Definition: Expr.h:2135
Represents a parameter to a function.
Definition: Decl.h:1761
[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:6468
Expr *const * semantics_iterator
Definition: Expr.h:6532
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Definition: Expr.h:7072
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:3020
Represents a __leave statement.
Definition: Stmt.h:3719
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:4398
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
Definition: Expr.h:4436
Represents an expression that computes the length of a parameter pack.
Definition: ExprCXX.h:4262
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
Definition: Expr.h:4732
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:4388
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:1264
child_range children()
Definition: Stmt.cpp:287
StmtClass getStmtClass() const
Definition: Stmt.h:1359
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:1253
CXXNewExprBitfields CXXNewExprBits
Definition: Stmt.h:1251
ConstantExprBitfields ConstantExprBits
Definition: Stmt.h:1219
RequiresExprBitfields RequiresExprBits
Definition: Stmt.h:1265
DependentScopeDeclRefExprBitfields DependentScopeDeclRefExprBits
Definition: Stmt.h:1254
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:4488
Represents a reference to a non-type template parameter pack that has been substituted with a non-tem...
Definition: ExprCXX.h:4573
SwitchStmt - This represents a 'switch' stmt.
Definition: Stmt.h:2389
Location wrapper for a TemplateArgument.
Definition: TemplateBase.h:524
A container of type source information.
Definition: Type.h:7715
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:6748
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
Definition: Expr.h:2573
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:3947
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:4672
WhileStmt - This represents a 'while' stmt.
Definition: Stmt.h:2585
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:1943
@ 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:1954
@ 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:1948
@ 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:1938
@ EXPR_PSEUDO_OBJECT
A PseudoObjectExpr record.
Definition: ASTBitCodes.h:1698
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE
Definition: ASTBitCodes.h:1953
@ 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:1945
@ 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:1963
@ 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:1942
@ EXPR_BUILTIN_BIT_CAST
A BuiltinBitCastExpr record.
Definition: ASTBitCodes.h:1820
@ STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1955
@ 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:1952
@ EXPR_ARRAY_INIT_LOOP
An ArrayInitLoopExpr record.
Definition: ASTBitCodes.h:1656
@ STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE
Definition: ASTBitCodes.h:1934
@ STMT_OMP_PARALLEL_MASKED_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1939
@ 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:1933
@ 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:1962
@ 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:1950
@ STMT_OMP_PARALLEL_MASTER_TASKLOOP_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1935
@ STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE
Definition: ASTBitCodes.h:1949
@ 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:1925
@ 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:1964
@ 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:1937
@ 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:2005
@ DESIG_FIELD_NAME
Field designator where only the field name is known.
Definition: ASTBitCodes.h:1995
@ DESIG_FIELD_DECL
Field designator where the field has been resolved to a declaration.
Definition: ASTBitCodes.h:1999
@ DESIG_ARRAY
Array designator.
Definition: ASTBitCodes.h:2002
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:1317