1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | #ifndef LLVM_CLANG_AST_EXPR_H |
14 | #define LLVM_CLANG_AST_EXPR_H |
15 | |
16 | #include "clang/AST/APValue.h" |
17 | #include "clang/AST/ASTVector.h" |
18 | #include "clang/AST/Decl.h" |
19 | #include "clang/AST/DeclAccessPair.h" |
20 | #include "clang/AST/OperationKinds.h" |
21 | #include "clang/AST/Stmt.h" |
22 | #include "clang/AST/TemplateBase.h" |
23 | #include "clang/AST/Type.h" |
24 | #include "clang/Basic/CharInfo.h" |
25 | #include "clang/Basic/FixedPoint.h" |
26 | #include "clang/Basic/LangOptions.h" |
27 | #include "clang/Basic/SyncScope.h" |
28 | #include "clang/Basic/TypeTraits.h" |
29 | #include "llvm/ADT/APFloat.h" |
30 | #include "llvm/ADT/APSInt.h" |
31 | #include "llvm/ADT/iterator.h" |
32 | #include "llvm/ADT/iterator_range.h" |
33 | #include "llvm/ADT/SmallVector.h" |
34 | #include "llvm/ADT/StringRef.h" |
35 | #include "llvm/Support/AtomicOrdering.h" |
36 | #include "llvm/Support/Compiler.h" |
37 | #include "llvm/Support/TrailingObjects.h" |
38 | |
39 | namespace clang { |
40 | class APValue; |
41 | class ASTContext; |
42 | class BlockDecl; |
43 | class CXXBaseSpecifier; |
44 | class CXXMemberCallExpr; |
45 | class CXXOperatorCallExpr; |
46 | class CastExpr; |
47 | class Decl; |
48 | class IdentifierInfo; |
49 | class MaterializeTemporaryExpr; |
50 | class NamedDecl; |
51 | class ObjCPropertyRefExpr; |
52 | class OpaqueValueExpr; |
53 | class ParmVarDecl; |
54 | class StringLiteral; |
55 | class TargetInfo; |
56 | class ValueDecl; |
57 | |
58 | |
59 | typedef SmallVector<CXXBaseSpecifier*, 4> CXXCastPath; |
60 | |
61 | |
62 | |
63 | struct SubobjectAdjustment { |
64 | enum { |
65 | DerivedToBaseAdjustment, |
66 | FieldAdjustment, |
67 | MemberPointerAdjustment |
68 | } Kind; |
69 | |
70 | struct DTB { |
71 | const CastExpr *BasePath; |
72 | const CXXRecordDecl *DerivedClass; |
73 | }; |
74 | |
75 | struct P { |
76 | const MemberPointerType *MPT; |
77 | Expr *RHS; |
78 | }; |
79 | |
80 | union { |
81 | struct DTB DerivedToBase; |
82 | FieldDecl *Field; |
83 | struct P Ptr; |
84 | }; |
85 | |
86 | SubobjectAdjustment(const CastExpr *BasePath, |
87 | const CXXRecordDecl *DerivedClass) |
88 | : Kind(DerivedToBaseAdjustment) { |
89 | DerivedToBase.BasePath = BasePath; |
90 | DerivedToBase.DerivedClass = DerivedClass; |
91 | } |
92 | |
93 | SubobjectAdjustment(FieldDecl *Field) |
94 | : Kind(FieldAdjustment) { |
95 | this->Field = Field; |
96 | } |
97 | |
98 | SubobjectAdjustment(const MemberPointerType *MPT, Expr *RHS) |
99 | : Kind(MemberPointerAdjustment) { |
100 | this->Ptr.MPT = MPT; |
101 | this->Ptr.RHS = RHS; |
102 | } |
103 | }; |
104 | |
105 | |
106 | |
107 | |
108 | class Expr : public ValueStmt { |
109 | QualType TR; |
110 | |
111 | protected: |
112 | Expr(StmtClass SC, QualType T, ExprValueKind VK, ExprObjectKind OK, |
113 | bool TD, bool VD, bool ID, bool ContainsUnexpandedParameterPack) |
114 | : ValueStmt(SC) |
115 | { |
116 | ExprBits.TypeDependent = TD; |
117 | ExprBits.ValueDependent = VD; |
118 | ExprBits.InstantiationDependent = ID; |
119 | ExprBits.ValueKind = VK; |
120 | ExprBits.ObjectKind = OK; |
121 | (0) . __assert_fail ("ExprBits.ObjectKind == OK && \"truncated kind\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 121, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(ExprBits.ObjectKind == OK && "truncated kind"); |
122 | ExprBits.ContainsUnexpandedParameterPack = ContainsUnexpandedParameterPack; |
123 | setType(T); |
124 | } |
125 | |
126 | |
127 | explicit Expr(StmtClass SC, EmptyShell) : ValueStmt(SC) { } |
128 | |
129 | public: |
130 | QualType getType() const { return TR; } |
131 | void setType(QualType t) { |
132 | |
133 | |
134 | |
135 | |
136 | |
137 | |
138 | (0) . __assert_fail ("(t.isNull() || !t->isReferenceType()) && \"Expressions can't have reference type\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 139, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((t.isNull() || !t->isReferenceType()) && |
139 | (0) . __assert_fail ("(t.isNull() || !t->isReferenceType()) && \"Expressions can't have reference type\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 139, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Expressions can't have reference type"); |
140 | |
141 | TR = t; |
142 | } |
143 | |
144 | |
145 | |
146 | |
147 | |
148 | |
149 | |
150 | |
151 | bool isValueDependent() const { return ExprBits.ValueDependent; } |
152 | |
153 | |
154 | void setValueDependent(bool VD) { |
155 | ExprBits.ValueDependent = VD; |
156 | } |
157 | |
158 | |
159 | |
160 | |
161 | |
162 | |
163 | |
164 | |
165 | |
166 | |
167 | |
168 | |
169 | bool isTypeDependent() const { return ExprBits.TypeDependent; } |
170 | |
171 | |
172 | void setTypeDependent(bool TD) { |
173 | ExprBits.TypeDependent = TD; |
174 | } |
175 | |
176 | |
177 | |
178 | |
179 | |
180 | |
181 | |
182 | |
183 | |
184 | |
185 | |
186 | |
187 | |
188 | |
189 | |
190 | |
191 | |
192 | |
193 | bool isInstantiationDependent() const { |
194 | return ExprBits.InstantiationDependent; |
195 | } |
196 | |
197 | |
198 | void setInstantiationDependent(bool ID) { |
199 | ExprBits.InstantiationDependent = ID; |
200 | } |
201 | |
202 | |
203 | |
204 | |
205 | |
206 | |
207 | |
208 | |
209 | |
210 | |
211 | |
212 | |
213 | |
214 | |
215 | |
216 | bool containsUnexpandedParameterPack() const { |
217 | return ExprBits.ContainsUnexpandedParameterPack; |
218 | } |
219 | |
220 | |
221 | |
222 | void setContainsUnexpandedParameterPack(bool PP = true) { |
223 | ExprBits.ContainsUnexpandedParameterPack = PP; |
224 | } |
225 | |
226 | |
227 | |
228 | SourceLocation getExprLoc() const LLVM_READONLY; |
229 | |
230 | |
231 | |
232 | |
233 | |
234 | bool isUnusedResultAWarning(const Expr *&WarnExpr, SourceLocation &Loc, |
235 | SourceRange &R1, SourceRange &R2, |
236 | ASTContext &Ctx) const; |
237 | |
238 | |
239 | |
240 | |
241 | |
242 | |
243 | |
244 | |
245 | |
246 | |
247 | |
248 | |
249 | |
250 | |
251 | bool isLValue() const { return getValueKind() == VK_LValue; } |
252 | bool isRValue() const { return getValueKind() == VK_RValue; } |
253 | bool isXValue() const { return getValueKind() == VK_XValue; } |
254 | bool isGLValue() const { return getValueKind() != VK_RValue; } |
255 | |
256 | enum LValueClassification { |
257 | LV_Valid, |
258 | LV_NotObjectType, |
259 | LV_IncompleteVoidType, |
260 | LV_DuplicateVectorComponents, |
261 | LV_InvalidExpression, |
262 | LV_InvalidMessageExpression, |
263 | LV_MemberFunction, |
264 | LV_SubObjCPropertySetting, |
265 | LV_ClassTemporary, |
266 | LV_ArrayTemporary |
267 | }; |
268 | |
269 | LValueClassification ClassifyLValue(ASTContext &Ctx) const; |
270 | |
271 | enum isModifiableLvalueResult { |
272 | MLV_Valid, |
273 | MLV_NotObjectType, |
274 | MLV_IncompleteVoidType, |
275 | MLV_DuplicateVectorComponents, |
276 | MLV_InvalidExpression, |
277 | MLV_LValueCast, |
278 | MLV_IncompleteType, |
279 | MLV_ConstQualified, |
280 | MLV_ConstQualifiedField, |
281 | MLV_ConstAddrSpace, |
282 | MLV_ArrayType, |
283 | MLV_NoSetterProperty, |
284 | MLV_MemberFunction, |
285 | MLV_SubObjCPropertySetting, |
286 | MLV_InvalidMessageExpression, |
287 | MLV_ClassTemporary, |
288 | MLV_ArrayTemporary |
289 | }; |
290 | |
291 | |
292 | |
293 | |
294 | |
295 | |
296 | |
297 | |
298 | |
299 | isModifiableLvalueResult |
300 | isModifiableLvalue(ASTContext &Ctx, SourceLocation *Loc = nullptr) const; |
301 | |
302 | |
303 | |
304 | class Classification { |
305 | public: |
306 | |
307 | enum Kinds { |
308 | CL_LValue, |
309 | CL_XValue, |
310 | CL_Function, |
311 | CL_Void, |
312 | CL_AddressableVoid, |
313 | CL_DuplicateVectorComponents, |
314 | CL_MemberFunction, |
315 | CL_SubObjCPropertySetting, |
316 | CL_ClassTemporary, |
317 | CL_ArrayTemporary, |
318 | CL_ObjCMessageRValue, |
319 | CL_PRValue |
320 | }; |
321 | |
322 | enum ModifiableType { |
323 | CM_Untested, |
324 | CM_Modifiable, |
325 | CM_RValue, |
326 | CM_Function, |
327 | CM_LValueCast, |
328 | CM_NoSetterProperty, |
329 | CM_ConstQualified, |
330 | CM_ConstQualifiedField, |
331 | CM_ConstAddrSpace, |
332 | CM_ArrayType, |
333 | CM_IncompleteType |
334 | }; |
335 | |
336 | private: |
337 | friend class Expr; |
338 | |
339 | unsigned short Kind; |
340 | unsigned short Modifiable; |
341 | |
342 | explicit Classification(Kinds k, ModifiableType m) |
343 | : Kind(k), Modifiable(m) |
344 | {} |
345 | |
346 | public: |
347 | Classification() {} |
348 | |
349 | Kinds getKind() const { return static_cast<Kinds>(Kind); } |
350 | ModifiableType getModifiable() const { |
351 | (0) . __assert_fail ("Modifiable != CM_Untested && \"Did not test for modifiability.\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 351, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Modifiable != CM_Untested && "Did not test for modifiability."); |
352 | return static_cast<ModifiableType>(Modifiable); |
353 | } |
354 | bool isLValue() const { return Kind == CL_LValue; } |
355 | bool isXValue() const { return Kind == CL_XValue; } |
356 | bool isGLValue() const { return Kind <= CL_XValue; } |
357 | bool isPRValue() const { return Kind >= CL_Function; } |
358 | bool isRValue() const { return Kind >= CL_XValue; } |
359 | bool isModifiable() const { return getModifiable() == CM_Modifiable; } |
360 | |
361 | |
362 | static Classification makeSimpleLValue() { |
363 | return Classification(CL_LValue, CM_Modifiable); |
364 | } |
365 | |
366 | }; |
367 | |
368 | |
369 | |
370 | |
371 | |
372 | |
373 | |
374 | |
375 | |
376 | |
377 | |
378 | |
379 | Classification Classify(ASTContext &Ctx) const { |
380 | return ClassifyImpl(Ctx, nullptr); |
381 | } |
382 | |
383 | |
384 | |
385 | |
386 | |
387 | |
388 | |
389 | |
390 | |
391 | Classification ClassifyModifiable(ASTContext &Ctx, SourceLocation &Loc) const{ |
392 | return ClassifyImpl(Ctx, &Loc); |
393 | } |
394 | |
395 | |
396 | |
397 | static ExprValueKind getValueKindForType(QualType T) { |
398 | if (const ReferenceType *RT = T->getAs<ReferenceType>()) |
399 | return (isa<LValueReferenceType>(RT) |
400 | ? VK_LValue |
401 | : (RT->getPointeeType()->isFunctionType() |
402 | ? VK_LValue : VK_XValue)); |
403 | return VK_RValue; |
404 | } |
405 | |
406 | |
407 | ExprValueKind getValueKind() const { |
408 | return static_cast<ExprValueKind>(ExprBits.ValueKind); |
409 | } |
410 | |
411 | |
412 | |
413 | |
414 | ExprObjectKind getObjectKind() const { |
415 | return static_cast<ExprObjectKind>(ExprBits.ObjectKind); |
416 | } |
417 | |
418 | bool isOrdinaryOrBitFieldObject() const { |
419 | ExprObjectKind OK = getObjectKind(); |
420 | return (OK == OK_Ordinary || OK == OK_BitField); |
421 | } |
422 | |
423 | |
424 | void setValueKind(ExprValueKind Cat) { ExprBits.ValueKind = Cat; } |
425 | |
426 | |
427 | void setObjectKind(ExprObjectKind Cat) { ExprBits.ObjectKind = Cat; } |
428 | |
429 | private: |
430 | Classification ClassifyImpl(ASTContext &Ctx, SourceLocation *Loc) const; |
431 | |
432 | public: |
433 | |
434 | |
435 | |
436 | |
437 | |
438 | |
439 | bool refersToBitField() const { return getObjectKind() == OK_BitField; } |
440 | |
441 | |
442 | |
443 | |
444 | |
445 | |
446 | |
447 | |
448 | FieldDecl *getSourceBitField(); |
449 | |
450 | const FieldDecl *getSourceBitField() const { |
451 | return const_cast<Expr*>(this)->getSourceBitField(); |
452 | } |
453 | |
454 | Decl *getReferencedDeclOfCallee(); |
455 | const Decl *getReferencedDeclOfCallee() const { |
456 | return const_cast<Expr*>(this)->getReferencedDeclOfCallee(); |
457 | } |
458 | |
459 | |
460 | |
461 | const ObjCPropertyRefExpr *getObjCProperty() const; |
462 | |
463 | |
464 | bool isObjCSelfExpr() const; |
465 | |
466 | |
467 | bool refersToVectorElement() const; |
468 | |
469 | |
470 | |
471 | bool refersToGlobalRegisterVar() const; |
472 | |
473 | |
474 | bool hasPlaceholderType() const { |
475 | return getType()->isPlaceholderType(); |
476 | } |
477 | |
478 | |
479 | bool hasPlaceholderType(BuiltinType::Kind K) const { |
480 | assert(BuiltinType::isPlaceholderTypeKind(K)); |
481 | if (const BuiltinType *BT = dyn_cast<BuiltinType>(getType())) |
482 | return BT->getKind() == K; |
483 | return false; |
484 | } |
485 | |
486 | |
487 | |
488 | |
489 | |
490 | bool isKnownToHaveBooleanValue() const; |
491 | |
492 | |
493 | |
494 | |
495 | |
496 | |
497 | |
498 | |
499 | bool isIntegerConstantExpr(llvm::APSInt &Result, const ASTContext &Ctx, |
500 | SourceLocation *Loc = nullptr, |
501 | bool isEvaluated = true) const; |
502 | bool isIntegerConstantExpr(const ASTContext &Ctx, |
503 | SourceLocation *Loc = nullptr) const; |
504 | |
505 | |
506 | |
507 | bool isCXX98IntegralConstantExpr(const ASTContext &Ctx) const; |
508 | |
509 | |
510 | |
511 | |
512 | |
513 | |
514 | bool isCXX11ConstantExpr(const ASTContext &Ctx, APValue *Result = nullptr, |
515 | SourceLocation *Loc = nullptr) const; |
516 | |
517 | |
518 | |
519 | |
520 | |
521 | static bool isPotentialConstantExpr(const FunctionDecl *FD, |
522 | SmallVectorImpl< |
523 | PartialDiagnosticAt> &Diags); |
524 | |
525 | |
526 | |
527 | |
528 | |
529 | |
530 | static bool isPotentialConstantExprUnevaluated(Expr *E, |
531 | const FunctionDecl *FD, |
532 | SmallVectorImpl< |
533 | PartialDiagnosticAt> &Diags); |
534 | |
535 | |
536 | |
537 | |
538 | |
539 | bool isConstantInitializer(ASTContext &Ctx, bool ForRef, |
540 | const Expr **Culprit = nullptr) const; |
541 | |
542 | |
543 | struct EvalStatus { |
544 | |
545 | |
546 | bool HasSideEffects; |
547 | |
548 | |
549 | |
550 | |
551 | bool HasUndefinedBehavior; |
552 | |
553 | |
554 | |
555 | |
556 | |
557 | |
558 | |
559 | |
560 | SmallVectorImpl<PartialDiagnosticAt> *Diag; |
561 | |
562 | EvalStatus() |
563 | : HasSideEffects(false), HasUndefinedBehavior(false), Diag(nullptr) {} |
564 | |
565 | |
566 | |
567 | bool hasSideEffects() const { |
568 | return HasSideEffects; |
569 | } |
570 | }; |
571 | |
572 | |
573 | struct EvalResult : EvalStatus { |
574 | |
575 | APValue Val; |
576 | |
577 | |
578 | |
579 | bool isGlobalLValue() const; |
580 | }; |
581 | |
582 | |
583 | |
584 | |
585 | |
586 | |
587 | |
588 | bool EvaluateAsRValue(EvalResult &Result, const ASTContext &Ctx, |
589 | bool InConstantContext = false) const; |
590 | |
591 | |
592 | |
593 | |
594 | |
595 | bool EvaluateAsBooleanCondition(bool &Result, const ASTContext &Ctx) const; |
596 | |
597 | enum SideEffectsKind { |
598 | SE_NoSideEffects, |
599 | SE_AllowUndefinedBehavior, |
600 | |
601 | SE_AllowSideEffects |
602 | }; |
603 | |
604 | |
605 | |
606 | bool EvaluateAsInt(EvalResult &Result, const ASTContext &Ctx, |
607 | SideEffectsKind AllowSideEffects = SE_NoSideEffects) const; |
608 | |
609 | |
610 | |
611 | |
612 | bool |
613 | EvaluateAsFloat(llvm::APFloat &Result, const ASTContext &Ctx, |
614 | SideEffectsKind AllowSideEffects = SE_NoSideEffects) const; |
615 | |
616 | |
617 | |
618 | bool EvaluateAsFixedPoint( |
619 | EvalResult &Result, const ASTContext &Ctx, |
620 | SideEffectsKind AllowSideEffects = SE_NoSideEffects) const; |
621 | |
622 | |
623 | |
624 | bool isEvaluatable(const ASTContext &Ctx, |
625 | SideEffectsKind AllowSideEffects = SE_NoSideEffects) const; |
626 | |
627 | |
628 | |
629 | |
630 | |
631 | |
632 | |
633 | |
634 | bool HasSideEffects(const ASTContext &Ctx, |
635 | bool IncludePossibleEffects = true) const; |
636 | |
637 | |
638 | |
639 | bool hasNonTrivialCall(const ASTContext &Ctx) const; |
640 | |
641 | |
642 | |
643 | |
644 | llvm::APSInt EvaluateKnownConstInt( |
645 | const ASTContext &Ctx, |
646 | SmallVectorImpl<PartialDiagnosticAt> *Diag = nullptr) const; |
647 | |
648 | llvm::APSInt EvaluateKnownConstIntCheckOverflow( |
649 | const ASTContext &Ctx, |
650 | SmallVectorImpl<PartialDiagnosticAt> *Diag = nullptr) const; |
651 | |
652 | void EvaluateForOverflow(const ASTContext &Ctx) const; |
653 | |
654 | |
655 | |
656 | bool EvaluateAsLValue(EvalResult &Result, const ASTContext &Ctx) const; |
657 | |
658 | |
659 | |
660 | |
661 | |
662 | bool EvaluateAsInitializer(APValue &Result, const ASTContext &Ctx, |
663 | const VarDecl *VD, |
664 | SmallVectorImpl<PartialDiagnosticAt> &Notes) const; |
665 | |
666 | |
667 | |
668 | |
669 | |
670 | bool EvaluateWithSubstitution(APValue &Value, ASTContext &Ctx, |
671 | const FunctionDecl *Callee, |
672 | ArrayRef<const Expr*> Args, |
673 | const Expr *This = nullptr) const; |
674 | |
675 | |
676 | enum ConstExprUsage { EvaluateForCodeGen, EvaluateForMangling }; |
677 | |
678 | |
679 | bool EvaluateAsConstantExpr(EvalResult &Result, ConstExprUsage Usage, |
680 | const ASTContext &Ctx) const; |
681 | |
682 | |
683 | |
684 | |
685 | |
686 | |
687 | |
688 | |
689 | bool tryEvaluateObjectSize(uint64_t &Result, ASTContext &Ctx, |
690 | unsigned Type) const; |
691 | |
692 | |
693 | |
694 | enum NullPointerConstantKind { |
695 | |
696 | NPCK_NotNull = 0, |
697 | |
698 | |
699 | |
700 | |
701 | |
702 | |
703 | NPCK_ZeroExpression, |
704 | |
705 | |
706 | NPCK_ZeroLiteral, |
707 | |
708 | |
709 | NPCK_CXX11_nullptr, |
710 | |
711 | |
712 | NPCK_GNUNull |
713 | }; |
714 | |
715 | |
716 | |
717 | enum NullPointerConstantValueDependence { |
718 | |
719 | NPC_NeverValueDependent = 0, |
720 | |
721 | |
722 | |
723 | NPC_ValueDependentIsNull, |
724 | |
725 | |
726 | |
727 | NPC_ValueDependentIsNotNull |
728 | }; |
729 | |
730 | |
731 | |
732 | |
733 | NullPointerConstantKind isNullPointerConstant( |
734 | ASTContext &Ctx, |
735 | NullPointerConstantValueDependence NPC) const; |
736 | |
737 | |
738 | |
739 | bool isOBJCGCCandidate(ASTContext &Ctx) const; |
740 | |
741 | |
742 | bool isBoundMemberFunction(ASTContext &Ctx) const; |
743 | |
744 | |
745 | |
746 | |
747 | static QualType findBoundMemberType(const Expr *expr); |
748 | |
749 | |
750 | |
751 | |
752 | |
753 | Expr *IgnoreImpCasts() LLVM_READONLY; |
754 | const Expr *IgnoreImpCasts() const { |
755 | return const_cast<Expr *>(this)->IgnoreImpCasts(); |
756 | } |
757 | |
758 | |
759 | |
760 | |
761 | |
762 | |
763 | |
764 | Expr *IgnoreCasts() LLVM_READONLY; |
765 | const Expr *IgnoreCasts() const { |
766 | return const_cast<Expr *>(this)->IgnoreCasts(); |
767 | } |
768 | |
769 | |
770 | |
771 | |
772 | |
773 | |
774 | Expr *IgnoreImplicit() LLVM_READONLY; |
775 | const Expr *IgnoreImplicit() const { |
776 | return const_cast<Expr *>(this)->IgnoreImplicit(); |
777 | } |
778 | |
779 | |
780 | |
781 | |
782 | |
783 | |
784 | |
785 | |
786 | Expr *IgnoreParens() LLVM_READONLY; |
787 | const Expr *IgnoreParens() const { |
788 | return const_cast<Expr *>(this)->IgnoreParens(); |
789 | } |
790 | |
791 | |
792 | |
793 | |
794 | |
795 | |
796 | |
797 | |
798 | |
799 | |
800 | Expr *IgnoreParenImpCasts() LLVM_READONLY; |
801 | const Expr *IgnoreParenImpCasts() const { |
802 | return const_cast<Expr *>(this)->IgnoreParenImpCasts(); |
803 | } |
804 | |
805 | |
806 | |
807 | |
808 | |
809 | Expr *IgnoreParenCasts() LLVM_READONLY; |
810 | const Expr *IgnoreParenCasts() const { |
811 | return const_cast<Expr *>(this)->IgnoreParenCasts(); |
812 | } |
813 | |
814 | |
815 | |
816 | Expr *IgnoreConversionOperator() LLVM_READONLY; |
817 | const Expr *IgnoreConversionOperator() const { |
818 | return const_cast<Expr *>(this)->IgnoreConversionOperator(); |
819 | } |
820 | |
821 | |
822 | |
823 | |
824 | |
825 | |
826 | |
827 | |
828 | |
829 | Expr *IgnoreParenLValueCasts() LLVM_READONLY; |
830 | const Expr *IgnoreParenLValueCasts() const { |
831 | return const_cast<Expr *>(this)->IgnoreParenLValueCasts(); |
832 | } |
833 | |
834 | |
835 | |
836 | |
837 | |
838 | |
839 | |
840 | Expr *IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY; |
841 | const Expr *IgnoreParenNoopCasts(const ASTContext &Ctx) const { |
842 | return const_cast<Expr *>(this)->IgnoreParenNoopCasts(Ctx); |
843 | } |
844 | |
845 | |
846 | |
847 | |
848 | |
849 | |
850 | Expr *ignoreParenBaseCasts() LLVM_READONLY; |
851 | const Expr *ignoreParenBaseCasts() const { |
852 | return const_cast<Expr *>(this)->ignoreParenBaseCasts(); |
853 | } |
854 | |
855 | |
856 | |
857 | |
858 | |
859 | |
860 | |
861 | |
862 | bool isDefaultArgument() const; |
863 | |
864 | |
865 | |
866 | bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const; |
867 | |
868 | |
869 | bool isImplicitCXXThis() const; |
870 | |
871 | static bool hasAnyTypeDependentArguments(ArrayRef<Expr *> Exprs); |
872 | |
873 | |
874 | |
875 | |
876 | |
877 | |
878 | |
879 | |
880 | const CXXRecordDecl *getBestDynamicClassType() const; |
881 | |
882 | |
883 | |
884 | |
885 | const Expr *getBestDynamicClassTypeExpr() const; |
886 | |
887 | |
888 | |
889 | |
890 | const Expr *skipRValueSubobjectAdjustments( |
891 | SmallVectorImpl<const Expr *> &CommaLHS, |
892 | SmallVectorImpl<SubobjectAdjustment> &Adjustments) const; |
893 | const Expr *skipRValueSubobjectAdjustments() const { |
894 | SmallVector<const Expr *, 8> CommaLHSs; |
895 | SmallVector<SubobjectAdjustment, 8> Adjustments; |
896 | return skipRValueSubobjectAdjustments(CommaLHSs, Adjustments); |
897 | } |
898 | |
899 | static bool classof(const Stmt *T) { |
900 | return T->getStmtClass() >= firstExprConstant && |
901 | T->getStmtClass() <= lastExprConstant; |
902 | } |
903 | }; |
904 | |
905 | |
906 | |
907 | |
908 | |
909 | |
910 | class FullExpr : public Expr { |
911 | protected: |
912 | Stmt *SubExpr; |
913 | |
914 | FullExpr(StmtClass SC, Expr *subexpr) |
915 | : Expr(SC, subexpr->getType(), |
916 | subexpr->getValueKind(), subexpr->getObjectKind(), |
917 | subexpr->isTypeDependent(), subexpr->isValueDependent(), |
918 | subexpr->isInstantiationDependent(), |
919 | subexpr->containsUnexpandedParameterPack()), SubExpr(subexpr) {} |
920 | FullExpr(StmtClass SC, EmptyShell Empty) |
921 | : Expr(SC, Empty) {} |
922 | public: |
923 | const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } |
924 | Expr *getSubExpr() { return cast<Expr>(SubExpr); } |
925 | |
926 | |
927 | |
928 | void setSubExpr(Expr *E) { SubExpr = E; } |
929 | |
930 | static bool classof(const Stmt *T) { |
931 | return T->getStmtClass() >= firstFullExprConstant && |
932 | T->getStmtClass() <= lastFullExprConstant; |
933 | } |
934 | }; |
935 | |
936 | |
937 | class ConstantExpr : public FullExpr { |
938 | ConstantExpr(Expr *subexpr) |
939 | : FullExpr(ConstantExprClass, subexpr) {} |
940 | |
941 | public: |
942 | static ConstantExpr *Create(const ASTContext &Context, Expr *E) { |
943 | (E)", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 943, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(!isa<ConstantExpr>(E)); |
944 | return new (Context) ConstantExpr(E); |
945 | } |
946 | |
947 | |
948 | explicit ConstantExpr(EmptyShell Empty) |
949 | : FullExpr(ConstantExprClass, Empty) {} |
950 | |
951 | SourceLocation getBeginLoc() const LLVM_READONLY { |
952 | return SubExpr->getBeginLoc(); |
953 | } |
954 | SourceLocation getEndLoc() const LLVM_READONLY { |
955 | return SubExpr->getEndLoc(); |
956 | } |
957 | |
958 | static bool classof(const Stmt *T) { |
959 | return T->getStmtClass() == ConstantExprClass; |
960 | } |
961 | |
962 | |
963 | child_range children() { return child_range(&SubExpr, &SubExpr+1); } |
964 | const_child_range children() const { |
965 | return const_child_range(&SubExpr, &SubExpr + 1); |
966 | } |
967 | }; |
968 | |
969 | |
970 | |
971 | |
972 | |
973 | |
974 | |
975 | |
976 | |
977 | |
978 | class OpaqueValueExpr : public Expr { |
979 | friend class ASTStmtReader; |
980 | Expr *SourceExpr; |
981 | |
982 | public: |
983 | OpaqueValueExpr(SourceLocation Loc, QualType T, ExprValueKind VK, |
984 | ExprObjectKind OK = OK_Ordinary, |
985 | Expr *SourceExpr = nullptr) |
986 | : Expr(OpaqueValueExprClass, T, VK, OK, |
987 | T->isDependentType() || |
988 | (SourceExpr && SourceExpr->isTypeDependent()), |
989 | T->isDependentType() || |
990 | (SourceExpr && SourceExpr->isValueDependent()), |
991 | T->isInstantiationDependentType() || |
992 | (SourceExpr && SourceExpr->isInstantiationDependent()), |
993 | false), |
994 | SourceExpr(SourceExpr) { |
995 | setIsUnique(false); |
996 | OpaqueValueExprBits.Loc = Loc; |
997 | } |
998 | |
999 | |
1000 | |
1001 | |
1002 | static const OpaqueValueExpr *findInCopyConstruct(const Expr *expr); |
1003 | |
1004 | explicit OpaqueValueExpr(EmptyShell Empty) |
1005 | : Expr(OpaqueValueExprClass, Empty) {} |
1006 | |
1007 | |
1008 | SourceLocation getLocation() const { return OpaqueValueExprBits.Loc; } |
1009 | |
1010 | SourceLocation getBeginLoc() const LLVM_READONLY { |
1011 | return SourceExpr ? SourceExpr->getBeginLoc() : getLocation(); |
1012 | } |
1013 | SourceLocation getEndLoc() const LLVM_READONLY { |
1014 | return SourceExpr ? SourceExpr->getEndLoc() : getLocation(); |
1015 | } |
1016 | SourceLocation getExprLoc() const LLVM_READONLY { |
1017 | return SourceExpr ? SourceExpr->getExprLoc() : getLocation(); |
1018 | } |
1019 | |
1020 | child_range children() { |
1021 | return child_range(child_iterator(), child_iterator()); |
1022 | } |
1023 | |
1024 | const_child_range children() const { |
1025 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1026 | } |
1027 | |
1028 | |
1029 | |
1030 | |
1031 | |
1032 | |
1033 | |
1034 | |
1035 | |
1036 | Expr *getSourceExpr() const { return SourceExpr; } |
1037 | |
1038 | void setIsUnique(bool V) { |
1039 | (0) . __assert_fail ("(!V || SourceExpr) && \"unique OVEs are expected to have source expressions\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1040, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((!V || SourceExpr) && |
1040 | (0) . __assert_fail ("(!V || SourceExpr) && \"unique OVEs are expected to have source expressions\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1040, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "unique OVEs are expected to have source expressions"); |
1041 | OpaqueValueExprBits.IsUnique = V; |
1042 | } |
1043 | |
1044 | bool isUnique() const { return OpaqueValueExprBits.IsUnique; } |
1045 | |
1046 | static bool classof(const Stmt *T) { |
1047 | return T->getStmtClass() == OpaqueValueExprClass; |
1048 | } |
1049 | }; |
1050 | |
1051 | |
1052 | |
1053 | |
1054 | |
1055 | |
1056 | |
1057 | |
1058 | |
1059 | |
1060 | |
1061 | |
1062 | |
1063 | |
1064 | |
1065 | |
1066 | |
1067 | |
1068 | |
1069 | |
1070 | |
1071 | |
1072 | |
1073 | |
1074 | class DeclRefExpr final |
1075 | : public Expr, |
1076 | private llvm::TrailingObjects<DeclRefExpr, NestedNameSpecifierLoc, |
1077 | NamedDecl *, ASTTemplateKWAndArgsInfo, |
1078 | TemplateArgumentLoc> { |
1079 | friend class ASTStmtReader; |
1080 | friend class ASTStmtWriter; |
1081 | friend TrailingObjects; |
1082 | |
1083 | |
1084 | ValueDecl *D; |
1085 | |
1086 | |
1087 | |
1088 | DeclarationNameLoc DNLoc; |
1089 | |
1090 | size_t numTrailingObjects(OverloadToken<NestedNameSpecifierLoc>) const { |
1091 | return hasQualifier(); |
1092 | } |
1093 | |
1094 | size_t numTrailingObjects(OverloadToken<NamedDecl *>) const { |
1095 | return hasFoundDecl(); |
1096 | } |
1097 | |
1098 | size_t numTrailingObjects(OverloadToken<ASTTemplateKWAndArgsInfo>) const { |
1099 | return hasTemplateKWAndArgsInfo(); |
1100 | } |
1101 | |
1102 | |
1103 | |
1104 | bool hasFoundDecl() const { return DeclRefExprBits.HasFoundDecl; } |
1105 | |
1106 | DeclRefExpr(const ASTContext &Ctx, NestedNameSpecifierLoc QualifierLoc, |
1107 | SourceLocation TemplateKWLoc, ValueDecl *D, |
1108 | bool RefersToEnlosingVariableOrCapture, |
1109 | const DeclarationNameInfo &NameInfo, NamedDecl *FoundD, |
1110 | const TemplateArgumentListInfo *TemplateArgs, QualType T, |
1111 | ExprValueKind VK); |
1112 | |
1113 | |
1114 | explicit DeclRefExpr(EmptyShell Empty) : Expr(DeclRefExprClass, Empty) {} |
1115 | |
1116 | |
1117 | |
1118 | void computeDependence(const ASTContext &Ctx); |
1119 | |
1120 | public: |
1121 | DeclRefExpr(const ASTContext &Ctx, ValueDecl *D, |
1122 | bool RefersToEnclosingVariableOrCapture, QualType T, |
1123 | ExprValueKind VK, SourceLocation L, |
1124 | const DeclarationNameLoc &LocInfo = DeclarationNameLoc()); |
1125 | |
1126 | static DeclRefExpr * |
1127 | Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc, |
1128 | SourceLocation TemplateKWLoc, ValueDecl *D, |
1129 | bool RefersToEnclosingVariableOrCapture, SourceLocation NameLoc, |
1130 | QualType T, ExprValueKind VK, NamedDecl *FoundD = nullptr, |
1131 | const TemplateArgumentListInfo *TemplateArgs = nullptr); |
1132 | |
1133 | static DeclRefExpr * |
1134 | Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc, |
1135 | SourceLocation TemplateKWLoc, ValueDecl *D, |
1136 | bool RefersToEnclosingVariableOrCapture, |
1137 | const DeclarationNameInfo &NameInfo, QualType T, ExprValueKind VK, |
1138 | NamedDecl *FoundD = nullptr, |
1139 | const TemplateArgumentListInfo *TemplateArgs = nullptr); |
1140 | |
1141 | |
1142 | static DeclRefExpr *CreateEmpty(const ASTContext &Context, bool HasQualifier, |
1143 | bool HasFoundDecl, |
1144 | bool HasTemplateKWAndArgsInfo, |
1145 | unsigned NumTemplateArgs); |
1146 | |
1147 | ValueDecl *getDecl() { return D; } |
1148 | const ValueDecl *getDecl() const { return D; } |
1149 | void setDecl(ValueDecl *NewD) { D = NewD; } |
1150 | |
1151 | DeclarationNameInfo getNameInfo() const { |
1152 | return DeclarationNameInfo(getDecl()->getDeclName(), getLocation(), DNLoc); |
1153 | } |
1154 | |
1155 | SourceLocation getLocation() const { return DeclRefExprBits.Loc; } |
1156 | void setLocation(SourceLocation L) { DeclRefExprBits.Loc = L; } |
1157 | SourceLocation getBeginLoc() const LLVM_READONLY; |
1158 | SourceLocation getEndLoc() const LLVM_READONLY; |
1159 | |
1160 | |
1161 | |
1162 | bool hasQualifier() const { return DeclRefExprBits.HasQualifier; } |
1163 | |
1164 | |
1165 | |
1166 | NestedNameSpecifierLoc getQualifierLoc() const { |
1167 | if (!hasQualifier()) |
1168 | return NestedNameSpecifierLoc(); |
1169 | return *getTrailingObjects<NestedNameSpecifierLoc>(); |
1170 | } |
1171 | |
1172 | |
1173 | |
1174 | NestedNameSpecifier *getQualifier() const { |
1175 | return getQualifierLoc().getNestedNameSpecifier(); |
1176 | } |
1177 | |
1178 | |
1179 | |
1180 | |
1181 | |
1182 | |
1183 | |
1184 | NamedDecl *getFoundDecl() { |
1185 | return hasFoundDecl() ? *getTrailingObjects<NamedDecl *>() : D; |
1186 | } |
1187 | |
1188 | |
1189 | |
1190 | const NamedDecl *getFoundDecl() const { |
1191 | return hasFoundDecl() ? *getTrailingObjects<NamedDecl *>() : D; |
1192 | } |
1193 | |
1194 | bool hasTemplateKWAndArgsInfo() const { |
1195 | return DeclRefExprBits.HasTemplateKWAndArgsInfo; |
1196 | } |
1197 | |
1198 | |
1199 | |
1200 | SourceLocation getTemplateKeywordLoc() const { |
1201 | if (!hasTemplateKWAndArgsInfo()) |
1202 | return SourceLocation(); |
1203 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->TemplateKWLoc; |
1204 | } |
1205 | |
1206 | |
1207 | |
1208 | SourceLocation getLAngleLoc() const { |
1209 | if (!hasTemplateKWAndArgsInfo()) |
1210 | return SourceLocation(); |
1211 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->LAngleLoc; |
1212 | } |
1213 | |
1214 | |
1215 | |
1216 | SourceLocation getRAngleLoc() const { |
1217 | if (!hasTemplateKWAndArgsInfo()) |
1218 | return SourceLocation(); |
1219 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->RAngleLoc; |
1220 | } |
1221 | |
1222 | |
1223 | |
1224 | bool hasTemplateKeyword() const { return getTemplateKeywordLoc().isValid(); } |
1225 | |
1226 | |
1227 | |
1228 | bool hasExplicitTemplateArgs() const { return getLAngleLoc().isValid(); } |
1229 | |
1230 | |
1231 | |
1232 | void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { |
1233 | if (hasExplicitTemplateArgs()) |
1234 | getTrailingObjects<ASTTemplateKWAndArgsInfo>()->copyInto( |
1235 | getTrailingObjects<TemplateArgumentLoc>(), List); |
1236 | } |
1237 | |
1238 | |
1239 | |
1240 | const TemplateArgumentLoc *getTemplateArgs() const { |
1241 | if (!hasExplicitTemplateArgs()) |
1242 | return nullptr; |
1243 | return getTrailingObjects<TemplateArgumentLoc>(); |
1244 | } |
1245 | |
1246 | |
1247 | |
1248 | unsigned getNumTemplateArgs() const { |
1249 | if (!hasExplicitTemplateArgs()) |
1250 | return 0; |
1251 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->NumTemplateArgs; |
1252 | } |
1253 | |
1254 | ArrayRef<TemplateArgumentLoc> template_arguments() const { |
1255 | return {getTemplateArgs(), getNumTemplateArgs()}; |
1256 | } |
1257 | |
1258 | |
1259 | |
1260 | bool hadMultipleCandidates() const { |
1261 | return DeclRefExprBits.HadMultipleCandidates; |
1262 | } |
1263 | |
1264 | |
1265 | |
1266 | void setHadMultipleCandidates(bool V = true) { |
1267 | DeclRefExprBits.HadMultipleCandidates = V; |
1268 | } |
1269 | |
1270 | |
1271 | |
1272 | bool refersToEnclosingVariableOrCapture() const { |
1273 | return DeclRefExprBits.RefersToEnclosingVariableOrCapture; |
1274 | } |
1275 | |
1276 | static bool classof(const Stmt *T) { |
1277 | return T->getStmtClass() == DeclRefExprClass; |
1278 | } |
1279 | |
1280 | |
1281 | child_range children() { |
1282 | return child_range(child_iterator(), child_iterator()); |
1283 | } |
1284 | |
1285 | const_child_range children() const { |
1286 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1287 | } |
1288 | }; |
1289 | |
1290 | |
1291 | |
1292 | |
1293 | |
1294 | |
1295 | |
1296 | |
1297 | |
1298 | class APNumericStorage { |
1299 | union { |
1300 | uint64_t VAL; |
1301 | uint64_t *pVal; |
1302 | }; |
1303 | unsigned BitWidth; |
1304 | |
1305 | bool hasAllocation() const { return llvm::APInt::getNumWords(BitWidth) > 1; } |
1306 | |
1307 | APNumericStorage(const APNumericStorage &) = delete; |
1308 | void operator=(const APNumericStorage &) = delete; |
1309 | |
1310 | protected: |
1311 | APNumericStorage() : VAL(0), BitWidth(0) { } |
1312 | |
1313 | llvm::APInt getIntValue() const { |
1314 | unsigned NumWords = llvm::APInt::getNumWords(BitWidth); |
1315 | if (NumWords > 1) |
1316 | return llvm::APInt(BitWidth, NumWords, pVal); |
1317 | else |
1318 | return llvm::APInt(BitWidth, VAL); |
1319 | } |
1320 | void setIntValue(const ASTContext &C, const llvm::APInt &Val); |
1321 | }; |
1322 | |
1323 | class APIntStorage : private APNumericStorage { |
1324 | public: |
1325 | llvm::APInt getValue() const { return getIntValue(); } |
1326 | void setValue(const ASTContext &C, const llvm::APInt &Val) { |
1327 | setIntValue(C, Val); |
1328 | } |
1329 | }; |
1330 | |
1331 | class APFloatStorage : private APNumericStorage { |
1332 | public: |
1333 | llvm::APFloat getValue(const llvm::fltSemantics &Semantics) const { |
1334 | return llvm::APFloat(Semantics, getIntValue()); |
1335 | } |
1336 | void setValue(const ASTContext &C, const llvm::APFloat &Val) { |
1337 | setIntValue(C, Val.bitcastToAPInt()); |
1338 | } |
1339 | }; |
1340 | |
1341 | class IntegerLiteral : public Expr, public APIntStorage { |
1342 | SourceLocation Loc; |
1343 | |
1344 | |
1345 | explicit IntegerLiteral(EmptyShell Empty) |
1346 | : Expr(IntegerLiteralClass, Empty) { } |
1347 | |
1348 | public: |
1349 | |
1350 | |
1351 | IntegerLiteral(const ASTContext &C, const llvm::APInt &V, QualType type, |
1352 | SourceLocation l); |
1353 | |
1354 | |
1355 | |
1356 | |
1357 | |
1358 | static IntegerLiteral *Create(const ASTContext &C, const llvm::APInt &V, |
1359 | QualType type, SourceLocation l); |
1360 | |
1361 | static IntegerLiteral *Create(const ASTContext &C, EmptyShell Empty); |
1362 | |
1363 | SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; } |
1364 | SourceLocation getEndLoc() const LLVM_READONLY { return Loc; } |
1365 | |
1366 | |
1367 | SourceLocation getLocation() const { return Loc; } |
1368 | |
1369 | void setLocation(SourceLocation Location) { Loc = Location; } |
1370 | |
1371 | static bool classof(const Stmt *T) { |
1372 | return T->getStmtClass() == IntegerLiteralClass; |
1373 | } |
1374 | |
1375 | |
1376 | child_range children() { |
1377 | return child_range(child_iterator(), child_iterator()); |
1378 | } |
1379 | const_child_range children() const { |
1380 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1381 | } |
1382 | }; |
1383 | |
1384 | class FixedPointLiteral : public Expr, public APIntStorage { |
1385 | SourceLocation Loc; |
1386 | unsigned Scale; |
1387 | |
1388 | |
1389 | explicit FixedPointLiteral(EmptyShell Empty) |
1390 | : Expr(FixedPointLiteralClass, Empty) {} |
1391 | |
1392 | public: |
1393 | FixedPointLiteral(const ASTContext &C, const llvm::APInt &V, QualType type, |
1394 | SourceLocation l, unsigned Scale); |
1395 | |
1396 | |
1397 | static FixedPointLiteral *CreateFromRawInt(const ASTContext &C, |
1398 | const llvm::APInt &V, |
1399 | QualType type, SourceLocation l, |
1400 | unsigned Scale); |
1401 | |
1402 | SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; } |
1403 | SourceLocation getEndLoc() const LLVM_READONLY { return Loc; } |
1404 | |
1405 | |
1406 | SourceLocation getLocation() const { return Loc; } |
1407 | |
1408 | void setLocation(SourceLocation Location) { Loc = Location; } |
1409 | |
1410 | static bool classof(const Stmt *T) { |
1411 | return T->getStmtClass() == FixedPointLiteralClass; |
1412 | } |
1413 | |
1414 | std::string getValueAsString(unsigned Radix) const; |
1415 | |
1416 | |
1417 | child_range children() { |
1418 | return child_range(child_iterator(), child_iterator()); |
1419 | } |
1420 | const_child_range children() const { |
1421 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1422 | } |
1423 | }; |
1424 | |
1425 | class CharacterLiteral : public Expr { |
1426 | public: |
1427 | enum CharacterKind { |
1428 | Ascii, |
1429 | Wide, |
1430 | UTF8, |
1431 | UTF16, |
1432 | UTF32 |
1433 | }; |
1434 | |
1435 | private: |
1436 | unsigned Value; |
1437 | SourceLocation Loc; |
1438 | public: |
1439 | |
1440 | CharacterLiteral(unsigned value, CharacterKind kind, QualType type, |
1441 | SourceLocation l) |
1442 | : Expr(CharacterLiteralClass, type, VK_RValue, OK_Ordinary, false, false, |
1443 | false, false), |
1444 | Value(value), Loc(l) { |
1445 | CharacterLiteralBits.Kind = kind; |
1446 | } |
1447 | |
1448 | |
1449 | CharacterLiteral(EmptyShell Empty) : Expr(CharacterLiteralClass, Empty) { } |
1450 | |
1451 | SourceLocation getLocation() const { return Loc; } |
1452 | CharacterKind getKind() const { |
1453 | return static_cast<CharacterKind>(CharacterLiteralBits.Kind); |
1454 | } |
1455 | |
1456 | SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; } |
1457 | SourceLocation getEndLoc() const LLVM_READONLY { return Loc; } |
1458 | |
1459 | unsigned getValue() const { return Value; } |
1460 | |
1461 | void setLocation(SourceLocation Location) { Loc = Location; } |
1462 | void setKind(CharacterKind kind) { CharacterLiteralBits.Kind = kind; } |
1463 | void setValue(unsigned Val) { Value = Val; } |
1464 | |
1465 | static bool classof(const Stmt *T) { |
1466 | return T->getStmtClass() == CharacterLiteralClass; |
1467 | } |
1468 | |
1469 | |
1470 | child_range children() { |
1471 | return child_range(child_iterator(), child_iterator()); |
1472 | } |
1473 | const_child_range children() const { |
1474 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1475 | } |
1476 | }; |
1477 | |
1478 | class FloatingLiteral : public Expr, private APFloatStorage { |
1479 | SourceLocation Loc; |
1480 | |
1481 | FloatingLiteral(const ASTContext &C, const llvm::APFloat &V, bool isexact, |
1482 | QualType Type, SourceLocation L); |
1483 | |
1484 | |
1485 | explicit FloatingLiteral(const ASTContext &C, EmptyShell Empty); |
1486 | |
1487 | public: |
1488 | static FloatingLiteral *Create(const ASTContext &C, const llvm::APFloat &V, |
1489 | bool isexact, QualType Type, SourceLocation L); |
1490 | static FloatingLiteral *Create(const ASTContext &C, EmptyShell Empty); |
1491 | |
1492 | llvm::APFloat getValue() const { |
1493 | return APFloatStorage::getValue(getSemantics()); |
1494 | } |
1495 | void setValue(const ASTContext &C, const llvm::APFloat &Val) { |
1496 | (0) . __assert_fail ("&getSemantics() == &Val.getSemantics() && \"Inconsistent semantics\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1496, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(&getSemantics() == &Val.getSemantics() && "Inconsistent semantics"); |
1497 | APFloatStorage::setValue(C, Val); |
1498 | } |
1499 | |
1500 | |
1501 | |
1502 | APFloatSemantics getRawSemantics() const { |
1503 | return static_cast<APFloatSemantics>(FloatingLiteralBits.Semantics); |
1504 | } |
1505 | |
1506 | |
1507 | |
1508 | void setRawSemantics(APFloatSemantics Sem) { |
1509 | FloatingLiteralBits.Semantics = Sem; |
1510 | } |
1511 | |
1512 | |
1513 | const llvm::fltSemantics &getSemantics() const; |
1514 | |
1515 | |
1516 | void setSemantics(const llvm::fltSemantics &Sem); |
1517 | |
1518 | bool isExact() const { return FloatingLiteralBits.IsExact; } |
1519 | void setExact(bool E) { FloatingLiteralBits.IsExact = E; } |
1520 | |
1521 | |
1522 | |
1523 | |
1524 | double getValueAsApproximateDouble() const; |
1525 | |
1526 | SourceLocation getLocation() const { return Loc; } |
1527 | void setLocation(SourceLocation L) { Loc = L; } |
1528 | |
1529 | SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; } |
1530 | SourceLocation getEndLoc() const LLVM_READONLY { return Loc; } |
1531 | |
1532 | static bool classof(const Stmt *T) { |
1533 | return T->getStmtClass() == FloatingLiteralClass; |
1534 | } |
1535 | |
1536 | |
1537 | child_range children() { |
1538 | return child_range(child_iterator(), child_iterator()); |
1539 | } |
1540 | const_child_range children() const { |
1541 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1542 | } |
1543 | }; |
1544 | |
1545 | |
1546 | |
1547 | |
1548 | |
1549 | |
1550 | class ImaginaryLiteral : public Expr { |
1551 | Stmt *Val; |
1552 | public: |
1553 | ImaginaryLiteral(Expr *val, QualType Ty) |
1554 | : Expr(ImaginaryLiteralClass, Ty, VK_RValue, OK_Ordinary, false, false, |
1555 | false, false), |
1556 | Val(val) {} |
1557 | |
1558 | |
1559 | explicit ImaginaryLiteral(EmptyShell Empty) |
1560 | : Expr(ImaginaryLiteralClass, Empty) { } |
1561 | |
1562 | const Expr *getSubExpr() const { return cast<Expr>(Val); } |
1563 | Expr *getSubExpr() { return cast<Expr>(Val); } |
1564 | void setSubExpr(Expr *E) { Val = E; } |
1565 | |
1566 | SourceLocation getBeginLoc() const LLVM_READONLY { |
1567 | return Val->getBeginLoc(); |
1568 | } |
1569 | SourceLocation getEndLoc() const LLVM_READONLY { return Val->getEndLoc(); } |
1570 | |
1571 | static bool classof(const Stmt *T) { |
1572 | return T->getStmtClass() == ImaginaryLiteralClass; |
1573 | } |
1574 | |
1575 | |
1576 | child_range children() { return child_range(&Val, &Val+1); } |
1577 | const_child_range children() const { |
1578 | return const_child_range(&Val, &Val + 1); |
1579 | } |
1580 | }; |
1581 | |
1582 | |
1583 | |
1584 | |
1585 | |
1586 | |
1587 | |
1588 | |
1589 | |
1590 | |
1591 | |
1592 | |
1593 | |
1594 | |
1595 | |
1596 | |
1597 | |
1598 | |
1599 | class StringLiteral final |
1600 | : public Expr, |
1601 | private llvm::TrailingObjects<StringLiteral, unsigned, SourceLocation, |
1602 | char> { |
1603 | friend class ASTStmtReader; |
1604 | friend TrailingObjects; |
1605 | |
1606 | |
1607 | |
1608 | |
1609 | |
1610 | |
1611 | |
1612 | |
1613 | |
1614 | |
1615 | |
1616 | |
1617 | |
1618 | |
1619 | |
1620 | public: |
1621 | enum StringKind { Ascii, Wide, UTF8, UTF16, UTF32 }; |
1622 | |
1623 | private: |
1624 | unsigned numTrailingObjects(OverloadToken<unsigned>) const { return 1; } |
1625 | unsigned numTrailingObjects(OverloadToken<SourceLocation>) const { |
1626 | return getNumConcatenated(); |
1627 | } |
1628 | |
1629 | unsigned numTrailingObjects(OverloadToken<char>) const { |
1630 | return getByteLength(); |
1631 | } |
1632 | |
1633 | char *getStrDataAsChar() { return getTrailingObjects<char>(); } |
1634 | const char *getStrDataAsChar() const { return getTrailingObjects<char>(); } |
1635 | |
1636 | const uint16_t *getStrDataAsUInt16() const { |
1637 | return reinterpret_cast<const uint16_t *>(getTrailingObjects<char>()); |
1638 | } |
1639 | |
1640 | const uint32_t *getStrDataAsUInt32() const { |
1641 | return reinterpret_cast<const uint32_t *>(getTrailingObjects<char>()); |
1642 | } |
1643 | |
1644 | |
1645 | StringLiteral(const ASTContext &Ctx, StringRef Str, StringKind Kind, |
1646 | bool Pascal, QualType Ty, const SourceLocation *Loc, |
1647 | unsigned NumConcatenated); |
1648 | |
1649 | |
1650 | StringLiteral(EmptyShell Empty, unsigned NumConcatenated, unsigned Length, |
1651 | unsigned CharByteWidth); |
1652 | |
1653 | |
1654 | static unsigned mapCharByteWidth(TargetInfo const &Target, StringKind SK); |
1655 | |
1656 | |
1657 | void setStrTokenLoc(unsigned TokNum, SourceLocation L) { |
1658 | (0) . __assert_fail ("TokNum < getNumConcatenated() && \"Invalid tok number\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1658, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(TokNum < getNumConcatenated() && "Invalid tok number"); |
1659 | getTrailingObjects<SourceLocation>()[TokNum] = L; |
1660 | } |
1661 | |
1662 | public: |
1663 | |
1664 | |
1665 | static StringLiteral *Create(const ASTContext &Ctx, StringRef Str, |
1666 | StringKind Kind, bool Pascal, QualType Ty, |
1667 | const SourceLocation *Loc, |
1668 | unsigned NumConcatenated); |
1669 | |
1670 | |
1671 | static StringLiteral *Create(const ASTContext &Ctx, StringRef Str, |
1672 | StringKind Kind, bool Pascal, QualType Ty, |
1673 | SourceLocation Loc) { |
1674 | return Create(Ctx, Str, Kind, Pascal, Ty, &Loc, 1); |
1675 | } |
1676 | |
1677 | |
1678 | static StringLiteral *CreateEmpty(const ASTContext &Ctx, |
1679 | unsigned NumConcatenated, unsigned Length, |
1680 | unsigned CharByteWidth); |
1681 | |
1682 | StringRef getString() const { |
1683 | (0) . __assert_fail ("getCharByteWidth() == 1 && \"This function is used in places that assume strings use char\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1684, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(getCharByteWidth() == 1 && |
1684 | (0) . __assert_fail ("getCharByteWidth() == 1 && \"This function is used in places that assume strings use char\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1684, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "This function is used in places that assume strings use char"); |
1685 | return StringRef(getStrDataAsChar(), getByteLength()); |
1686 | } |
1687 | |
1688 | |
1689 | |
1690 | StringRef getBytes() const { |
1691 | |
1692 | return StringRef(getStrDataAsChar(), getByteLength()); |
1693 | } |
1694 | |
1695 | void outputString(raw_ostream &OS) const; |
1696 | |
1697 | uint32_t getCodeUnit(size_t i) const { |
1698 | (0) . __assert_fail ("i < getLength() && \"out of bounds access\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1698, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(i < getLength() && "out of bounds access"); |
1699 | switch (getCharByteWidth()) { |
1700 | case 1: |
1701 | return static_cast<unsigned char>(getStrDataAsChar()[i]); |
1702 | case 2: |
1703 | return getStrDataAsUInt16()[i]; |
1704 | case 4: |
1705 | return getStrDataAsUInt32()[i]; |
1706 | } |
1707 | llvm_unreachable("Unsupported character width!"); |
1708 | } |
1709 | |
1710 | unsigned getByteLength() const { return getCharByteWidth() * getLength(); } |
1711 | unsigned getLength() const { return *getTrailingObjects<unsigned>(); } |
1712 | unsigned getCharByteWidth() const { return StringLiteralBits.CharByteWidth; } |
1713 | |
1714 | StringKind getKind() const { |
1715 | return static_cast<StringKind>(StringLiteralBits.Kind); |
1716 | } |
1717 | |
1718 | bool isAscii() const { return getKind() == Ascii; } |
1719 | bool isWide() const { return getKind() == Wide; } |
1720 | bool isUTF8() const { return getKind() == UTF8; } |
1721 | bool isUTF16() const { return getKind() == UTF16; } |
1722 | bool isUTF32() const { return getKind() == UTF32; } |
1723 | bool isPascal() const { return StringLiteralBits.IsPascal; } |
1724 | |
1725 | bool containsNonAscii() const { |
1726 | for (auto c : getString()) |
1727 | if (!isASCII(c)) |
1728 | return true; |
1729 | return false; |
1730 | } |
1731 | |
1732 | bool containsNonAsciiOrNull() const { |
1733 | for (auto c : getString()) |
1734 | if (!isASCII(c) || !c) |
1735 | return true; |
1736 | return false; |
1737 | } |
1738 | |
1739 | |
1740 | |
1741 | unsigned getNumConcatenated() const { |
1742 | return StringLiteralBits.NumConcatenated; |
1743 | } |
1744 | |
1745 | |
1746 | SourceLocation getStrTokenLoc(unsigned TokNum) const { |
1747 | (0) . __assert_fail ("TokNum < getNumConcatenated() && \"Invalid tok number\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1747, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(TokNum < getNumConcatenated() && "Invalid tok number"); |
1748 | return getTrailingObjects<SourceLocation>()[TokNum]; |
1749 | } |
1750 | |
1751 | |
1752 | |
1753 | |
1754 | |
1755 | |
1756 | |
1757 | |
1758 | SourceLocation |
1759 | getLocationOfByte(unsigned ByteNo, const SourceManager &SM, |
1760 | const LangOptions &Features, const TargetInfo &Target, |
1761 | unsigned *StartToken = nullptr, |
1762 | unsigned *StartTokenByteOffset = nullptr) const; |
1763 | |
1764 | typedef const SourceLocation *tokloc_iterator; |
1765 | |
1766 | tokloc_iterator tokloc_begin() const { |
1767 | return getTrailingObjects<SourceLocation>(); |
1768 | } |
1769 | |
1770 | tokloc_iterator tokloc_end() const { |
1771 | return getTrailingObjects<SourceLocation>() + getNumConcatenated(); |
1772 | } |
1773 | |
1774 | SourceLocation getBeginLoc() const LLVM_READONLY { return *tokloc_begin(); } |
1775 | SourceLocation getEndLoc() const LLVM_READONLY { return *(tokloc_end() - 1); } |
1776 | |
1777 | static bool classof(const Stmt *T) { |
1778 | return T->getStmtClass() == StringLiteralClass; |
1779 | } |
1780 | |
1781 | |
1782 | child_range children() { |
1783 | return child_range(child_iterator(), child_iterator()); |
1784 | } |
1785 | const_child_range children() const { |
1786 | return const_child_range(const_child_iterator(), const_child_iterator()); |
1787 | } |
1788 | }; |
1789 | |
1790 | |
1791 | class PredefinedExpr final |
1792 | : public Expr, |
1793 | private llvm::TrailingObjects<PredefinedExpr, Stmt *> { |
1794 | friend class ASTStmtReader; |
1795 | friend TrailingObjects; |
1796 | |
1797 | |
1798 | |
1799 | |
1800 | |
1801 | public: |
1802 | enum IdentKind { |
1803 | Func, |
1804 | Function, |
1805 | LFunction, |
1806 | FuncDName, |
1807 | FuncSig, |
1808 | LFuncSig, |
1809 | PrettyFunction, |
1810 | |
1811 | |
1812 | PrettyFunctionNoVirtual |
1813 | }; |
1814 | |
1815 | private: |
1816 | PredefinedExpr(SourceLocation L, QualType FNTy, IdentKind IK, |
1817 | StringLiteral *SL); |
1818 | |
1819 | explicit PredefinedExpr(EmptyShell Empty, bool HasFunctionName); |
1820 | |
1821 | |
1822 | bool hasFunctionName() const { return PredefinedExprBits.HasFunctionName; } |
1823 | |
1824 | void setFunctionName(StringLiteral *SL) { |
1825 | (0) . __assert_fail ("hasFunctionName() && \"This PredefinedExpr has no storage for a function name!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1826, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(hasFunctionName() && |
1826 | (0) . __assert_fail ("hasFunctionName() && \"This PredefinedExpr has no storage for a function name!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 1826, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "This PredefinedExpr has no storage for a function name!"); |
1827 | *getTrailingObjects<Stmt *>() = SL; |
1828 | } |
1829 | |
1830 | public: |
1831 | |
1832 | static PredefinedExpr *Create(const ASTContext &Ctx, SourceLocation L, |
1833 | QualType FNTy, IdentKind IK, StringLiteral *SL); |
1834 | |
1835 | |
1836 | static PredefinedExpr *CreateEmpty(const ASTContext &Ctx, |
1837 | bool HasFunctionName); |
1838 | |
1839 | IdentKind getIdentKind() const { |
1840 | return static_cast<IdentKind>(PredefinedExprBits.Kind); |
1841 | } |
1842 | |
1843 | SourceLocation getLocation() const { return PredefinedExprBits.Loc; } |
1844 | void setLocation(SourceLocation L) { PredefinedExprBits.Loc = L; } |
1845 | |
1846 | StringLiteral *getFunctionName() { |
1847 | return hasFunctionName() |
1848 | ? static_cast<StringLiteral *>(*getTrailingObjects<Stmt *>()) |
1849 | : nullptr; |
1850 | } |
1851 | |
1852 | const StringLiteral *getFunctionName() const { |
1853 | return hasFunctionName() |
1854 | ? static_cast<StringLiteral *>(*getTrailingObjects<Stmt *>()) |
1855 | : nullptr; |
1856 | } |
1857 | |
1858 | static StringRef getIdentKindName(IdentKind IK); |
1859 | static std::string ComputeName(IdentKind IK, const Decl *CurrentDecl); |
1860 | |
1861 | SourceLocation getBeginLoc() const { return getLocation(); } |
1862 | SourceLocation getEndLoc() const { return getLocation(); } |
1863 | |
1864 | static bool classof(const Stmt *T) { |
1865 | return T->getStmtClass() == PredefinedExprClass; |
1866 | } |
1867 | |
1868 | |
1869 | child_range children() { |
1870 | return child_range(getTrailingObjects<Stmt *>(), |
1871 | getTrailingObjects<Stmt *>() + hasFunctionName()); |
1872 | } |
1873 | }; |
1874 | |
1875 | |
1876 | |
1877 | class ParenExpr : public Expr { |
1878 | SourceLocation L, R; |
1879 | Stmt *Val; |
1880 | public: |
1881 | ParenExpr(SourceLocation l, SourceLocation r, Expr *val) |
1882 | : Expr(ParenExprClass, val->getType(), |
1883 | val->getValueKind(), val->getObjectKind(), |
1884 | val->isTypeDependent(), val->isValueDependent(), |
1885 | val->isInstantiationDependent(), |
1886 | val->containsUnexpandedParameterPack()), |
1887 | L(l), R(r), Val(val) {} |
1888 | |
1889 | |
1890 | explicit ParenExpr(EmptyShell Empty) |
1891 | : Expr(ParenExprClass, Empty) { } |
1892 | |
1893 | const Expr *getSubExpr() const { return cast<Expr>(Val); } |
1894 | Expr *getSubExpr() { return cast<Expr>(Val); } |
1895 | void setSubExpr(Expr *E) { Val = E; } |
1896 | |
1897 | SourceLocation getBeginLoc() const LLVM_READONLY { return L; } |
1898 | SourceLocation getEndLoc() const LLVM_READONLY { return R; } |
1899 | |
1900 | |
1901 | SourceLocation getLParen() const { return L; } |
1902 | void setLParen(SourceLocation Loc) { L = Loc; } |
1903 | |
1904 | |
1905 | SourceLocation getRParen() const { return R; } |
1906 | void setRParen(SourceLocation Loc) { R = Loc; } |
1907 | |
1908 | static bool classof(const Stmt *T) { |
1909 | return T->getStmtClass() == ParenExprClass; |
1910 | } |
1911 | |
1912 | |
1913 | child_range children() { return child_range(&Val, &Val+1); } |
1914 | const_child_range children() const { |
1915 | return const_child_range(&Val, &Val + 1); |
1916 | } |
1917 | }; |
1918 | |
1919 | |
1920 | |
1921 | |
1922 | |
1923 | |
1924 | |
1925 | |
1926 | |
1927 | |
1928 | |
1929 | class UnaryOperator : public Expr { |
1930 | Stmt *Val; |
1931 | |
1932 | public: |
1933 | typedef UnaryOperatorKind Opcode; |
1934 | |
1935 | UnaryOperator(Expr *input, Opcode opc, QualType type, ExprValueKind VK, |
1936 | ExprObjectKind OK, SourceLocation l, bool CanOverflow) |
1937 | : Expr(UnaryOperatorClass, type, VK, OK, |
1938 | input->isTypeDependent() || type->isDependentType(), |
1939 | input->isValueDependent(), |
1940 | (input->isInstantiationDependent() || |
1941 | type->isInstantiationDependentType()), |
1942 | input->containsUnexpandedParameterPack()), |
1943 | Val(input) { |
1944 | UnaryOperatorBits.Opc = opc; |
1945 | UnaryOperatorBits.CanOverflow = CanOverflow; |
1946 | UnaryOperatorBits.Loc = l; |
1947 | } |
1948 | |
1949 | |
1950 | explicit UnaryOperator(EmptyShell Empty) : Expr(UnaryOperatorClass, Empty) { |
1951 | UnaryOperatorBits.Opc = UO_AddrOf; |
1952 | } |
1953 | |
1954 | Opcode getOpcode() const { |
1955 | return static_cast<Opcode>(UnaryOperatorBits.Opc); |
1956 | } |
1957 | void setOpcode(Opcode Opc) { UnaryOperatorBits.Opc = Opc; } |
1958 | |
1959 | Expr *getSubExpr() const { return cast<Expr>(Val); } |
1960 | void setSubExpr(Expr *E) { Val = E; } |
1961 | |
1962 | |
1963 | SourceLocation getOperatorLoc() const { return UnaryOperatorBits.Loc; } |
1964 | void setOperatorLoc(SourceLocation L) { UnaryOperatorBits.Loc = L; } |
1965 | |
1966 | |
1967 | |
1968 | |
1969 | |
1970 | |
1971 | |
1972 | bool canOverflow() const { return UnaryOperatorBits.CanOverflow; } |
1973 | void setCanOverflow(bool C) { UnaryOperatorBits.CanOverflow = C; } |
1974 | |
1975 | |
1976 | static bool isPostfix(Opcode Op) { |
1977 | return Op == UO_PostInc || Op == UO_PostDec; |
1978 | } |
1979 | |
1980 | |
1981 | static bool isPrefix(Opcode Op) { |
1982 | return Op == UO_PreInc || Op == UO_PreDec; |
1983 | } |
1984 | |
1985 | bool isPrefix() const { return isPrefix(getOpcode()); } |
1986 | bool isPostfix() const { return isPostfix(getOpcode()); } |
1987 | |
1988 | static bool isIncrementOp(Opcode Op) { |
1989 | return Op == UO_PreInc || Op == UO_PostInc; |
1990 | } |
1991 | bool isIncrementOp() const { |
1992 | return isIncrementOp(getOpcode()); |
1993 | } |
1994 | |
1995 | static bool isDecrementOp(Opcode Op) { |
1996 | return Op == UO_PreDec || Op == UO_PostDec; |
1997 | } |
1998 | bool isDecrementOp() const { |
1999 | return isDecrementOp(getOpcode()); |
2000 | } |
2001 | |
2002 | static bool isIncrementDecrementOp(Opcode Op) { return Op <= UO_PreDec; } |
2003 | bool isIncrementDecrementOp() const { |
2004 | return isIncrementDecrementOp(getOpcode()); |
2005 | } |
2006 | |
2007 | static bool isArithmeticOp(Opcode Op) { |
2008 | return Op >= UO_Plus && Op <= UO_LNot; |
2009 | } |
2010 | bool isArithmeticOp() const { return isArithmeticOp(getOpcode()); } |
2011 | |
2012 | |
2013 | |
2014 | static StringRef getOpcodeStr(Opcode Op); |
2015 | |
2016 | |
2017 | |
2018 | static Opcode getOverloadedOpcode(OverloadedOperatorKind OO, bool Postfix); |
2019 | |
2020 | |
2021 | |
2022 | static OverloadedOperatorKind getOverloadedOperator(Opcode Opc); |
2023 | |
2024 | SourceLocation getBeginLoc() const LLVM_READONLY { |
2025 | return isPostfix() ? Val->getBeginLoc() : getOperatorLoc(); |
2026 | } |
2027 | SourceLocation getEndLoc() const LLVM_READONLY { |
2028 | return isPostfix() ? getOperatorLoc() : Val->getEndLoc(); |
2029 | } |
2030 | SourceLocation getExprLoc() const { return getOperatorLoc(); } |
2031 | |
2032 | static bool classof(const Stmt *T) { |
2033 | return T->getStmtClass() == UnaryOperatorClass; |
2034 | } |
2035 | |
2036 | |
2037 | child_range children() { return child_range(&Val, &Val+1); } |
2038 | const_child_range children() const { |
2039 | return const_child_range(&Val, &Val + 1); |
2040 | } |
2041 | }; |
2042 | |
2043 | |
2044 | |
2045 | |
2046 | class OffsetOfNode { |
2047 | public: |
2048 | |
2049 | enum Kind { |
2050 | |
2051 | Array = 0x00, |
2052 | |
2053 | Field = 0x01, |
2054 | |
2055 | Identifier = 0x02, |
2056 | |
2057 | |
2058 | Base = 0x03 |
2059 | }; |
2060 | |
2061 | private: |
2062 | enum { MaskBits = 2, Mask = 0x03 }; |
2063 | |
2064 | |
2065 | SourceRange Range; |
2066 | |
2067 | |
2068 | |
2069 | |
2070 | |
2071 | |
2072 | |
2073 | |
2074 | |
2075 | |
2076 | uintptr_t Data; |
2077 | |
2078 | public: |
2079 | |
2080 | OffsetOfNode(SourceLocation LBracketLoc, unsigned Index, |
2081 | SourceLocation RBracketLoc) |
2082 | : Range(LBracketLoc, RBracketLoc), Data((Index << 2) | Array) {} |
2083 | |
2084 | |
2085 | OffsetOfNode(SourceLocation DotLoc, FieldDecl *Field, SourceLocation NameLoc) |
2086 | : Range(DotLoc.isValid() ? DotLoc : NameLoc, NameLoc), |
2087 | Data(reinterpret_cast<uintptr_t>(Field) | OffsetOfNode::Field) {} |
2088 | |
2089 | |
2090 | OffsetOfNode(SourceLocation DotLoc, IdentifierInfo *Name, |
2091 | SourceLocation NameLoc) |
2092 | : Range(DotLoc.isValid() ? DotLoc : NameLoc, NameLoc), |
2093 | Data(reinterpret_cast<uintptr_t>(Name) | Identifier) {} |
2094 | |
2095 | |
2096 | explicit OffsetOfNode(const CXXBaseSpecifier *Base) |
2097 | : Range(), Data(reinterpret_cast<uintptr_t>(Base) | OffsetOfNode::Base) {} |
2098 | |
2099 | |
2100 | Kind getKind() const { return static_cast<Kind>(Data & Mask); } |
2101 | |
2102 | |
2103 | |
2104 | unsigned getArrayExprIndex() const { |
2105 | assert(getKind() == Array); |
2106 | return Data >> 2; |
2107 | } |
2108 | |
2109 | |
2110 | FieldDecl *getField() const { |
2111 | assert(getKind() == Field); |
2112 | return reinterpret_cast<FieldDecl *>(Data & ~(uintptr_t)Mask); |
2113 | } |
2114 | |
2115 | |
2116 | |
2117 | IdentifierInfo *getFieldName() const; |
2118 | |
2119 | |
2120 | CXXBaseSpecifier *getBase() const { |
2121 | assert(getKind() == Base); |
2122 | return reinterpret_cast<CXXBaseSpecifier *>(Data & ~(uintptr_t)Mask); |
2123 | } |
2124 | |
2125 | |
2126 | |
2127 | |
2128 | |
2129 | |
2130 | |
2131 | SourceRange getSourceRange() const LLVM_READONLY { return Range; } |
2132 | SourceLocation getBeginLoc() const LLVM_READONLY { return Range.getBegin(); } |
2133 | SourceLocation getEndLoc() const LLVM_READONLY { return Range.getEnd(); } |
2134 | }; |
2135 | |
2136 | |
2137 | |
2138 | |
2139 | |
2140 | |
2141 | |
2142 | |
2143 | |
2144 | |
2145 | |
2146 | |
2147 | |
2148 | |
2149 | |
2150 | class OffsetOfExpr final |
2151 | : public Expr, |
2152 | private llvm::TrailingObjects<OffsetOfExpr, OffsetOfNode, Expr *> { |
2153 | SourceLocation OperatorLoc, RParenLoc; |
2154 | |
2155 | TypeSourceInfo *TSInfo; |
2156 | |
2157 | unsigned NumComps; |
2158 | |
2159 | unsigned NumExprs; |
2160 | |
2161 | size_t numTrailingObjects(OverloadToken<OffsetOfNode>) const { |
2162 | return NumComps; |
2163 | } |
2164 | |
2165 | OffsetOfExpr(const ASTContext &C, QualType type, |
2166 | SourceLocation OperatorLoc, TypeSourceInfo *tsi, |
2167 | ArrayRef<OffsetOfNode> comps, ArrayRef<Expr*> exprs, |
2168 | SourceLocation RParenLoc); |
2169 | |
2170 | explicit OffsetOfExpr(unsigned numComps, unsigned numExprs) |
2171 | : Expr(OffsetOfExprClass, EmptyShell()), |
2172 | TSInfo(nullptr), NumComps(numComps), NumExprs(numExprs) {} |
2173 | |
2174 | public: |
2175 | |
2176 | static OffsetOfExpr *Create(const ASTContext &C, QualType type, |
2177 | SourceLocation OperatorLoc, TypeSourceInfo *tsi, |
2178 | ArrayRef<OffsetOfNode> comps, |
2179 | ArrayRef<Expr*> exprs, SourceLocation RParenLoc); |
2180 | |
2181 | static OffsetOfExpr *CreateEmpty(const ASTContext &C, |
2182 | unsigned NumComps, unsigned NumExprs); |
2183 | |
2184 | |
2185 | SourceLocation getOperatorLoc() const { return OperatorLoc; } |
2186 | void setOperatorLoc(SourceLocation L) { OperatorLoc = L; } |
2187 | |
2188 | |
2189 | SourceLocation getRParenLoc() const { return RParenLoc; } |
2190 | void setRParenLoc(SourceLocation R) { RParenLoc = R; } |
2191 | |
2192 | TypeSourceInfo *getTypeSourceInfo() const { |
2193 | return TSInfo; |
2194 | } |
2195 | void setTypeSourceInfo(TypeSourceInfo *tsi) { |
2196 | TSInfo = tsi; |
2197 | } |
2198 | |
2199 | const OffsetOfNode &getComponent(unsigned Idx) const { |
2200 | (0) . __assert_fail ("Idx < NumComps && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2200, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumComps && "Subscript out of range"); |
2201 | return getTrailingObjects<OffsetOfNode>()[Idx]; |
2202 | } |
2203 | |
2204 | void setComponent(unsigned Idx, OffsetOfNode ON) { |
2205 | (0) . __assert_fail ("Idx < NumComps && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2205, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumComps && "Subscript out of range"); |
2206 | getTrailingObjects<OffsetOfNode>()[Idx] = ON; |
2207 | } |
2208 | |
2209 | unsigned getNumComponents() const { |
2210 | return NumComps; |
2211 | } |
2212 | |
2213 | Expr* getIndexExpr(unsigned Idx) { |
2214 | (0) . __assert_fail ("Idx < NumExprs && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2214, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumExprs && "Subscript out of range"); |
2215 | return getTrailingObjects<Expr *>()[Idx]; |
2216 | } |
2217 | |
2218 | const Expr *getIndexExpr(unsigned Idx) const { |
2219 | (0) . __assert_fail ("Idx < NumExprs && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2219, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumExprs && "Subscript out of range"); |
2220 | return getTrailingObjects<Expr *>()[Idx]; |
2221 | } |
2222 | |
2223 | void setIndexExpr(unsigned Idx, Expr* E) { |
2224 | (0) . __assert_fail ("Idx < NumComps && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2224, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumComps && "Subscript out of range"); |
2225 | getTrailingObjects<Expr *>()[Idx] = E; |
2226 | } |
2227 | |
2228 | unsigned getNumExpressions() const { |
2229 | return NumExprs; |
2230 | } |
2231 | |
2232 | SourceLocation getBeginLoc() const LLVM_READONLY { return OperatorLoc; } |
2233 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
2234 | |
2235 | static bool classof(const Stmt *T) { |
2236 | return T->getStmtClass() == OffsetOfExprClass; |
2237 | } |
2238 | |
2239 | |
2240 | child_range children() { |
2241 | Stmt **begin = reinterpret_cast<Stmt **>(getTrailingObjects<Expr *>()); |
2242 | return child_range(begin, begin + NumExprs); |
2243 | } |
2244 | const_child_range children() const { |
2245 | Stmt *const *begin = |
2246 | reinterpret_cast<Stmt *const *>(getTrailingObjects<Expr *>()); |
2247 | return const_child_range(begin, begin + NumExprs); |
2248 | } |
2249 | friend TrailingObjects; |
2250 | }; |
2251 | |
2252 | |
2253 | |
2254 | |
2255 | class UnaryExprOrTypeTraitExpr : public Expr { |
2256 | union { |
2257 | TypeSourceInfo *Ty; |
2258 | Stmt *Ex; |
2259 | } Argument; |
2260 | SourceLocation OpLoc, RParenLoc; |
2261 | |
2262 | public: |
2263 | UnaryExprOrTypeTraitExpr(UnaryExprOrTypeTrait ExprKind, TypeSourceInfo *TInfo, |
2264 | QualType resultType, SourceLocation op, |
2265 | SourceLocation rp) : |
2266 | Expr(UnaryExprOrTypeTraitExprClass, resultType, VK_RValue, OK_Ordinary, |
2267 | false, |
2268 | |
2269 | TInfo->getType()->isDependentType(), |
2270 | TInfo->getType()->isInstantiationDependentType(), |
2271 | TInfo->getType()->containsUnexpandedParameterPack()), |
2272 | OpLoc(op), RParenLoc(rp) { |
2273 | UnaryExprOrTypeTraitExprBits.Kind = ExprKind; |
2274 | UnaryExprOrTypeTraitExprBits.IsType = true; |
2275 | Argument.Ty = TInfo; |
2276 | } |
2277 | |
2278 | UnaryExprOrTypeTraitExpr(UnaryExprOrTypeTrait ExprKind, Expr *E, |
2279 | QualType resultType, SourceLocation op, |
2280 | SourceLocation rp); |
2281 | |
2282 | |
2283 | explicit UnaryExprOrTypeTraitExpr(EmptyShell Empty) |
2284 | : Expr(UnaryExprOrTypeTraitExprClass, Empty) { } |
2285 | |
2286 | UnaryExprOrTypeTrait getKind() const { |
2287 | return static_cast<UnaryExprOrTypeTrait>(UnaryExprOrTypeTraitExprBits.Kind); |
2288 | } |
2289 | void setKind(UnaryExprOrTypeTrait K) { UnaryExprOrTypeTraitExprBits.Kind = K;} |
2290 | |
2291 | bool isArgumentType() const { return UnaryExprOrTypeTraitExprBits.IsType; } |
2292 | QualType getArgumentType() const { |
2293 | return getArgumentTypeInfo()->getType(); |
2294 | } |
2295 | TypeSourceInfo *getArgumentTypeInfo() const { |
2296 | (0) . __assert_fail ("isArgumentType() && \"calling getArgumentType() when arg is expr\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2296, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(isArgumentType() && "calling getArgumentType() when arg is expr"); |
2297 | return Argument.Ty; |
2298 | } |
2299 | Expr *getArgumentExpr() { |
2300 | (0) . __assert_fail ("!isArgumentType() && \"calling getArgumentExpr() when arg is type\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2300, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(!isArgumentType() && "calling getArgumentExpr() when arg is type"); |
2301 | return static_cast<Expr*>(Argument.Ex); |
2302 | } |
2303 | const Expr *getArgumentExpr() const { |
2304 | return const_cast<UnaryExprOrTypeTraitExpr*>(this)->getArgumentExpr(); |
2305 | } |
2306 | |
2307 | void setArgument(Expr *E) { |
2308 | Argument.Ex = E; |
2309 | UnaryExprOrTypeTraitExprBits.IsType = false; |
2310 | } |
2311 | void setArgument(TypeSourceInfo *TInfo) { |
2312 | Argument.Ty = TInfo; |
2313 | UnaryExprOrTypeTraitExprBits.IsType = true; |
2314 | } |
2315 | |
2316 | |
2317 | |
2318 | QualType getTypeOfArgument() const { |
2319 | return isArgumentType() ? getArgumentType() : getArgumentExpr()->getType(); |
2320 | } |
2321 | |
2322 | SourceLocation getOperatorLoc() const { return OpLoc; } |
2323 | void setOperatorLoc(SourceLocation L) { OpLoc = L; } |
2324 | |
2325 | SourceLocation getRParenLoc() const { return RParenLoc; } |
2326 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
2327 | |
2328 | SourceLocation getBeginLoc() const LLVM_READONLY { return OpLoc; } |
2329 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
2330 | |
2331 | static bool classof(const Stmt *T) { |
2332 | return T->getStmtClass() == UnaryExprOrTypeTraitExprClass; |
2333 | } |
2334 | |
2335 | |
2336 | child_range children(); |
2337 | const_child_range children() const; |
2338 | }; |
2339 | |
2340 | |
2341 | |
2342 | |
2343 | |
2344 | |
2345 | class ArraySubscriptExpr : public Expr { |
2346 | enum { LHS, RHS, END_EXPR }; |
2347 | Stmt *SubExprs[END_EXPR]; |
2348 | |
2349 | bool lhsIsBase() const { return getRHS()->getType()->isIntegerType(); } |
2350 | |
2351 | public: |
2352 | ArraySubscriptExpr(Expr *lhs, Expr *rhs, QualType t, |
2353 | ExprValueKind VK, ExprObjectKind OK, |
2354 | SourceLocation rbracketloc) |
2355 | : Expr(ArraySubscriptExprClass, t, VK, OK, |
2356 | lhs->isTypeDependent() || rhs->isTypeDependent(), |
2357 | lhs->isValueDependent() || rhs->isValueDependent(), |
2358 | (lhs->isInstantiationDependent() || |
2359 | rhs->isInstantiationDependent()), |
2360 | (lhs->containsUnexpandedParameterPack() || |
2361 | rhs->containsUnexpandedParameterPack())) { |
2362 | SubExprs[LHS] = lhs; |
2363 | SubExprs[RHS] = rhs; |
2364 | ArraySubscriptExprBits.RBracketLoc = rbracketloc; |
2365 | } |
2366 | |
2367 | |
2368 | explicit ArraySubscriptExpr(EmptyShell Shell) |
2369 | : Expr(ArraySubscriptExprClass, Shell) { } |
2370 | |
2371 | |
2372 | |
2373 | |
2374 | |
2375 | |
2376 | |
2377 | |
2378 | |
2379 | |
2380 | Expr *getLHS() { return cast<Expr>(SubExprs[LHS]); } |
2381 | const Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); } |
2382 | void setLHS(Expr *E) { SubExprs[LHS] = E; } |
2383 | |
2384 | Expr *getRHS() { return cast<Expr>(SubExprs[RHS]); } |
2385 | const Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); } |
2386 | void setRHS(Expr *E) { SubExprs[RHS] = E; } |
2387 | |
2388 | Expr *getBase() { return lhsIsBase() ? getLHS() : getRHS(); } |
2389 | const Expr *getBase() const { return lhsIsBase() ? getLHS() : getRHS(); } |
2390 | |
2391 | Expr *getIdx() { return lhsIsBase() ? getRHS() : getLHS(); } |
2392 | const Expr *getIdx() const { return lhsIsBase() ? getRHS() : getLHS(); } |
2393 | |
2394 | SourceLocation getBeginLoc() const LLVM_READONLY { |
2395 | return getLHS()->getBeginLoc(); |
2396 | } |
2397 | SourceLocation getEndLoc() const { return getRBracketLoc(); } |
2398 | |
2399 | SourceLocation getRBracketLoc() const { |
2400 | return ArraySubscriptExprBits.RBracketLoc; |
2401 | } |
2402 | void setRBracketLoc(SourceLocation L) { |
2403 | ArraySubscriptExprBits.RBracketLoc = L; |
2404 | } |
2405 | |
2406 | SourceLocation getExprLoc() const LLVM_READONLY { |
2407 | return getBase()->getExprLoc(); |
2408 | } |
2409 | |
2410 | static bool classof(const Stmt *T) { |
2411 | return T->getStmtClass() == ArraySubscriptExprClass; |
2412 | } |
2413 | |
2414 | |
2415 | child_range children() { |
2416 | return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR); |
2417 | } |
2418 | const_child_range children() const { |
2419 | return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR); |
2420 | } |
2421 | }; |
2422 | |
2423 | |
2424 | |
2425 | |
2426 | |
2427 | |
2428 | |
2429 | class CallExpr : public Expr { |
2430 | enum { FN = 0, PREARGS_START = 1 }; |
2431 | |
2432 | |
2433 | unsigned NumArgs; |
2434 | |
2435 | |
2436 | |
2437 | SourceLocation RParenLoc; |
2438 | |
2439 | void updateDependenciesFromArg(Expr *Arg); |
2440 | |
2441 | |
2442 | |
2443 | |
2444 | |
2445 | |
2446 | |
2447 | |
2448 | |
2449 | |
2450 | |
2451 | |
2452 | |
2453 | |
2454 | |
2455 | |
2456 | |
2457 | |
2458 | |
2459 | |
2460 | |
2461 | |
2462 | |
2463 | Stmt **getTrailingStmts() { |
2464 | return reinterpret_cast<Stmt **>(reinterpret_cast<char *>(this) + |
2465 | CallExprBits.OffsetToTrailingObjects); |
2466 | } |
2467 | Stmt *const *getTrailingStmts() const { |
2468 | return const_cast<CallExpr *>(this)->getTrailingStmts(); |
2469 | } |
2470 | |
2471 | |
2472 | |
2473 | static unsigned offsetToTrailingObjects(StmtClass SC); |
2474 | |
2475 | public: |
2476 | enum class ADLCallKind : bool { NotADL, UsesADL }; |
2477 | static constexpr ADLCallKind NotADL = ADLCallKind::NotADL; |
2478 | static constexpr ADLCallKind UsesADL = ADLCallKind::UsesADL; |
2479 | |
2480 | protected: |
2481 | |
2482 | |
2483 | CallExpr(StmtClass SC, Expr *Fn, ArrayRef<Expr *> PreArgs, |
2484 | ArrayRef<Expr *> Args, QualType Ty, ExprValueKind VK, |
2485 | SourceLocation RParenLoc, unsigned MinNumArgs, ADLCallKind UsesADL); |
2486 | |
2487 | |
2488 | CallExpr(StmtClass SC, unsigned NumPreArgs, unsigned NumArgs, |
2489 | EmptyShell Empty); |
2490 | |
2491 | |
2492 | |
2493 | static unsigned sizeOfTrailingObjects(unsigned NumPreArgs, unsigned NumArgs) { |
2494 | return (1 + NumPreArgs + NumArgs) * sizeof(Stmt *); |
2495 | } |
2496 | |
2497 | Stmt *getPreArg(unsigned I) { |
2498 | (0) . __assert_fail ("I < getNumPreArgs() && \"Prearg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2498, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(I < getNumPreArgs() && "Prearg access out of range!"); |
2499 | return getTrailingStmts()[PREARGS_START + I]; |
2500 | } |
2501 | const Stmt *getPreArg(unsigned I) const { |
2502 | (0) . __assert_fail ("I < getNumPreArgs() && \"Prearg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2502, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(I < getNumPreArgs() && "Prearg access out of range!"); |
2503 | return getTrailingStmts()[PREARGS_START + I]; |
2504 | } |
2505 | void setPreArg(unsigned I, Stmt *PreArg) { |
2506 | (0) . __assert_fail ("I < getNumPreArgs() && \"Prearg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2506, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(I < getNumPreArgs() && "Prearg access out of range!"); |
2507 | getTrailingStmts()[PREARGS_START + I] = PreArg; |
2508 | } |
2509 | |
2510 | unsigned getNumPreArgs() const { return CallExprBits.NumPreArgs; } |
2511 | |
2512 | public: |
2513 | |
2514 | |
2515 | |
2516 | |
2517 | |
2518 | |
2519 | |
2520 | |
2521 | |
2522 | |
2523 | |
2524 | |
2525 | static CallExpr *Create(const ASTContext &Ctx, Expr *Fn, |
2526 | ArrayRef<Expr *> Args, QualType Ty, ExprValueKind VK, |
2527 | SourceLocation RParenLoc, unsigned MinNumArgs = 0, |
2528 | ADLCallKind UsesADL = NotADL); |
2529 | |
2530 | |
2531 | |
2532 | |
2533 | |
2534 | |
2535 | |
2536 | |
2537 | |
2538 | |
2539 | static CallExpr *CreateTemporary(void *Mem, Expr *Fn, QualType Ty, |
2540 | ExprValueKind VK, SourceLocation RParenLoc, |
2541 | ADLCallKind UsesADL = NotADL); |
2542 | |
2543 | |
2544 | static CallExpr *CreateEmpty(const ASTContext &Ctx, unsigned NumArgs, |
2545 | EmptyShell Empty); |
2546 | |
2547 | Expr *getCallee() { return cast<Expr>(getTrailingStmts()[FN]); } |
2548 | const Expr *getCallee() const { return cast<Expr>(getTrailingStmts()[FN]); } |
2549 | void setCallee(Expr *F) { getTrailingStmts()[FN] = F; } |
2550 | |
2551 | ADLCallKind getADLCallKind() const { |
2552 | return static_cast<ADLCallKind>(CallExprBits.UsesADL); |
2553 | } |
2554 | void setADLCallKind(ADLCallKind V = UsesADL) { |
2555 | CallExprBits.UsesADL = static_cast<bool>(V); |
2556 | } |
2557 | bool usesADL() const { return getADLCallKind() == UsesADL; } |
2558 | |
2559 | Decl *getCalleeDecl() { return getCallee()->getReferencedDeclOfCallee(); } |
2560 | const Decl *getCalleeDecl() const { |
2561 | return getCallee()->getReferencedDeclOfCallee(); |
2562 | } |
2563 | |
2564 | |
2565 | FunctionDecl *getDirectCallee() { |
2566 | return dyn_cast_or_null<FunctionDecl>(getCalleeDecl()); |
2567 | } |
2568 | const FunctionDecl *getDirectCallee() const { |
2569 | return dyn_cast_or_null<FunctionDecl>(getCalleeDecl()); |
2570 | } |
2571 | |
2572 | |
2573 | unsigned getNumArgs() const { return NumArgs; } |
2574 | |
2575 | |
2576 | Expr **getArgs() { |
2577 | return reinterpret_cast<Expr **>(getTrailingStmts() + PREARGS_START + |
2578 | getNumPreArgs()); |
2579 | } |
2580 | const Expr *const *getArgs() const { |
2581 | return reinterpret_cast<const Expr *const *>( |
2582 | getTrailingStmts() + PREARGS_START + getNumPreArgs()); |
2583 | } |
2584 | |
2585 | |
2586 | Expr *getArg(unsigned Arg) { |
2587 | (0) . __assert_fail ("Arg < getNumArgs() && \"Arg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2587, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Arg < getNumArgs() && "Arg access out of range!"); |
2588 | return getArgs()[Arg]; |
2589 | } |
2590 | const Expr *getArg(unsigned Arg) const { |
2591 | (0) . __assert_fail ("Arg < getNumArgs() && \"Arg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2591, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Arg < getNumArgs() && "Arg access out of range!"); |
2592 | return getArgs()[Arg]; |
2593 | } |
2594 | |
2595 | |
2596 | void setArg(unsigned Arg, Expr *ArgExpr) { |
2597 | (0) . __assert_fail ("Arg < getNumArgs() && \"Arg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2597, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Arg < getNumArgs() && "Arg access out of range!"); |
2598 | getArgs()[Arg] = ArgExpr; |
2599 | } |
2600 | |
2601 | |
2602 | |
2603 | |
2604 | |
2605 | |
2606 | |
2607 | void shrinkNumArgs(unsigned NewNumArgs) { |
2608 | (0) . __assert_fail ("(NewNumArgs <= getNumArgs()) && \"shrinkNumArgs cannot increase the number of arguments!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2609, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((NewNumArgs <= getNumArgs()) && |
2609 | (0) . __assert_fail ("(NewNumArgs <= getNumArgs()) && \"shrinkNumArgs cannot increase the number of arguments!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2609, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "shrinkNumArgs cannot increase the number of arguments!"); |
2610 | NumArgs = NewNumArgs; |
2611 | } |
2612 | |
2613 | |
2614 | |
2615 | |
2616 | void setNumArgsUnsafe(unsigned NewNumArgs) { NumArgs = NewNumArgs; } |
2617 | |
2618 | typedef ExprIterator arg_iterator; |
2619 | typedef ConstExprIterator const_arg_iterator; |
2620 | typedef llvm::iterator_range<arg_iterator> arg_range; |
2621 | typedef llvm::iterator_range<const_arg_iterator> const_arg_range; |
2622 | |
2623 | arg_range arguments() { return arg_range(arg_begin(), arg_end()); } |
2624 | const_arg_range arguments() const { |
2625 | return const_arg_range(arg_begin(), arg_end()); |
2626 | } |
2627 | |
2628 | arg_iterator arg_begin() { |
2629 | return getTrailingStmts() + PREARGS_START + getNumPreArgs(); |
2630 | } |
2631 | arg_iterator arg_end() { return arg_begin() + getNumArgs(); } |
2632 | |
2633 | const_arg_iterator arg_begin() const { |
2634 | return getTrailingStmts() + PREARGS_START + getNumPreArgs(); |
2635 | } |
2636 | const_arg_iterator arg_end() const { return arg_begin() + getNumArgs(); } |
2637 | |
2638 | |
2639 | |
2640 | |
2641 | |
2642 | ArrayRef<Stmt *> getRawSubExprs() { |
2643 | return llvm::makeArrayRef(getTrailingStmts(), |
2644 | PREARGS_START + getNumPreArgs() + getNumArgs()); |
2645 | } |
2646 | |
2647 | |
2648 | |
2649 | unsigned getNumCommas() const { return getNumArgs() ? getNumArgs() - 1 : 0; } |
2650 | |
2651 | |
2652 | |
2653 | unsigned getBuiltinCallee() const; |
2654 | |
2655 | |
2656 | |
2657 | bool isUnevaluatedBuiltinCall(const ASTContext &Ctx) const; |
2658 | |
2659 | |
2660 | |
2661 | |
2662 | QualType getCallReturnType(const ASTContext &Ctx) const; |
2663 | |
2664 | |
2665 | |
2666 | const Attr *getUnusedResultAttr(const ASTContext &Ctx) const; |
2667 | |
2668 | |
2669 | bool hasUnusedResultAttr(const ASTContext &Ctx) const { |
2670 | return getUnusedResultAttr(Ctx) != nullptr; |
2671 | } |
2672 | |
2673 | SourceLocation getRParenLoc() const { return RParenLoc; } |
2674 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
2675 | |
2676 | SourceLocation getBeginLoc() const LLVM_READONLY; |
2677 | SourceLocation getEndLoc() const LLVM_READONLY; |
2678 | |
2679 | |
2680 | |
2681 | bool isBuiltinAssumeFalse(const ASTContext &Ctx) const; |
2682 | |
2683 | bool isCallToStdMove() const { |
2684 | const FunctionDecl *FD = getDirectCallee(); |
2685 | return getNumArgs() == 1 && FD && FD->isInStdNamespace() && |
2686 | FD->getIdentifier() && FD->getIdentifier()->isStr("move"); |
2687 | } |
2688 | |
2689 | static bool classof(const Stmt *T) { |
2690 | return T->getStmtClass() >= firstCallExprConstant && |
2691 | T->getStmtClass() <= lastCallExprConstant; |
2692 | } |
2693 | |
2694 | |
2695 | child_range children() { |
2696 | return child_range(getTrailingStmts(), getTrailingStmts() + PREARGS_START + |
2697 | getNumPreArgs() + getNumArgs()); |
2698 | } |
2699 | |
2700 | const_child_range children() const { |
2701 | return const_child_range(getTrailingStmts(), |
2702 | getTrailingStmts() + PREARGS_START + |
2703 | getNumPreArgs() + getNumArgs()); |
2704 | } |
2705 | }; |
2706 | |
2707 | |
2708 | struct MemberExprNameQualifier { |
2709 | |
2710 | |
2711 | NestedNameSpecifierLoc QualifierLoc; |
2712 | |
2713 | |
2714 | |
2715 | DeclAccessPair FoundDecl; |
2716 | }; |
2717 | |
2718 | |
2719 | |
2720 | class MemberExpr final |
2721 | : public Expr, |
2722 | private llvm::TrailingObjects<MemberExpr, MemberExprNameQualifier, |
2723 | ASTTemplateKWAndArgsInfo, |
2724 | TemplateArgumentLoc> { |
2725 | friend class ASTReader; |
2726 | friend class ASTStmtWriter; |
2727 | friend TrailingObjects; |
2728 | |
2729 | |
2730 | |
2731 | Stmt *Base; |
2732 | |
2733 | |
2734 | |
2735 | ValueDecl *MemberDecl; |
2736 | |
2737 | |
2738 | |
2739 | DeclarationNameLoc MemberDNLoc; |
2740 | |
2741 | |
2742 | SourceLocation MemberLoc; |
2743 | |
2744 | size_t numTrailingObjects(OverloadToken<MemberExprNameQualifier>) const { |
2745 | return hasQualifierOrFoundDecl(); |
2746 | } |
2747 | |
2748 | size_t numTrailingObjects(OverloadToken<ASTTemplateKWAndArgsInfo>) const { |
2749 | return hasTemplateKWAndArgsInfo(); |
2750 | } |
2751 | |
2752 | bool hasQualifierOrFoundDecl() const { |
2753 | return MemberExprBits.HasQualifierOrFoundDecl; |
2754 | } |
2755 | |
2756 | bool hasTemplateKWAndArgsInfo() const { |
2757 | return MemberExprBits.HasTemplateKWAndArgsInfo; |
2758 | } |
2759 | |
2760 | public: |
2761 | MemberExpr(Expr *base, bool isarrow, SourceLocation operatorloc, |
2762 | ValueDecl *memberdecl, const DeclarationNameInfo &NameInfo, |
2763 | QualType ty, ExprValueKind VK, ExprObjectKind OK) |
2764 | : Expr(MemberExprClass, ty, VK, OK, base->isTypeDependent(), |
2765 | base->isValueDependent(), base->isInstantiationDependent(), |
2766 | base->containsUnexpandedParameterPack()), |
2767 | Base(base), MemberDecl(memberdecl), MemberDNLoc(NameInfo.getInfo()), |
2768 | MemberLoc(NameInfo.getLoc()) { |
2769 | getDeclName() == NameInfo.getName()", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 2769, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(memberdecl->getDeclName() == NameInfo.getName()); |
2770 | MemberExprBits.IsArrow = isarrow; |
2771 | MemberExprBits.HasQualifierOrFoundDecl = false; |
2772 | MemberExprBits.HasTemplateKWAndArgsInfo = false; |
2773 | MemberExprBits.HadMultipleCandidates = false; |
2774 | MemberExprBits.OperatorLoc = operatorloc; |
2775 | } |
2776 | |
2777 | |
2778 | |
2779 | |
2780 | |
2781 | MemberExpr(Expr *base, bool isarrow, SourceLocation operatorloc, |
2782 | ValueDecl *memberdecl, SourceLocation l, QualType ty, |
2783 | ExprValueKind VK, ExprObjectKind OK) |
2784 | : Expr(MemberExprClass, ty, VK, OK, base->isTypeDependent(), |
2785 | base->isValueDependent(), base->isInstantiationDependent(), |
2786 | base->containsUnexpandedParameterPack()), |
2787 | Base(base), MemberDecl(memberdecl), MemberDNLoc(), MemberLoc(l) { |
2788 | MemberExprBits.IsArrow = isarrow; |
2789 | MemberExprBits.HasQualifierOrFoundDecl = false; |
2790 | MemberExprBits.HasTemplateKWAndArgsInfo = false; |
2791 | MemberExprBits.HadMultipleCandidates = false; |
2792 | MemberExprBits.OperatorLoc = operatorloc; |
2793 | } |
2794 | |
2795 | static MemberExpr *Create(const ASTContext &C, Expr *base, bool isarrow, |
2796 | SourceLocation OperatorLoc, |
2797 | NestedNameSpecifierLoc QualifierLoc, |
2798 | SourceLocation TemplateKWLoc, ValueDecl *memberdecl, |
2799 | DeclAccessPair founddecl, |
2800 | DeclarationNameInfo MemberNameInfo, |
2801 | const TemplateArgumentListInfo *targs, QualType ty, |
2802 | ExprValueKind VK, ExprObjectKind OK); |
2803 | |
2804 | void setBase(Expr *E) { Base = E; } |
2805 | Expr *getBase() const { return cast<Expr>(Base); } |
2806 | |
2807 | |
2808 | |
2809 | |
2810 | |
2811 | ValueDecl *getMemberDecl() const { return MemberDecl; } |
2812 | void setMemberDecl(ValueDecl *D) { MemberDecl = D; } |
2813 | |
2814 | |
2815 | DeclAccessPair getFoundDecl() const { |
2816 | if (!hasQualifierOrFoundDecl()) |
2817 | return DeclAccessPair::make(getMemberDecl(), |
2818 | getMemberDecl()->getAccess()); |
2819 | return getTrailingObjects<MemberExprNameQualifier>()->FoundDecl; |
2820 | } |
2821 | |
2822 | |
2823 | |
2824 | |
2825 | bool hasQualifier() const { return getQualifier() != nullptr; } |
2826 | |
2827 | |
2828 | |
2829 | |
2830 | NestedNameSpecifierLoc getQualifierLoc() const { |
2831 | if (!hasQualifierOrFoundDecl()) |
2832 | return NestedNameSpecifierLoc(); |
2833 | return getTrailingObjects<MemberExprNameQualifier>()->QualifierLoc; |
2834 | } |
2835 | |
2836 | |
2837 | |
2838 | |
2839 | NestedNameSpecifier *getQualifier() const { |
2840 | return getQualifierLoc().getNestedNameSpecifier(); |
2841 | } |
2842 | |
2843 | |
2844 | |
2845 | SourceLocation getTemplateKeywordLoc() const { |
2846 | if (!hasTemplateKWAndArgsInfo()) |
2847 | return SourceLocation(); |
2848 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->TemplateKWLoc; |
2849 | } |
2850 | |
2851 | |
2852 | |
2853 | SourceLocation getLAngleLoc() const { |
2854 | if (!hasTemplateKWAndArgsInfo()) |
2855 | return SourceLocation(); |
2856 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->LAngleLoc; |
2857 | } |
2858 | |
2859 | |
2860 | |
2861 | SourceLocation getRAngleLoc() const { |
2862 | if (!hasTemplateKWAndArgsInfo()) |
2863 | return SourceLocation(); |
2864 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->RAngleLoc; |
2865 | } |
2866 | |
2867 | |
2868 | bool hasTemplateKeyword() const { return getTemplateKeywordLoc().isValid(); } |
2869 | |
2870 | |
2871 | |
2872 | bool hasExplicitTemplateArgs() const { return getLAngleLoc().isValid(); } |
2873 | |
2874 | |
2875 | |
2876 | void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { |
2877 | if (hasExplicitTemplateArgs()) |
2878 | getTrailingObjects<ASTTemplateKWAndArgsInfo>()->copyInto( |
2879 | getTrailingObjects<TemplateArgumentLoc>(), List); |
2880 | } |
2881 | |
2882 | |
2883 | |
2884 | const TemplateArgumentLoc *getTemplateArgs() const { |
2885 | if (!hasExplicitTemplateArgs()) |
2886 | return nullptr; |
2887 | |
2888 | return getTrailingObjects<TemplateArgumentLoc>(); |
2889 | } |
2890 | |
2891 | |
2892 | |
2893 | unsigned getNumTemplateArgs() const { |
2894 | if (!hasExplicitTemplateArgs()) |
2895 | return 0; |
2896 | |
2897 | return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->NumTemplateArgs; |
2898 | } |
2899 | |
2900 | ArrayRef<TemplateArgumentLoc> template_arguments() const { |
2901 | return {getTemplateArgs(), getNumTemplateArgs()}; |
2902 | } |
2903 | |
2904 | |
2905 | DeclarationNameInfo getMemberNameInfo() const { |
2906 | return DeclarationNameInfo(MemberDecl->getDeclName(), |
2907 | MemberLoc, MemberDNLoc); |
2908 | } |
2909 | |
2910 | SourceLocation getOperatorLoc() const { return MemberExprBits.OperatorLoc; } |
2911 | |
2912 | bool isArrow() const { return MemberExprBits.IsArrow; } |
2913 | void setArrow(bool A) { MemberExprBits.IsArrow = A; } |
2914 | |
2915 | |
2916 | |
2917 | SourceLocation getMemberLoc() const { return MemberLoc; } |
2918 | void setMemberLoc(SourceLocation L) { MemberLoc = L; } |
2919 | |
2920 | SourceLocation getBeginLoc() const LLVM_READONLY; |
2921 | SourceLocation getEndLoc() const LLVM_READONLY; |
2922 | |
2923 | SourceLocation getExprLoc() const LLVM_READONLY { return MemberLoc; } |
2924 | |
2925 | |
2926 | bool isImplicitAccess() const { |
2927 | return getBase() && getBase()->isImplicitCXXThis(); |
2928 | } |
2929 | |
2930 | |
2931 | |
2932 | bool hadMultipleCandidates() const { |
2933 | return MemberExprBits.HadMultipleCandidates; |
2934 | } |
2935 | |
2936 | |
2937 | |
2938 | void setHadMultipleCandidates(bool V = true) { |
2939 | MemberExprBits.HadMultipleCandidates = V; |
2940 | } |
2941 | |
2942 | |
2943 | |
2944 | |
2945 | |
2946 | bool performsVirtualDispatch(const LangOptions &LO) const { |
2947 | return LO.AppleKext || !hasQualifier(); |
2948 | } |
2949 | |
2950 | static bool classof(const Stmt *T) { |
2951 | return T->getStmtClass() == MemberExprClass; |
2952 | } |
2953 | |
2954 | |
2955 | child_range children() { return child_range(&Base, &Base+1); } |
2956 | const_child_range children() const { |
2957 | return const_child_range(&Base, &Base + 1); |
2958 | } |
2959 | }; |
2960 | |
2961 | |
2962 | |
2963 | class CompoundLiteralExpr : public Expr { |
2964 | |
2965 | |
2966 | |
2967 | SourceLocation LParenLoc; |
2968 | |
2969 | |
2970 | |
2971 | |
2972 | llvm::PointerIntPair<TypeSourceInfo *, 1, bool> TInfoAndScope; |
2973 | Stmt *Init; |
2974 | public: |
2975 | CompoundLiteralExpr(SourceLocation lparenloc, TypeSourceInfo *tinfo, |
2976 | QualType T, ExprValueKind VK, Expr *init, bool fileScope) |
2977 | : Expr(CompoundLiteralExprClass, T, VK, OK_Ordinary, |
2978 | tinfo->getType()->isDependentType(), |
2979 | init->isValueDependent(), |
2980 | (init->isInstantiationDependent() || |
2981 | tinfo->getType()->isInstantiationDependentType()), |
2982 | init->containsUnexpandedParameterPack()), |
2983 | LParenLoc(lparenloc), TInfoAndScope(tinfo, fileScope), Init(init) {} |
2984 | |
2985 | |
2986 | explicit CompoundLiteralExpr(EmptyShell Empty) |
2987 | : Expr(CompoundLiteralExprClass, Empty) { } |
2988 | |
2989 | const Expr *getInitializer() const { return cast<Expr>(Init); } |
2990 | Expr *getInitializer() { return cast<Expr>(Init); } |
2991 | void setInitializer(Expr *E) { Init = E; } |
2992 | |
2993 | bool isFileScope() const { return TInfoAndScope.getInt(); } |
2994 | void setFileScope(bool FS) { TInfoAndScope.setInt(FS); } |
2995 | |
2996 | SourceLocation getLParenLoc() const { return LParenLoc; } |
2997 | void setLParenLoc(SourceLocation L) { LParenLoc = L; } |
2998 | |
2999 | TypeSourceInfo *getTypeSourceInfo() const { |
3000 | return TInfoAndScope.getPointer(); |
3001 | } |
3002 | void setTypeSourceInfo(TypeSourceInfo *tinfo) { |
3003 | TInfoAndScope.setPointer(tinfo); |
3004 | } |
3005 | |
3006 | SourceLocation getBeginLoc() const LLVM_READONLY { |
3007 | |
3008 | if (!Init) |
3009 | return SourceLocation(); |
3010 | if (LParenLoc.isInvalid()) |
3011 | return Init->getBeginLoc(); |
3012 | return LParenLoc; |
3013 | } |
3014 | SourceLocation getEndLoc() const LLVM_READONLY { |
3015 | |
3016 | if (!Init) |
3017 | return SourceLocation(); |
3018 | return Init->getEndLoc(); |
3019 | } |
3020 | |
3021 | static bool classof(const Stmt *T) { |
3022 | return T->getStmtClass() == CompoundLiteralExprClass; |
3023 | } |
3024 | |
3025 | |
3026 | child_range children() { return child_range(&Init, &Init+1); } |
3027 | const_child_range children() const { |
3028 | return const_child_range(&Init, &Init + 1); |
3029 | } |
3030 | }; |
3031 | |
3032 | |
3033 | |
3034 | |
3035 | |
3036 | class CastExpr : public Expr { |
3037 | Stmt *Op; |
3038 | |
3039 | bool CastConsistency() const; |
3040 | |
3041 | const CXXBaseSpecifier * const *path_buffer() const { |
3042 | return const_cast<CastExpr*>(this)->path_buffer(); |
3043 | } |
3044 | CXXBaseSpecifier **path_buffer(); |
3045 | |
3046 | protected: |
3047 | CastExpr(StmtClass SC, QualType ty, ExprValueKind VK, const CastKind kind, |
3048 | Expr *op, unsigned BasePathSize) |
3049 | : Expr(SC, ty, VK, OK_Ordinary, |
3050 | |
3051 | |
3052 | ty->isDependentType(), |
3053 | |
3054 | |
3055 | ty->isDependentType() || (op && op->isValueDependent()), |
3056 | (ty->isInstantiationDependentType() || |
3057 | (op && op->isInstantiationDependent())), |
3058 | |
3059 | |
3060 | ((SC != ImplicitCastExprClass && |
3061 | ty->containsUnexpandedParameterPack()) || |
3062 | (op && op->containsUnexpandedParameterPack()))), |
3063 | Op(op) { |
3064 | CastExprBits.Kind = kind; |
3065 | CastExprBits.PartOfExplicitCast = false; |
3066 | CastExprBits.BasePathSize = BasePathSize; |
3067 | (0) . __assert_fail ("(CastExprBits.BasePathSize == BasePathSize) && \"BasePathSize overflow!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3068, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((CastExprBits.BasePathSize == BasePathSize) && |
3068 | (0) . __assert_fail ("(CastExprBits.BasePathSize == BasePathSize) && \"BasePathSize overflow!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3068, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "BasePathSize overflow!"); |
3069 | assert(CastConsistency()); |
3070 | } |
3071 | |
3072 | |
3073 | CastExpr(StmtClass SC, EmptyShell Empty, unsigned BasePathSize) |
3074 | : Expr(SC, Empty) { |
3075 | CastExprBits.PartOfExplicitCast = false; |
3076 | CastExprBits.BasePathSize = BasePathSize; |
3077 | (0) . __assert_fail ("(CastExprBits.BasePathSize == BasePathSize) && \"BasePathSize overflow!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3078, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((CastExprBits.BasePathSize == BasePathSize) && |
3078 | (0) . __assert_fail ("(CastExprBits.BasePathSize == BasePathSize) && \"BasePathSize overflow!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3078, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "BasePathSize overflow!"); |
3079 | } |
3080 | |
3081 | public: |
3082 | CastKind getCastKind() const { return (CastKind) CastExprBits.Kind; } |
3083 | void setCastKind(CastKind K) { CastExprBits.Kind = K; } |
3084 | |
3085 | static const char *getCastKindName(CastKind CK); |
3086 | const char *getCastKindName() const { return getCastKindName(getCastKind()); } |
3087 | |
3088 | Expr *getSubExpr() { return cast<Expr>(Op); } |
3089 | const Expr *getSubExpr() const { return cast<Expr>(Op); } |
3090 | void setSubExpr(Expr *E) { Op = E; } |
3091 | |
3092 | |
3093 | |
3094 | |
3095 | Expr *getSubExprAsWritten(); |
3096 | const Expr *getSubExprAsWritten() const { |
3097 | return const_cast<CastExpr *>(this)->getSubExprAsWritten(); |
3098 | } |
3099 | |
3100 | |
3101 | |
3102 | NamedDecl *getConversionFunction() const; |
3103 | |
3104 | typedef CXXBaseSpecifier **path_iterator; |
3105 | typedef const CXXBaseSpecifier *const *path_const_iterator; |
3106 | bool path_empty() const { return path_size() == 0; } |
3107 | unsigned path_size() const { return CastExprBits.BasePathSize; } |
3108 | path_iterator path_begin() { return path_buffer(); } |
3109 | path_iterator path_end() { return path_buffer() + path_size(); } |
3110 | path_const_iterator path_begin() const { return path_buffer(); } |
3111 | path_const_iterator path_end() const { return path_buffer() + path_size(); } |
3112 | |
3113 | const FieldDecl *getTargetUnionField() const { |
3114 | assert(getCastKind() == CK_ToUnion); |
3115 | return getTargetFieldForToUnionCast(getType(), getSubExpr()->getType()); |
3116 | } |
3117 | |
3118 | static const FieldDecl *getTargetFieldForToUnionCast(QualType unionType, |
3119 | QualType opType); |
3120 | static const FieldDecl *getTargetFieldForToUnionCast(const RecordDecl *RD, |
3121 | QualType opType); |
3122 | |
3123 | static bool classof(const Stmt *T) { |
3124 | return T->getStmtClass() >= firstCastExprConstant && |
3125 | T->getStmtClass() <= lastCastExprConstant; |
3126 | } |
3127 | |
3128 | |
3129 | child_range children() { return child_range(&Op, &Op+1); } |
3130 | const_child_range children() const { return const_child_range(&Op, &Op + 1); } |
3131 | }; |
3132 | |
3133 | |
3134 | |
3135 | |
3136 | |
3137 | |
3138 | |
3139 | |
3140 | |
3141 | |
3142 | |
3143 | |
3144 | |
3145 | |
3146 | |
3147 | |
3148 | |
3149 | |
3150 | |
3151 | |
3152 | |
3153 | class ImplicitCastExpr final |
3154 | : public CastExpr, |
3155 | private llvm::TrailingObjects<ImplicitCastExpr, CXXBaseSpecifier *> { |
3156 | |
3157 | ImplicitCastExpr(QualType ty, CastKind kind, Expr *op, |
3158 | unsigned BasePathLength, ExprValueKind VK) |
3159 | : CastExpr(ImplicitCastExprClass, ty, VK, kind, op, BasePathLength) { } |
3160 | |
3161 | |
3162 | explicit ImplicitCastExpr(EmptyShell Shell, unsigned PathSize) |
3163 | : CastExpr(ImplicitCastExprClass, Shell, PathSize) { } |
3164 | |
3165 | public: |
3166 | enum OnStack_t { OnStack }; |
3167 | ImplicitCastExpr(OnStack_t _, QualType ty, CastKind kind, Expr *op, |
3168 | ExprValueKind VK) |
3169 | : CastExpr(ImplicitCastExprClass, ty, VK, kind, op, 0) { |
3170 | } |
3171 | |
3172 | bool isPartOfExplicitCast() const { return CastExprBits.PartOfExplicitCast; } |
3173 | void setIsPartOfExplicitCast(bool PartOfExplicitCast) { |
3174 | CastExprBits.PartOfExplicitCast = PartOfExplicitCast; |
3175 | } |
3176 | |
3177 | static ImplicitCastExpr *Create(const ASTContext &Context, QualType T, |
3178 | CastKind Kind, Expr *Operand, |
3179 | const CXXCastPath *BasePath, |
3180 | ExprValueKind Cat); |
3181 | |
3182 | static ImplicitCastExpr *CreateEmpty(const ASTContext &Context, |
3183 | unsigned PathSize); |
3184 | |
3185 | SourceLocation getBeginLoc() const LLVM_READONLY { |
3186 | return getSubExpr()->getBeginLoc(); |
3187 | } |
3188 | SourceLocation getEndLoc() const LLVM_READONLY { |
3189 | return getSubExpr()->getEndLoc(); |
3190 | } |
3191 | |
3192 | static bool classof(const Stmt *T) { |
3193 | return T->getStmtClass() == ImplicitCastExprClass; |
3194 | } |
3195 | |
3196 | friend TrailingObjects; |
3197 | friend class CastExpr; |
3198 | }; |
3199 | |
3200 | |
3201 | |
3202 | |
3203 | |
3204 | |
3205 | |
3206 | |
3207 | |
3208 | |
3209 | |
3210 | |
3211 | |
3212 | |
3213 | |
3214 | |
3215 | |
3216 | class ExplicitCastExpr : public CastExpr { |
3217 | |
3218 | |
3219 | TypeSourceInfo *TInfo; |
3220 | |
3221 | protected: |
3222 | ExplicitCastExpr(StmtClass SC, QualType exprTy, ExprValueKind VK, |
3223 | CastKind kind, Expr *op, unsigned PathSize, |
3224 | TypeSourceInfo *writtenTy) |
3225 | : CastExpr(SC, exprTy, VK, kind, op, PathSize), TInfo(writtenTy) {} |
3226 | |
3227 | |
3228 | ExplicitCastExpr(StmtClass SC, EmptyShell Shell, unsigned PathSize) |
3229 | : CastExpr(SC, Shell, PathSize) { } |
3230 | |
3231 | public: |
3232 | |
3233 | |
3234 | TypeSourceInfo *getTypeInfoAsWritten() const { return TInfo; } |
3235 | void setTypeInfoAsWritten(TypeSourceInfo *writtenTy) { TInfo = writtenTy; } |
3236 | |
3237 | |
3238 | |
3239 | QualType getTypeAsWritten() const { return TInfo->getType(); } |
3240 | |
3241 | static bool classof(const Stmt *T) { |
3242 | return T->getStmtClass() >= firstExplicitCastExprConstant && |
3243 | T->getStmtClass() <= lastExplicitCastExprConstant; |
3244 | } |
3245 | }; |
3246 | |
3247 | |
3248 | |
3249 | |
3250 | class CStyleCastExpr final |
3251 | : public ExplicitCastExpr, |
3252 | private llvm::TrailingObjects<CStyleCastExpr, CXXBaseSpecifier *> { |
3253 | SourceLocation LPLoc; |
3254 | SourceLocation RPLoc; |
3255 | |
3256 | CStyleCastExpr(QualType exprTy, ExprValueKind vk, CastKind kind, Expr *op, |
3257 | unsigned PathSize, TypeSourceInfo *writtenTy, |
3258 | SourceLocation l, SourceLocation r) |
3259 | : ExplicitCastExpr(CStyleCastExprClass, exprTy, vk, kind, op, PathSize, |
3260 | writtenTy), LPLoc(l), RPLoc(r) {} |
3261 | |
3262 | |
3263 | explicit CStyleCastExpr(EmptyShell Shell, unsigned PathSize) |
3264 | : ExplicitCastExpr(CStyleCastExprClass, Shell, PathSize) { } |
3265 | |
3266 | public: |
3267 | static CStyleCastExpr *Create(const ASTContext &Context, QualType T, |
3268 | ExprValueKind VK, CastKind K, |
3269 | Expr *Op, const CXXCastPath *BasePath, |
3270 | TypeSourceInfo *WrittenTy, SourceLocation L, |
3271 | SourceLocation R); |
3272 | |
3273 | static CStyleCastExpr *CreateEmpty(const ASTContext &Context, |
3274 | unsigned PathSize); |
3275 | |
3276 | SourceLocation getLParenLoc() const { return LPLoc; } |
3277 | void setLParenLoc(SourceLocation L) { LPLoc = L; } |
3278 | |
3279 | SourceLocation getRParenLoc() const { return RPLoc; } |
3280 | void setRParenLoc(SourceLocation L) { RPLoc = L; } |
3281 | |
3282 | SourceLocation getBeginLoc() const LLVM_READONLY { return LPLoc; } |
3283 | SourceLocation getEndLoc() const LLVM_READONLY { |
3284 | return getSubExpr()->getEndLoc(); |
3285 | } |
3286 | |
3287 | static bool classof(const Stmt *T) { |
3288 | return T->getStmtClass() == CStyleCastExprClass; |
3289 | } |
3290 | |
3291 | friend TrailingObjects; |
3292 | friend class CastExpr; |
3293 | }; |
3294 | |
3295 | |
3296 | |
3297 | |
3298 | |
3299 | |
3300 | |
3301 | |
3302 | |
3303 | |
3304 | |
3305 | |
3306 | |
3307 | |
3308 | |
3309 | |
3310 | |
3311 | |
3312 | |
3313 | class BinaryOperator : public Expr { |
3314 | enum { LHS, RHS, END_EXPR }; |
3315 | Stmt *SubExprs[END_EXPR]; |
3316 | |
3317 | public: |
3318 | typedef BinaryOperatorKind Opcode; |
3319 | |
3320 | BinaryOperator(Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, |
3321 | ExprValueKind VK, ExprObjectKind OK, |
3322 | SourceLocation opLoc, FPOptions FPFeatures) |
3323 | : Expr(BinaryOperatorClass, ResTy, VK, OK, |
3324 | lhs->isTypeDependent() || rhs->isTypeDependent(), |
3325 | lhs->isValueDependent() || rhs->isValueDependent(), |
3326 | (lhs->isInstantiationDependent() || |
3327 | rhs->isInstantiationDependent()), |
3328 | (lhs->containsUnexpandedParameterPack() || |
3329 | rhs->containsUnexpandedParameterPack())) { |
3330 | BinaryOperatorBits.Opc = opc; |
3331 | BinaryOperatorBits.FPFeatures = FPFeatures.getInt(); |
3332 | BinaryOperatorBits.OpLoc = opLoc; |
3333 | SubExprs[LHS] = lhs; |
3334 | SubExprs[RHS] = rhs; |
3335 | (0) . __assert_fail ("!isCompoundAssignmentOp() && \"Use CompoundAssignOperator for compound assignments\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(!isCompoundAssignmentOp() && |
3336 | (0) . __assert_fail ("!isCompoundAssignmentOp() && \"Use CompoundAssignOperator for compound assignments\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Use CompoundAssignOperator for compound assignments"); |
3337 | } |
3338 | |
3339 | |
3340 | explicit BinaryOperator(EmptyShell Empty) : Expr(BinaryOperatorClass, Empty) { |
3341 | BinaryOperatorBits.Opc = BO_Comma; |
3342 | } |
3343 | |
3344 | SourceLocation getExprLoc() const { return getOperatorLoc(); } |
3345 | SourceLocation getOperatorLoc() const { return BinaryOperatorBits.OpLoc; } |
3346 | void setOperatorLoc(SourceLocation L) { BinaryOperatorBits.OpLoc = L; } |
3347 | |
3348 | Opcode getOpcode() const { |
3349 | return static_cast<Opcode>(BinaryOperatorBits.Opc); |
3350 | } |
3351 | void setOpcode(Opcode Opc) { BinaryOperatorBits.Opc = Opc; } |
3352 | |
3353 | Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); } |
3354 | void setLHS(Expr *E) { SubExprs[LHS] = E; } |
3355 | Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); } |
3356 | void setRHS(Expr *E) { SubExprs[RHS] = E; } |
3357 | |
3358 | SourceLocation getBeginLoc() const LLVM_READONLY { |
3359 | return getLHS()->getBeginLoc(); |
3360 | } |
3361 | SourceLocation getEndLoc() const LLVM_READONLY { |
3362 | return getRHS()->getEndLoc(); |
3363 | } |
3364 | |
3365 | |
3366 | |
3367 | static StringRef getOpcodeStr(Opcode Op); |
3368 | |
3369 | StringRef getOpcodeStr() const { return getOpcodeStr(getOpcode()); } |
3370 | |
3371 | |
3372 | |
3373 | static Opcode getOverloadedOpcode(OverloadedOperatorKind OO); |
3374 | |
3375 | |
3376 | |
3377 | static OverloadedOperatorKind getOverloadedOperator(Opcode Opc); |
3378 | |
3379 | |
3380 | static bool isPtrMemOp(Opcode Opc) { |
3381 | return Opc == BO_PtrMemD || Opc == BO_PtrMemI; |
3382 | } |
3383 | bool isPtrMemOp() const { return isPtrMemOp(getOpcode()); } |
3384 | |
3385 | static bool isMultiplicativeOp(Opcode Opc) { |
3386 | return Opc >= BO_Mul && Opc <= BO_Rem; |
3387 | } |
3388 | bool isMultiplicativeOp() const { return isMultiplicativeOp(getOpcode()); } |
3389 | static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } |
3390 | bool isAdditiveOp() const { return isAdditiveOp(getOpcode()); } |
3391 | static bool isShiftOp(Opcode Opc) { return Opc == BO_Shl || Opc == BO_Shr; } |
3392 | bool isShiftOp() const { return isShiftOp(getOpcode()); } |
3393 | |
3394 | static bool isBitwiseOp(Opcode Opc) { return Opc >= BO_And && Opc <= BO_Or; } |
3395 | bool isBitwiseOp() const { return isBitwiseOp(getOpcode()); } |
3396 | |
3397 | static bool isRelationalOp(Opcode Opc) { return Opc >= BO_LT && Opc<=BO_GE; } |
3398 | bool isRelationalOp() const { return isRelationalOp(getOpcode()); } |
3399 | |
3400 | static bool isEqualityOp(Opcode Opc) { return Opc == BO_EQ || Opc == BO_NE; } |
3401 | bool isEqualityOp() const { return isEqualityOp(getOpcode()); } |
3402 | |
3403 | static bool isComparisonOp(Opcode Opc) { return Opc >= BO_Cmp && Opc<=BO_NE; } |
3404 | bool isComparisonOp() const { return isComparisonOp(getOpcode()); } |
3405 | |
3406 | static bool isCommaOp(Opcode Opc) { return Opc == BO_Comma; } |
3407 | bool isCommaOp() const { return isCommaOp(getOpcode()); } |
3408 | |
3409 | static Opcode negateComparisonOp(Opcode Opc) { |
3410 | switch (Opc) { |
3411 | default: |
3412 | llvm_unreachable("Not a comparison operator."); |
3413 | case BO_LT: return BO_GE; |
3414 | case BO_GT: return BO_LE; |
3415 | case BO_LE: return BO_GT; |
3416 | case BO_GE: return BO_LT; |
3417 | case BO_EQ: return BO_NE; |
3418 | case BO_NE: return BO_EQ; |
3419 | } |
3420 | } |
3421 | |
3422 | static Opcode reverseComparisonOp(Opcode Opc) { |
3423 | switch (Opc) { |
3424 | default: |
3425 | llvm_unreachable("Not a comparison operator."); |
3426 | case BO_LT: return BO_GT; |
3427 | case BO_GT: return BO_LT; |
3428 | case BO_LE: return BO_GE; |
3429 | case BO_GE: return BO_LE; |
3430 | case BO_EQ: |
3431 | case BO_NE: |
3432 | return Opc; |
3433 | } |
3434 | } |
3435 | |
3436 | static bool isLogicalOp(Opcode Opc) { return Opc == BO_LAnd || Opc==BO_LOr; } |
3437 | bool isLogicalOp() const { return isLogicalOp(getOpcode()); } |
3438 | |
3439 | static bool isAssignmentOp(Opcode Opc) { |
3440 | return Opc >= BO_Assign && Opc <= BO_OrAssign; |
3441 | } |
3442 | bool isAssignmentOp() const { return isAssignmentOp(getOpcode()); } |
3443 | |
3444 | static bool isCompoundAssignmentOp(Opcode Opc) { |
3445 | return Opc > BO_Assign && Opc <= BO_OrAssign; |
3446 | } |
3447 | bool isCompoundAssignmentOp() const { |
3448 | return isCompoundAssignmentOp(getOpcode()); |
3449 | } |
3450 | static Opcode getOpForCompoundAssignment(Opcode Opc) { |
3451 | assert(isCompoundAssignmentOp(Opc)); |
3452 | if (Opc >= BO_AndAssign) |
3453 | return Opcode(unsigned(Opc) - BO_AndAssign + BO_And); |
3454 | else |
3455 | return Opcode(unsigned(Opc) - BO_MulAssign + BO_Mul); |
3456 | } |
3457 | |
3458 | static bool isShiftAssignOp(Opcode Opc) { |
3459 | return Opc == BO_ShlAssign || Opc == BO_ShrAssign; |
3460 | } |
3461 | bool isShiftAssignOp() const { |
3462 | return isShiftAssignOp(getOpcode()); |
3463 | } |
3464 | |
3465 | |
3466 | |
3467 | |
3468 | static bool isNullPointerArithmeticExtension(ASTContext &Ctx, Opcode Opc, |
3469 | Expr *LHS, Expr *RHS); |
3470 | |
3471 | static bool classof(const Stmt *S) { |
3472 | return S->getStmtClass() >= firstBinaryOperatorConstant && |
3473 | S->getStmtClass() <= lastBinaryOperatorConstant; |
3474 | } |
3475 | |
3476 | |
3477 | child_range children() { |
3478 | return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR); |
3479 | } |
3480 | const_child_range children() const { |
3481 | return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR); |
3482 | } |
3483 | |
3484 | |
3485 | |
3486 | void setFPFeatures(FPOptions F) { |
3487 | BinaryOperatorBits.FPFeatures = F.getInt(); |
3488 | } |
3489 | |
3490 | FPOptions getFPFeatures() const { |
3491 | return FPOptions(BinaryOperatorBits.FPFeatures); |
3492 | } |
3493 | |
3494 | |
3495 | |
3496 | bool isFPContractableWithinStatement() const { |
3497 | return getFPFeatures().allowFPContractWithinStatement(); |
3498 | } |
3499 | |
3500 | |
3501 | |
3502 | bool isFEnvAccessOn() const { return getFPFeatures().allowFEnvAccess(); } |
3503 | |
3504 | protected: |
3505 | BinaryOperator(Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, |
3506 | ExprValueKind VK, ExprObjectKind OK, |
3507 | SourceLocation opLoc, FPOptions FPFeatures, bool dead2) |
3508 | : Expr(CompoundAssignOperatorClass, ResTy, VK, OK, |
3509 | lhs->isTypeDependent() || rhs->isTypeDependent(), |
3510 | lhs->isValueDependent() || rhs->isValueDependent(), |
3511 | (lhs->isInstantiationDependent() || |
3512 | rhs->isInstantiationDependent()), |
3513 | (lhs->containsUnexpandedParameterPack() || |
3514 | rhs->containsUnexpandedParameterPack())) { |
3515 | BinaryOperatorBits.Opc = opc; |
3516 | BinaryOperatorBits.FPFeatures = FPFeatures.getInt(); |
3517 | BinaryOperatorBits.OpLoc = opLoc; |
3518 | SubExprs[LHS] = lhs; |
3519 | SubExprs[RHS] = rhs; |
3520 | } |
3521 | |
3522 | BinaryOperator(StmtClass SC, EmptyShell Empty) : Expr(SC, Empty) { |
3523 | BinaryOperatorBits.Opc = BO_MulAssign; |
3524 | } |
3525 | }; |
3526 | |
3527 | |
3528 | |
3529 | |
3530 | |
3531 | |
3532 | |
3533 | class CompoundAssignOperator : public BinaryOperator { |
3534 | QualType ComputationLHSType; |
3535 | QualType ComputationResultType; |
3536 | public: |
3537 | CompoundAssignOperator(Expr *lhs, Expr *rhs, Opcode opc, QualType ResType, |
3538 | ExprValueKind VK, ExprObjectKind OK, |
3539 | QualType CompLHSType, QualType CompResultType, |
3540 | SourceLocation OpLoc, FPOptions FPFeatures) |
3541 | : BinaryOperator(lhs, rhs, opc, ResType, VK, OK, OpLoc, FPFeatures, |
3542 | true), |
3543 | ComputationLHSType(CompLHSType), |
3544 | ComputationResultType(CompResultType) { |
3545 | (0) . __assert_fail ("isCompoundAssignmentOp() && \"Only should be used for compound assignments\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3546, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(isCompoundAssignmentOp() && |
3546 | (0) . __assert_fail ("isCompoundAssignmentOp() && \"Only should be used for compound assignments\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3546, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Only should be used for compound assignments"); |
3547 | } |
3548 | |
3549 | |
3550 | explicit CompoundAssignOperator(EmptyShell Empty) |
3551 | : BinaryOperator(CompoundAssignOperatorClass, Empty) { } |
3552 | |
3553 | |
3554 | |
3555 | |
3556 | QualType getComputationLHSType() const { return ComputationLHSType; } |
3557 | void setComputationLHSType(QualType T) { ComputationLHSType = T; } |
3558 | |
3559 | QualType getComputationResultType() const { return ComputationResultType; } |
3560 | void setComputationResultType(QualType T) { ComputationResultType = T; } |
3561 | |
3562 | static bool classof(const Stmt *S) { |
3563 | return S->getStmtClass() == CompoundAssignOperatorClass; |
3564 | } |
3565 | }; |
3566 | |
3567 | |
3568 | |
3569 | class AbstractConditionalOperator : public Expr { |
3570 | SourceLocation QuestionLoc, ColonLoc; |
3571 | friend class ASTStmtReader; |
3572 | |
3573 | protected: |
3574 | AbstractConditionalOperator(StmtClass SC, QualType T, |
3575 | ExprValueKind VK, ExprObjectKind OK, |
3576 | bool TD, bool VD, bool ID, |
3577 | bool ContainsUnexpandedParameterPack, |
3578 | SourceLocation qloc, |
3579 | SourceLocation cloc) |
3580 | : Expr(SC, T, VK, OK, TD, VD, ID, ContainsUnexpandedParameterPack), |
3581 | QuestionLoc(qloc), ColonLoc(cloc) {} |
3582 | |
3583 | AbstractConditionalOperator(StmtClass SC, EmptyShell Empty) |
3584 | : Expr(SC, Empty) { } |
3585 | |
3586 | public: |
3587 | |
3588 | |
3589 | Expr *getCond() const; |
3590 | |
3591 | |
3592 | |
3593 | Expr *getTrueExpr() const; |
3594 | |
3595 | |
3596 | |
3597 | |
3598 | Expr *getFalseExpr() const; |
3599 | |
3600 | SourceLocation getQuestionLoc() const { return QuestionLoc; } |
3601 | SourceLocation getColonLoc() const { return ColonLoc; } |
3602 | |
3603 | static bool classof(const Stmt *T) { |
3604 | return T->getStmtClass() == ConditionalOperatorClass || |
3605 | T->getStmtClass() == BinaryConditionalOperatorClass; |
3606 | } |
3607 | }; |
3608 | |
3609 | |
3610 | |
3611 | class ConditionalOperator : public AbstractConditionalOperator { |
3612 | enum { COND, LHS, RHS, END_EXPR }; |
3613 | Stmt* SubExprs[END_EXPR]; |
3614 | |
3615 | friend class ASTStmtReader; |
3616 | public: |
3617 | ConditionalOperator(Expr *cond, SourceLocation QLoc, Expr *lhs, |
3618 | SourceLocation CLoc, Expr *rhs, |
3619 | QualType t, ExprValueKind VK, ExprObjectKind OK) |
3620 | : AbstractConditionalOperator(ConditionalOperatorClass, t, VK, OK, |
3621 | |
3622 | |
3623 | |
3624 | (lhs->isTypeDependent() || rhs->isTypeDependent()), |
3625 | (cond->isValueDependent() || lhs->isValueDependent() || |
3626 | rhs->isValueDependent()), |
3627 | (cond->isInstantiationDependent() || |
3628 | lhs->isInstantiationDependent() || |
3629 | rhs->isInstantiationDependent()), |
3630 | (cond->containsUnexpandedParameterPack() || |
3631 | lhs->containsUnexpandedParameterPack() || |
3632 | rhs->containsUnexpandedParameterPack()), |
3633 | QLoc, CLoc) { |
3634 | SubExprs[COND] = cond; |
3635 | SubExprs[LHS] = lhs; |
3636 | SubExprs[RHS] = rhs; |
3637 | } |
3638 | |
3639 | |
3640 | explicit ConditionalOperator(EmptyShell Empty) |
3641 | : AbstractConditionalOperator(ConditionalOperatorClass, Empty) { } |
3642 | |
3643 | |
3644 | |
3645 | Expr *getCond() const { return cast<Expr>(SubExprs[COND]); } |
3646 | |
3647 | |
3648 | |
3649 | Expr *getTrueExpr() const { return cast<Expr>(SubExprs[LHS]); } |
3650 | |
3651 | |
3652 | |
3653 | |
3654 | Expr *getFalseExpr() const { return cast<Expr>(SubExprs[RHS]); } |
3655 | |
3656 | Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); } |
3657 | Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); } |
3658 | |
3659 | SourceLocation getBeginLoc() const LLVM_READONLY { |
3660 | return getCond()->getBeginLoc(); |
3661 | } |
3662 | SourceLocation getEndLoc() const LLVM_READONLY { |
3663 | return getRHS()->getEndLoc(); |
3664 | } |
3665 | |
3666 | static bool classof(const Stmt *T) { |
3667 | return T->getStmtClass() == ConditionalOperatorClass; |
3668 | } |
3669 | |
3670 | |
3671 | child_range children() { |
3672 | return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR); |
3673 | } |
3674 | const_child_range children() const { |
3675 | return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR); |
3676 | } |
3677 | }; |
3678 | |
3679 | |
3680 | |
3681 | |
3682 | |
3683 | |
3684 | class BinaryConditionalOperator : public AbstractConditionalOperator { |
3685 | enum { COMMON, COND, LHS, RHS, NUM_SUBEXPRS }; |
3686 | |
3687 | |
3688 | |
3689 | |
3690 | |
3691 | |
3692 | Stmt *SubExprs[NUM_SUBEXPRS]; |
3693 | OpaqueValueExpr *OpaqueValue; |
3694 | |
3695 | friend class ASTStmtReader; |
3696 | public: |
3697 | BinaryConditionalOperator(Expr *common, OpaqueValueExpr *opaqueValue, |
3698 | Expr *cond, Expr *lhs, Expr *rhs, |
3699 | SourceLocation qloc, SourceLocation cloc, |
3700 | QualType t, ExprValueKind VK, ExprObjectKind OK) |
3701 | : AbstractConditionalOperator(BinaryConditionalOperatorClass, t, VK, OK, |
3702 | (common->isTypeDependent() || rhs->isTypeDependent()), |
3703 | (common->isValueDependent() || rhs->isValueDependent()), |
3704 | (common->isInstantiationDependent() || |
3705 | rhs->isInstantiationDependent()), |
3706 | (common->containsUnexpandedParameterPack() || |
3707 | rhs->containsUnexpandedParameterPack()), |
3708 | qloc, cloc), |
3709 | OpaqueValue(opaqueValue) { |
3710 | SubExprs[COMMON] = common; |
3711 | SubExprs[COND] = cond; |
3712 | SubExprs[LHS] = lhs; |
3713 | SubExprs[RHS] = rhs; |
3714 | (0) . __assert_fail ("OpaqueValue->getSourceExpr() == common && \"Wrong opaque value\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3714, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(OpaqueValue->getSourceExpr() == common && "Wrong opaque value"); |
3715 | } |
3716 | |
3717 | |
3718 | explicit BinaryConditionalOperator(EmptyShell Empty) |
3719 | : AbstractConditionalOperator(BinaryConditionalOperatorClass, Empty) { } |
3720 | |
3721 | |
3722 | |
3723 | |
3724 | Expr *getCommon() const { return cast<Expr>(SubExprs[COMMON]); } |
3725 | |
3726 | |
3727 | OpaqueValueExpr *getOpaqueValue() const { return OpaqueValue; } |
3728 | |
3729 | |
3730 | |
3731 | Expr *getCond() const { return cast<Expr>(SubExprs[COND]); } |
3732 | |
3733 | |
3734 | |
3735 | |
3736 | Expr *getTrueExpr() const { |
3737 | return cast<Expr>(SubExprs[LHS]); |
3738 | } |
3739 | |
3740 | |
3741 | |
3742 | |
3743 | Expr *getFalseExpr() const { |
3744 | return cast<Expr>(SubExprs[RHS]); |
3745 | } |
3746 | |
3747 | SourceLocation getBeginLoc() const LLVM_READONLY { |
3748 | return getCommon()->getBeginLoc(); |
3749 | } |
3750 | SourceLocation getEndLoc() const LLVM_READONLY { |
3751 | return getFalseExpr()->getEndLoc(); |
3752 | } |
3753 | |
3754 | static bool classof(const Stmt *T) { |
3755 | return T->getStmtClass() == BinaryConditionalOperatorClass; |
3756 | } |
3757 | |
3758 | |
3759 | child_range children() { |
3760 | return child_range(SubExprs, SubExprs + NUM_SUBEXPRS); |
3761 | } |
3762 | const_child_range children() const { |
3763 | return const_child_range(SubExprs, SubExprs + NUM_SUBEXPRS); |
3764 | } |
3765 | }; |
3766 | |
3767 | inline Expr *AbstractConditionalOperator::getCond() const { |
3768 | if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this)) |
3769 | return co->getCond(); |
3770 | return cast<BinaryConditionalOperator>(this)->getCond(); |
3771 | } |
3772 | |
3773 | inline Expr *AbstractConditionalOperator::getTrueExpr() const { |
3774 | if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this)) |
3775 | return co->getTrueExpr(); |
3776 | return cast<BinaryConditionalOperator>(this)->getTrueExpr(); |
3777 | } |
3778 | |
3779 | inline Expr *AbstractConditionalOperator::getFalseExpr() const { |
3780 | if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this)) |
3781 | return co->getFalseExpr(); |
3782 | return cast<BinaryConditionalOperator>(this)->getFalseExpr(); |
3783 | } |
3784 | |
3785 | |
3786 | class AddrLabelExpr : public Expr { |
3787 | SourceLocation AmpAmpLoc, LabelLoc; |
3788 | LabelDecl *Label; |
3789 | public: |
3790 | AddrLabelExpr(SourceLocation AALoc, SourceLocation LLoc, LabelDecl *L, |
3791 | QualType t) |
3792 | : Expr(AddrLabelExprClass, t, VK_RValue, OK_Ordinary, false, false, false, |
3793 | false), |
3794 | AmpAmpLoc(AALoc), LabelLoc(LLoc), Label(L) {} |
3795 | |
3796 | |
3797 | explicit AddrLabelExpr(EmptyShell Empty) |
3798 | : Expr(AddrLabelExprClass, Empty) { } |
3799 | |
3800 | SourceLocation getAmpAmpLoc() const { return AmpAmpLoc; } |
3801 | void setAmpAmpLoc(SourceLocation L) { AmpAmpLoc = L; } |
3802 | SourceLocation getLabelLoc() const { return LabelLoc; } |
3803 | void setLabelLoc(SourceLocation L) { LabelLoc = L; } |
3804 | |
3805 | SourceLocation getBeginLoc() const LLVM_READONLY { return AmpAmpLoc; } |
3806 | SourceLocation getEndLoc() const LLVM_READONLY { return LabelLoc; } |
3807 | |
3808 | LabelDecl *getLabel() const { return Label; } |
3809 | void setLabel(LabelDecl *L) { Label = L; } |
3810 | |
3811 | static bool classof(const Stmt *T) { |
3812 | return T->getStmtClass() == AddrLabelExprClass; |
3813 | } |
3814 | |
3815 | |
3816 | child_range children() { |
3817 | return child_range(child_iterator(), child_iterator()); |
3818 | } |
3819 | const_child_range children() const { |
3820 | return const_child_range(const_child_iterator(), const_child_iterator()); |
3821 | } |
3822 | }; |
3823 | |
3824 | |
3825 | |
3826 | |
3827 | |
3828 | |
3829 | |
3830 | class StmtExpr : public Expr { |
3831 | Stmt *SubStmt; |
3832 | SourceLocation LParenLoc, RParenLoc; |
3833 | public: |
3834 | |
3835 | |
3836 | |
3837 | StmtExpr(CompoundStmt *substmt, QualType T, |
3838 | SourceLocation lp, SourceLocation rp) : |
3839 | Expr(StmtExprClass, T, VK_RValue, OK_Ordinary, |
3840 | T->isDependentType(), false, false, false), |
3841 | SubStmt(substmt), LParenLoc(lp), RParenLoc(rp) { } |
3842 | |
3843 | |
3844 | explicit StmtExpr(EmptyShell Empty) : Expr(StmtExprClass, Empty) { } |
3845 | |
3846 | CompoundStmt *getSubStmt() { return cast<CompoundStmt>(SubStmt); } |
3847 | const CompoundStmt *getSubStmt() const { return cast<CompoundStmt>(SubStmt); } |
3848 | void setSubStmt(CompoundStmt *S) { SubStmt = S; } |
3849 | |
3850 | SourceLocation getBeginLoc() const LLVM_READONLY { return LParenLoc; } |
3851 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
3852 | |
3853 | SourceLocation getLParenLoc() const { return LParenLoc; } |
3854 | void setLParenLoc(SourceLocation L) { LParenLoc = L; } |
3855 | SourceLocation getRParenLoc() const { return RParenLoc; } |
3856 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
3857 | |
3858 | static bool classof(const Stmt *T) { |
3859 | return T->getStmtClass() == StmtExprClass; |
3860 | } |
3861 | |
3862 | |
3863 | child_range children() { return child_range(&SubStmt, &SubStmt+1); } |
3864 | const_child_range children() const { |
3865 | return const_child_range(&SubStmt, &SubStmt + 1); |
3866 | } |
3867 | }; |
3868 | |
3869 | |
3870 | |
3871 | |
3872 | |
3873 | |
3874 | |
3875 | class ShuffleVectorExpr : public Expr { |
3876 | SourceLocation BuiltinLoc, RParenLoc; |
3877 | |
3878 | |
3879 | |
3880 | |
3881 | |
3882 | Stmt **SubExprs; |
3883 | unsigned NumExprs; |
3884 | |
3885 | public: |
3886 | ShuffleVectorExpr(const ASTContext &C, ArrayRef<Expr*> args, QualType Type, |
3887 | SourceLocation BLoc, SourceLocation RP); |
3888 | |
3889 | |
3890 | explicit ShuffleVectorExpr(EmptyShell Empty) |
3891 | : Expr(ShuffleVectorExprClass, Empty), SubExprs(nullptr) { } |
3892 | |
3893 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
3894 | void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; } |
3895 | |
3896 | SourceLocation getRParenLoc() const { return RParenLoc; } |
3897 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
3898 | |
3899 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
3900 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
3901 | |
3902 | static bool classof(const Stmt *T) { |
3903 | return T->getStmtClass() == ShuffleVectorExprClass; |
3904 | } |
3905 | |
3906 | |
3907 | |
3908 | |
3909 | unsigned getNumSubExprs() const { return NumExprs; } |
3910 | |
3911 | |
3912 | Expr **getSubExprs() { return reinterpret_cast<Expr **>(SubExprs); } |
3913 | |
3914 | |
3915 | Expr *getExpr(unsigned Index) { |
3916 | (0) . __assert_fail ("(Index < NumExprs) && \"Arg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3916, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((Index < NumExprs) && "Arg access out of range!"); |
3917 | return cast<Expr>(SubExprs[Index]); |
3918 | } |
3919 | const Expr *getExpr(unsigned Index) const { |
3920 | (0) . __assert_fail ("(Index < NumExprs) && \"Arg access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3920, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((Index < NumExprs) && "Arg access out of range!"); |
3921 | return cast<Expr>(SubExprs[Index]); |
3922 | } |
3923 | |
3924 | void setExprs(const ASTContext &C, ArrayRef<Expr *> Exprs); |
3925 | |
3926 | llvm::APSInt getShuffleMaskIdx(const ASTContext &Ctx, unsigned N) const { |
3927 | (0) . __assert_fail ("(N < NumExprs - 2) && \"Shuffle idx out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 3927, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((N < NumExprs - 2) && "Shuffle idx out of range!"); |
3928 | return getExpr(N+2)->EvaluateKnownConstInt(Ctx); |
3929 | } |
3930 | |
3931 | |
3932 | child_range children() { |
3933 | return child_range(&SubExprs[0], &SubExprs[0]+NumExprs); |
3934 | } |
3935 | const_child_range children() const { |
3936 | return const_child_range(&SubExprs[0], &SubExprs[0] + NumExprs); |
3937 | } |
3938 | }; |
3939 | |
3940 | |
3941 | |
3942 | |
3943 | class ConvertVectorExpr : public Expr { |
3944 | private: |
3945 | Stmt *SrcExpr; |
3946 | TypeSourceInfo *TInfo; |
3947 | SourceLocation BuiltinLoc, RParenLoc; |
3948 | |
3949 | friend class ASTReader; |
3950 | friend class ASTStmtReader; |
3951 | explicit ConvertVectorExpr(EmptyShell Empty) : Expr(ConvertVectorExprClass, Empty) {} |
3952 | |
3953 | public: |
3954 | ConvertVectorExpr(Expr* SrcExpr, TypeSourceInfo *TI, QualType DstType, |
3955 | ExprValueKind VK, ExprObjectKind OK, |
3956 | SourceLocation BuiltinLoc, SourceLocation RParenLoc) |
3957 | : Expr(ConvertVectorExprClass, DstType, VK, OK, |
3958 | DstType->isDependentType(), |
3959 | DstType->isDependentType() || SrcExpr->isValueDependent(), |
3960 | (DstType->isInstantiationDependentType() || |
3961 | SrcExpr->isInstantiationDependent()), |
3962 | (DstType->containsUnexpandedParameterPack() || |
3963 | SrcExpr->containsUnexpandedParameterPack())), |
3964 | SrcExpr(SrcExpr), TInfo(TI), BuiltinLoc(BuiltinLoc), RParenLoc(RParenLoc) {} |
3965 | |
3966 | |
3967 | Expr *getSrcExpr() const { return cast<Expr>(SrcExpr); } |
3968 | |
3969 | |
3970 | TypeSourceInfo *getTypeSourceInfo() const { |
3971 | return TInfo; |
3972 | } |
3973 | void setTypeSourceInfo(TypeSourceInfo *ti) { |
3974 | TInfo = ti; |
3975 | } |
3976 | |
3977 | |
3978 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
3979 | |
3980 | |
3981 | SourceLocation getRParenLoc() const { return RParenLoc; } |
3982 | |
3983 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
3984 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
3985 | |
3986 | static bool classof(const Stmt *T) { |
3987 | return T->getStmtClass() == ConvertVectorExprClass; |
3988 | } |
3989 | |
3990 | |
3991 | child_range children() { return child_range(&SrcExpr, &SrcExpr+1); } |
3992 | const_child_range children() const { |
3993 | return const_child_range(&SrcExpr, &SrcExpr + 1); |
3994 | } |
3995 | }; |
3996 | |
3997 | |
3998 | |
3999 | |
4000 | |
4001 | |
4002 | |
4003 | |
4004 | |
4005 | |
4006 | class ChooseExpr : public Expr { |
4007 | enum { COND, LHS, RHS, END_EXPR }; |
4008 | Stmt* SubExprs[END_EXPR]; |
4009 | SourceLocation BuiltinLoc, RParenLoc; |
4010 | bool CondIsTrue; |
4011 | public: |
4012 | ChooseExpr(SourceLocation BLoc, Expr *cond, Expr *lhs, Expr *rhs, |
4013 | QualType t, ExprValueKind VK, ExprObjectKind OK, |
4014 | SourceLocation RP, bool condIsTrue, |
4015 | bool TypeDependent, bool ValueDependent) |
4016 | : Expr(ChooseExprClass, t, VK, OK, TypeDependent, ValueDependent, |
4017 | (cond->isInstantiationDependent() || |
4018 | lhs->isInstantiationDependent() || |
4019 | rhs->isInstantiationDependent()), |
4020 | (cond->containsUnexpandedParameterPack() || |
4021 | lhs->containsUnexpandedParameterPack() || |
4022 | rhs->containsUnexpandedParameterPack())), |
4023 | BuiltinLoc(BLoc), RParenLoc(RP), CondIsTrue(condIsTrue) { |
4024 | SubExprs[COND] = cond; |
4025 | SubExprs[LHS] = lhs; |
4026 | SubExprs[RHS] = rhs; |
4027 | } |
4028 | |
4029 | |
4030 | explicit ChooseExpr(EmptyShell Empty) : Expr(ChooseExprClass, Empty) { } |
4031 | |
4032 | |
4033 | |
4034 | bool isConditionTrue() const { |
4035 | (0) . __assert_fail ("!isConditionDependent() && \"Dependent condition isn't true or false\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4036, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(!isConditionDependent() && |
4036 | (0) . __assert_fail ("!isConditionDependent() && \"Dependent condition isn't true or false\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4036, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Dependent condition isn't true or false"); |
4037 | return CondIsTrue; |
4038 | } |
4039 | void setIsConditionTrue(bool isTrue) { CondIsTrue = isTrue; } |
4040 | |
4041 | bool isConditionDependent() const { |
4042 | return getCond()->isTypeDependent() || getCond()->isValueDependent(); |
4043 | } |
4044 | |
4045 | |
4046 | |
4047 | Expr *getChosenSubExpr() const { |
4048 | return isConditionTrue() ? getLHS() : getRHS(); |
4049 | } |
4050 | |
4051 | Expr *getCond() const { return cast<Expr>(SubExprs[COND]); } |
4052 | void setCond(Expr *E) { SubExprs[COND] = E; } |
4053 | Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); } |
4054 | void setLHS(Expr *E) { SubExprs[LHS] = E; } |
4055 | Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); } |
4056 | void setRHS(Expr *E) { SubExprs[RHS] = E; } |
4057 | |
4058 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
4059 | void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; } |
4060 | |
4061 | SourceLocation getRParenLoc() const { return RParenLoc; } |
4062 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
4063 | |
4064 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
4065 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
4066 | |
4067 | static bool classof(const Stmt *T) { |
4068 | return T->getStmtClass() == ChooseExprClass; |
4069 | } |
4070 | |
4071 | |
4072 | child_range children() { |
4073 | return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR); |
4074 | } |
4075 | const_child_range children() const { |
4076 | return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR); |
4077 | } |
4078 | }; |
4079 | |
4080 | |
4081 | |
4082 | |
4083 | |
4084 | |
4085 | |
4086 | class GNUNullExpr : public Expr { |
4087 | |
4088 | SourceLocation TokenLoc; |
4089 | |
4090 | public: |
4091 | GNUNullExpr(QualType Ty, SourceLocation Loc) |
4092 | : Expr(GNUNullExprClass, Ty, VK_RValue, OK_Ordinary, false, false, false, |
4093 | false), |
4094 | TokenLoc(Loc) { } |
4095 | |
4096 | |
4097 | explicit GNUNullExpr(EmptyShell Empty) : Expr(GNUNullExprClass, Empty) { } |
4098 | |
4099 | |
4100 | SourceLocation getTokenLocation() const { return TokenLoc; } |
4101 | void setTokenLocation(SourceLocation L) { TokenLoc = L; } |
4102 | |
4103 | SourceLocation getBeginLoc() const LLVM_READONLY { return TokenLoc; } |
4104 | SourceLocation getEndLoc() const LLVM_READONLY { return TokenLoc; } |
4105 | |
4106 | static bool classof(const Stmt *T) { |
4107 | return T->getStmtClass() == GNUNullExprClass; |
4108 | } |
4109 | |
4110 | |
4111 | child_range children() { |
4112 | return child_range(child_iterator(), child_iterator()); |
4113 | } |
4114 | const_child_range children() const { |
4115 | return const_child_range(const_child_iterator(), const_child_iterator()); |
4116 | } |
4117 | }; |
4118 | |
4119 | |
4120 | class VAArgExpr : public Expr { |
4121 | Stmt *Val; |
4122 | llvm::PointerIntPair<TypeSourceInfo *, 1, bool> TInfo; |
4123 | SourceLocation BuiltinLoc, RParenLoc; |
4124 | public: |
4125 | VAArgExpr(SourceLocation BLoc, Expr *e, TypeSourceInfo *TInfo, |
4126 | SourceLocation RPLoc, QualType t, bool IsMS) |
4127 | : Expr(VAArgExprClass, t, VK_RValue, OK_Ordinary, t->isDependentType(), |
4128 | false, (TInfo->getType()->isInstantiationDependentType() || |
4129 | e->isInstantiationDependent()), |
4130 | (TInfo->getType()->containsUnexpandedParameterPack() || |
4131 | e->containsUnexpandedParameterPack())), |
4132 | Val(e), TInfo(TInfo, IsMS), BuiltinLoc(BLoc), RParenLoc(RPLoc) {} |
4133 | |
4134 | |
4135 | explicit VAArgExpr(EmptyShell Empty) |
4136 | : Expr(VAArgExprClass, Empty), Val(nullptr), TInfo(nullptr, false) {} |
4137 | |
4138 | const Expr *getSubExpr() const { return cast<Expr>(Val); } |
4139 | Expr *getSubExpr() { return cast<Expr>(Val); } |
4140 | void setSubExpr(Expr *E) { Val = E; } |
4141 | |
4142 | |
4143 | bool isMicrosoftABI() const { return TInfo.getInt(); } |
4144 | void setIsMicrosoftABI(bool IsMS) { TInfo.setInt(IsMS); } |
4145 | |
4146 | TypeSourceInfo *getWrittenTypeInfo() const { return TInfo.getPointer(); } |
4147 | void setWrittenTypeInfo(TypeSourceInfo *TI) { TInfo.setPointer(TI); } |
4148 | |
4149 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
4150 | void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; } |
4151 | |
4152 | SourceLocation getRParenLoc() const { return RParenLoc; } |
4153 | void setRParenLoc(SourceLocation L) { RParenLoc = L; } |
4154 | |
4155 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
4156 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
4157 | |
4158 | static bool classof(const Stmt *T) { |
4159 | return T->getStmtClass() == VAArgExprClass; |
4160 | } |
4161 | |
4162 | |
4163 | child_range children() { return child_range(&Val, &Val+1); } |
4164 | const_child_range children() const { |
4165 | return const_child_range(&Val, &Val + 1); |
4166 | } |
4167 | }; |
4168 | |
4169 | |
4170 | |
4171 | |
4172 | |
4173 | |
4174 | |
4175 | |
4176 | |
4177 | |
4178 | |
4179 | |
4180 | |
4181 | |
4182 | |
4183 | |
4184 | |
4185 | |
4186 | |
4187 | |
4188 | |
4189 | |
4190 | |
4191 | |
4192 | |
4193 | |
4194 | |
4195 | |
4196 | |
4197 | |
4198 | |
4199 | |
4200 | |
4201 | |
4202 | |
4203 | |
4204 | |
4205 | |
4206 | |
4207 | |
4208 | |
4209 | |
4210 | |
4211 | |
4212 | |
4213 | |
4214 | class InitListExpr : public Expr { |
4215 | |
4216 | typedef ASTVector<Stmt *> InitExprsTy; |
4217 | InitExprsTy InitExprs; |
4218 | SourceLocation LBraceLoc, RBraceLoc; |
4219 | |
4220 | |
4221 | |
4222 | |
4223 | |
4224 | |
4225 | llvm::PointerIntPair<InitListExpr *, 1, bool> AltForm; |
4226 | |
4227 | |
4228 | |
4229 | |
4230 | |
4231 | |
4232 | |
4233 | |
4234 | llvm::PointerUnion<Expr *, FieldDecl *> ArrayFillerOrUnionFieldInit; |
4235 | |
4236 | public: |
4237 | InitListExpr(const ASTContext &C, SourceLocation lbraceloc, |
4238 | ArrayRef<Expr*> initExprs, SourceLocation rbraceloc); |
4239 | |
4240 | |
4241 | explicit InitListExpr(EmptyShell Empty) |
4242 | : Expr(InitListExprClass, Empty), AltForm(nullptr, true) { } |
4243 | |
4244 | unsigned getNumInits() const { return InitExprs.size(); } |
4245 | |
4246 | |
4247 | Expr **getInits() { return reinterpret_cast<Expr **>(InitExprs.data()); } |
4248 | |
4249 | |
4250 | Expr * const *getInits() const { |
4251 | return reinterpret_cast<Expr * const *>(InitExprs.data()); |
4252 | } |
4253 | |
4254 | ArrayRef<Expr *> inits() { |
4255 | return llvm::makeArrayRef(getInits(), getNumInits()); |
4256 | } |
4257 | |
4258 | ArrayRef<Expr *> inits() const { |
4259 | return llvm::makeArrayRef(getInits(), getNumInits()); |
4260 | } |
4261 | |
4262 | const Expr *getInit(unsigned Init) const { |
4263 | (0) . __assert_fail ("Init < getNumInits() && \"Initializer access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4263, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Init < getNumInits() && "Initializer access out of range!"); |
4264 | return cast_or_null<Expr>(InitExprs[Init]); |
4265 | } |
4266 | |
4267 | Expr *getInit(unsigned Init) { |
4268 | (0) . __assert_fail ("Init < getNumInits() && \"Initializer access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4268, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Init < getNumInits() && "Initializer access out of range!"); |
4269 | return cast_or_null<Expr>(InitExprs[Init]); |
4270 | } |
4271 | |
4272 | void setInit(unsigned Init, Expr *expr) { |
4273 | (0) . __assert_fail ("Init < getNumInits() && \"Initializer access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4273, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Init < getNumInits() && "Initializer access out of range!"); |
4274 | InitExprs[Init] = expr; |
4275 | |
4276 | if (expr) { |
4277 | ExprBits.TypeDependent |= expr->isTypeDependent(); |
4278 | ExprBits.ValueDependent |= expr->isValueDependent(); |
4279 | ExprBits.InstantiationDependent |= expr->isInstantiationDependent(); |
4280 | ExprBits.ContainsUnexpandedParameterPack |= |
4281 | expr->containsUnexpandedParameterPack(); |
4282 | } |
4283 | } |
4284 | |
4285 | |
4286 | void reserveInits(const ASTContext &C, unsigned NumInits); |
4287 | |
4288 | |
4289 | |
4290 | |
4291 | |
4292 | |
4293 | |
4294 | void resizeInits(const ASTContext &Context, unsigned NumInits); |
4295 | |
4296 | |
4297 | |
4298 | |
4299 | |
4300 | |
4301 | |
4302 | |
4303 | Expr *updateInit(const ASTContext &C, unsigned Init, Expr *expr); |
4304 | |
4305 | |
4306 | |
4307 | |
4308 | Expr *getArrayFiller() { |
4309 | return ArrayFillerOrUnionFieldInit.dyn_cast<Expr *>(); |
4310 | } |
4311 | const Expr *getArrayFiller() const { |
4312 | return const_cast<InitListExpr *>(this)->getArrayFiller(); |
4313 | } |
4314 | void setArrayFiller(Expr *filler); |
4315 | |
4316 | |
4317 | |
4318 | bool hasArrayFiller() const { return getArrayFiller(); } |
4319 | |
4320 | |
4321 | |
4322 | |
4323 | |
4324 | |
4325 | |
4326 | FieldDecl *getInitializedFieldInUnion() { |
4327 | return ArrayFillerOrUnionFieldInit.dyn_cast<FieldDecl *>(); |
4328 | } |
4329 | const FieldDecl *getInitializedFieldInUnion() const { |
4330 | return const_cast<InitListExpr *>(this)->getInitializedFieldInUnion(); |
4331 | } |
4332 | void setInitializedFieldInUnion(FieldDecl *FD) { |
4333 | (0) . __assert_fail ("(FD == nullptr || getInitializedFieldInUnion() == nullptr || getInitializedFieldInUnion() == FD) && \"Only one field of a union may be initialized at a time!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((FD == nullptr |
4334 | (0) . __assert_fail ("(FD == nullptr || getInitializedFieldInUnion() == nullptr || getInitializedFieldInUnion() == FD) && \"Only one field of a union may be initialized at a time!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> || getInitializedFieldInUnion() == nullptr |
4335 | (0) . __assert_fail ("(FD == nullptr || getInitializedFieldInUnion() == nullptr || getInitializedFieldInUnion() == FD) && \"Only one field of a union may be initialized at a time!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> || getInitializedFieldInUnion() == FD) |
4336 | (0) . __assert_fail ("(FD == nullptr || getInitializedFieldInUnion() == nullptr || getInitializedFieldInUnion() == FD) && \"Only one field of a union may be initialized at a time!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4336, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> && "Only one field of a union may be initialized at a time!"); |
4337 | ArrayFillerOrUnionFieldInit = FD; |
4338 | } |
4339 | |
4340 | |
4341 | |
4342 | bool isExplicit() const { |
4343 | return LBraceLoc.isValid() && RBraceLoc.isValid(); |
4344 | } |
4345 | |
4346 | |
4347 | |
4348 | bool isStringLiteralInit() const; |
4349 | |
4350 | |
4351 | |
4352 | |
4353 | bool isTransparent() const; |
4354 | |
4355 | |
4356 | |
4357 | bool isIdiomaticZeroInitializer(const LangOptions &LangOpts) const; |
4358 | |
4359 | SourceLocation getLBraceLoc() const { return LBraceLoc; } |
4360 | void setLBraceLoc(SourceLocation Loc) { LBraceLoc = Loc; } |
4361 | SourceLocation getRBraceLoc() const { return RBraceLoc; } |
4362 | void setRBraceLoc(SourceLocation Loc) { RBraceLoc = Loc; } |
4363 | |
4364 | bool isSemanticForm() const { return AltForm.getInt(); } |
4365 | InitListExpr *getSemanticForm() const { |
4366 | return isSemanticForm() ? nullptr : AltForm.getPointer(); |
4367 | } |
4368 | bool isSyntacticForm() const { |
4369 | return !AltForm.getInt() || !AltForm.getPointer(); |
4370 | } |
4371 | InitListExpr *getSyntacticForm() const { |
4372 | return isSemanticForm() ? AltForm.getPointer() : nullptr; |
4373 | } |
4374 | |
4375 | void setSyntacticForm(InitListExpr *Init) { |
4376 | AltForm.setPointer(Init); |
4377 | AltForm.setInt(true); |
4378 | Init->AltForm.setPointer(this); |
4379 | Init->AltForm.setInt(false); |
4380 | } |
4381 | |
4382 | bool hadArrayRangeDesignator() const { |
4383 | return InitListExprBits.HadArrayRangeDesignator != 0; |
4384 | } |
4385 | void sawArrayRangeDesignator(bool ARD = true) { |
4386 | InitListExprBits.HadArrayRangeDesignator = ARD; |
4387 | } |
4388 | |
4389 | SourceLocation getBeginLoc() const LLVM_READONLY; |
4390 | SourceLocation getEndLoc() const LLVM_READONLY; |
4391 | |
4392 | static bool classof(const Stmt *T) { |
4393 | return T->getStmtClass() == InitListExprClass; |
4394 | } |
4395 | |
4396 | |
4397 | child_range children() { |
4398 | const_child_range CCR = const_cast<const InitListExpr *>(this)->children(); |
4399 | return child_range(cast_away_const(CCR.begin()), |
4400 | cast_away_const(CCR.end())); |
4401 | } |
4402 | |
4403 | const_child_range children() const { |
4404 | |
4405 | if (InitExprs.empty()) |
4406 | return const_child_range(const_child_iterator(), const_child_iterator()); |
4407 | return const_child_range(&InitExprs[0], &InitExprs[0] + InitExprs.size()); |
4408 | } |
4409 | |
4410 | typedef InitExprsTy::iterator iterator; |
4411 | typedef InitExprsTy::const_iterator const_iterator; |
4412 | typedef InitExprsTy::reverse_iterator reverse_iterator; |
4413 | typedef InitExprsTy::const_reverse_iterator const_reverse_iterator; |
4414 | |
4415 | iterator begin() { return InitExprs.begin(); } |
4416 | const_iterator begin() const { return InitExprs.begin(); } |
4417 | iterator end() { return InitExprs.end(); } |
4418 | const_iterator end() const { return InitExprs.end(); } |
4419 | reverse_iterator rbegin() { return InitExprs.rbegin(); } |
4420 | const_reverse_iterator rbegin() const { return InitExprs.rbegin(); } |
4421 | reverse_iterator rend() { return InitExprs.rend(); } |
4422 | const_reverse_iterator rend() const { return InitExprs.rend(); } |
4423 | |
4424 | friend class ASTStmtReader; |
4425 | friend class ASTStmtWriter; |
4426 | }; |
4427 | |
4428 | |
4429 | |
4430 | |
4431 | |
4432 | |
4433 | |
4434 | |
4435 | |
4436 | |
4437 | |
4438 | |
4439 | |
4440 | |
4441 | |
4442 | |
4443 | |
4444 | |
4445 | |
4446 | |
4447 | |
4448 | class DesignatedInitExpr final |
4449 | : public Expr, |
4450 | private llvm::TrailingObjects<DesignatedInitExpr, Stmt *> { |
4451 | public: |
4452 | |
4453 | class Designator; |
4454 | |
4455 | private: |
4456 | |
4457 | |
4458 | SourceLocation EqualOrColonLoc; |
4459 | |
4460 | |
4461 | |
4462 | unsigned GNUSyntax : 1; |
4463 | |
4464 | |
4465 | unsigned NumDesignators : 15; |
4466 | |
4467 | |
4468 | |
4469 | |
4470 | unsigned NumSubExprs : 16; |
4471 | |
4472 | |
4473 | |
4474 | Designator *Designators; |
4475 | |
4476 | DesignatedInitExpr(const ASTContext &C, QualType Ty, |
4477 | llvm::ArrayRef<Designator> Designators, |
4478 | SourceLocation EqualOrColonLoc, bool GNUSyntax, |
4479 | ArrayRef<Expr *> IndexExprs, Expr *Init); |
4480 | |
4481 | explicit DesignatedInitExpr(unsigned NumSubExprs) |
4482 | : Expr(DesignatedInitExprClass, EmptyShell()), |
4483 | NumDesignators(0), NumSubExprs(NumSubExprs), Designators(nullptr) { } |
4484 | |
4485 | public: |
4486 | |
4487 | struct FieldDesignator { |
4488 | |
4489 | |
4490 | |
4491 | |
4492 | |
4493 | |
4494 | uintptr_t NameOrField; |
4495 | |
4496 | |
4497 | unsigned DotLoc; |
4498 | |
4499 | |
4500 | unsigned FieldLoc; |
4501 | }; |
4502 | |
4503 | |
4504 | struct ArrayOrRangeDesignator { |
4505 | |
4506 | |
4507 | unsigned Index; |
4508 | |
4509 | unsigned LBracketLoc; |
4510 | |
4511 | |
4512 | unsigned EllipsisLoc; |
4513 | |
4514 | unsigned RBracketLoc; |
4515 | }; |
4516 | |
4517 | |
4518 | |
4519 | |
4520 | |
4521 | |
4522 | |
4523 | class Designator { |
4524 | |
4525 | enum { |
4526 | FieldDesignator, |
4527 | ArrayDesignator, |
4528 | ArrayRangeDesignator |
4529 | } Kind; |
4530 | |
4531 | union { |
4532 | |
4533 | struct FieldDesignator Field; |
4534 | |
4535 | struct ArrayOrRangeDesignator ArrayOrRange; |
4536 | }; |
4537 | friend class DesignatedInitExpr; |
4538 | |
4539 | public: |
4540 | Designator() {} |
4541 | |
4542 | |
4543 | Designator(const IdentifierInfo *FieldName, SourceLocation DotLoc, |
4544 | SourceLocation FieldLoc) |
4545 | : Kind(FieldDesignator) { |
4546 | Field.NameOrField = reinterpret_cast<uintptr_t>(FieldName) | 0x01; |
4547 | Field.DotLoc = DotLoc.getRawEncoding(); |
4548 | Field.FieldLoc = FieldLoc.getRawEncoding(); |
4549 | } |
4550 | |
4551 | |
4552 | Designator(unsigned Index, SourceLocation LBracketLoc, |
4553 | SourceLocation RBracketLoc) |
4554 | : Kind(ArrayDesignator) { |
4555 | ArrayOrRange.Index = Index; |
4556 | ArrayOrRange.LBracketLoc = LBracketLoc.getRawEncoding(); |
4557 | ArrayOrRange.EllipsisLoc = SourceLocation().getRawEncoding(); |
4558 | ArrayOrRange.RBracketLoc = RBracketLoc.getRawEncoding(); |
4559 | } |
4560 | |
4561 | |
4562 | Designator(unsigned Index, SourceLocation LBracketLoc, |
4563 | SourceLocation EllipsisLoc, SourceLocation RBracketLoc) |
4564 | : Kind(ArrayRangeDesignator) { |
4565 | ArrayOrRange.Index = Index; |
4566 | ArrayOrRange.LBracketLoc = LBracketLoc.getRawEncoding(); |
4567 | ArrayOrRange.EllipsisLoc = EllipsisLoc.getRawEncoding(); |
4568 | ArrayOrRange.RBracketLoc = RBracketLoc.getRawEncoding(); |
4569 | } |
4570 | |
4571 | bool isFieldDesignator() const { return Kind == FieldDesignator; } |
4572 | bool isArrayDesignator() const { return Kind == ArrayDesignator; } |
4573 | bool isArrayRangeDesignator() const { return Kind == ArrayRangeDesignator; } |
4574 | |
4575 | IdentifierInfo *getFieldName() const; |
4576 | |
4577 | FieldDecl *getField() const { |
4578 | (0) . __assert_fail ("Kind == FieldDesignator && \"Only valid on a field designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4578, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Kind == FieldDesignator && "Only valid on a field designator"); |
4579 | if (Field.NameOrField & 0x01) |
4580 | return nullptr; |
4581 | else |
4582 | return reinterpret_cast<FieldDecl *>(Field.NameOrField); |
4583 | } |
4584 | |
4585 | void setField(FieldDecl *FD) { |
4586 | (0) . __assert_fail ("Kind == FieldDesignator && \"Only valid on a field designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4586, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Kind == FieldDesignator && "Only valid on a field designator"); |
4587 | Field.NameOrField = reinterpret_cast<uintptr_t>(FD); |
4588 | } |
4589 | |
4590 | SourceLocation getDotLoc() const { |
4591 | (0) . __assert_fail ("Kind == FieldDesignator && \"Only valid on a field designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4591, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Kind == FieldDesignator && "Only valid on a field designator"); |
4592 | return SourceLocation::getFromRawEncoding(Field.DotLoc); |
4593 | } |
4594 | |
4595 | SourceLocation getFieldLoc() const { |
4596 | (0) . __assert_fail ("Kind == FieldDesignator && \"Only valid on a field designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4596, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Kind == FieldDesignator && "Only valid on a field designator"); |
4597 | return SourceLocation::getFromRawEncoding(Field.FieldLoc); |
4598 | } |
4599 | |
4600 | SourceLocation getLBracketLoc() const { |
4601 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4602, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && |
4602 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4602, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Only valid on an array or array-range designator"); |
4603 | return SourceLocation::getFromRawEncoding(ArrayOrRange.LBracketLoc); |
4604 | } |
4605 | |
4606 | SourceLocation getRBracketLoc() const { |
4607 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4608, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && |
4608 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4608, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Only valid on an array or array-range designator"); |
4609 | return SourceLocation::getFromRawEncoding(ArrayOrRange.RBracketLoc); |
4610 | } |
4611 | |
4612 | SourceLocation getEllipsisLoc() const { |
4613 | (0) . __assert_fail ("Kind == ArrayRangeDesignator && \"Only valid on an array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4614, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Kind == ArrayRangeDesignator && |
4614 | (0) . __assert_fail ("Kind == ArrayRangeDesignator && \"Only valid on an array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4614, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Only valid on an array-range designator"); |
4615 | return SourceLocation::getFromRawEncoding(ArrayOrRange.EllipsisLoc); |
4616 | } |
4617 | |
4618 | unsigned getFirstExprIndex() const { |
4619 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4620, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && |
4620 | (0) . __assert_fail ("(Kind == ArrayDesignator || Kind == ArrayRangeDesignator) && \"Only valid on an array or array-range designator\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4620, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Only valid on an array or array-range designator"); |
4621 | return ArrayOrRange.Index; |
4622 | } |
4623 | |
4624 | SourceLocation getBeginLoc() const LLVM_READONLY { |
4625 | if (Kind == FieldDesignator) |
4626 | return getDotLoc().isInvalid()? getFieldLoc() : getDotLoc(); |
4627 | else |
4628 | return getLBracketLoc(); |
4629 | } |
4630 | SourceLocation getEndLoc() const LLVM_READONLY { |
4631 | return Kind == FieldDesignator ? getFieldLoc() : getRBracketLoc(); |
4632 | } |
4633 | SourceRange getSourceRange() const LLVM_READONLY { |
4634 | return SourceRange(getBeginLoc(), getEndLoc()); |
4635 | } |
4636 | }; |
4637 | |
4638 | static DesignatedInitExpr *Create(const ASTContext &C, |
4639 | llvm::ArrayRef<Designator> Designators, |
4640 | ArrayRef<Expr*> IndexExprs, |
4641 | SourceLocation EqualOrColonLoc, |
4642 | bool GNUSyntax, Expr *Init); |
4643 | |
4644 | static DesignatedInitExpr *CreateEmpty(const ASTContext &C, |
4645 | unsigned NumIndexExprs); |
4646 | |
4647 | |
4648 | unsigned size() const { return NumDesignators; } |
4649 | |
4650 | |
4651 | llvm::MutableArrayRef<Designator> designators() { |
4652 | return {Designators, NumDesignators}; |
4653 | } |
4654 | |
4655 | llvm::ArrayRef<Designator> designators() const { |
4656 | return {Designators, NumDesignators}; |
4657 | } |
4658 | |
4659 | Designator *getDesignator(unsigned Idx) { return &designators()[Idx]; } |
4660 | const Designator *getDesignator(unsigned Idx) const { |
4661 | return &designators()[Idx]; |
4662 | } |
4663 | |
4664 | void setDesignators(const ASTContext &C, const Designator *Desigs, |
4665 | unsigned NumDesigs); |
4666 | |
4667 | Expr *getArrayIndex(const Designator &D) const; |
4668 | Expr *getArrayRangeStart(const Designator &D) const; |
4669 | Expr *getArrayRangeEnd(const Designator &D) const; |
4670 | |
4671 | |
4672 | |
4673 | SourceLocation getEqualOrColonLoc() const { return EqualOrColonLoc; } |
4674 | void setEqualOrColonLoc(SourceLocation L) { EqualOrColonLoc = L; } |
4675 | |
4676 | |
4677 | |
4678 | bool usesGNUSyntax() const { return GNUSyntax; } |
4679 | void setGNUSyntax(bool GNU) { GNUSyntax = GNU; } |
4680 | |
4681 | |
4682 | Expr *getInit() const { |
4683 | return cast<Expr>(*const_cast<DesignatedInitExpr*>(this)->child_begin()); |
4684 | } |
4685 | |
4686 | void setInit(Expr *init) { |
4687 | *child_begin() = init; |
4688 | } |
4689 | |
4690 | |
4691 | |
4692 | |
4693 | |
4694 | unsigned getNumSubExprs() const { return NumSubExprs; } |
4695 | |
4696 | Expr *getSubExpr(unsigned Idx) const { |
4697 | (0) . __assert_fail ("Idx < NumSubExprs && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4697, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumSubExprs && "Subscript out of range"); |
4698 | return cast<Expr>(getTrailingObjects<Stmt *>()[Idx]); |
4699 | } |
4700 | |
4701 | void setSubExpr(unsigned Idx, Expr *E) { |
4702 | (0) . __assert_fail ("Idx < NumSubExprs && \"Subscript out of range\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4702, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Idx < NumSubExprs && "Subscript out of range"); |
4703 | getTrailingObjects<Stmt *>()[Idx] = E; |
4704 | } |
4705 | |
4706 | |
4707 | |
4708 | void ExpandDesignator(const ASTContext &C, unsigned Idx, |
4709 | const Designator *First, const Designator *Last); |
4710 | |
4711 | SourceRange () const; |
4712 | |
4713 | SourceLocation getBeginLoc() const LLVM_READONLY; |
4714 | SourceLocation getEndLoc() const LLVM_READONLY; |
4715 | |
4716 | static bool classof(const Stmt *T) { |
4717 | return T->getStmtClass() == DesignatedInitExprClass; |
4718 | } |
4719 | |
4720 | |
4721 | child_range children() { |
4722 | Stmt **begin = getTrailingObjects<Stmt *>(); |
4723 | return child_range(begin, begin + NumSubExprs); |
4724 | } |
4725 | const_child_range children() const { |
4726 | Stmt * const *begin = getTrailingObjects<Stmt *>(); |
4727 | return const_child_range(begin, begin + NumSubExprs); |
4728 | } |
4729 | |
4730 | friend TrailingObjects; |
4731 | }; |
4732 | |
4733 | |
4734 | |
4735 | |
4736 | |
4737 | |
4738 | |
4739 | |
4740 | |
4741 | |
4742 | class NoInitExpr : public Expr { |
4743 | public: |
4744 | explicit NoInitExpr(QualType ty) |
4745 | : Expr(NoInitExprClass, ty, VK_RValue, OK_Ordinary, |
4746 | false, false, ty->isInstantiationDependentType(), false) { } |
4747 | |
4748 | explicit NoInitExpr(EmptyShell Empty) |
4749 | : Expr(NoInitExprClass, Empty) { } |
4750 | |
4751 | static bool classof(const Stmt *T) { |
4752 | return T->getStmtClass() == NoInitExprClass; |
4753 | } |
4754 | |
4755 | SourceLocation getBeginLoc() const LLVM_READONLY { return SourceLocation(); } |
4756 | SourceLocation getEndLoc() const LLVM_READONLY { return SourceLocation(); } |
4757 | |
4758 | |
4759 | child_range children() { |
4760 | return child_range(child_iterator(), child_iterator()); |
4761 | } |
4762 | const_child_range children() const { |
4763 | return const_child_range(const_child_iterator(), const_child_iterator()); |
4764 | } |
4765 | }; |
4766 | |
4767 | |
4768 | |
4769 | |
4770 | |
4771 | |
4772 | |
4773 | |
4774 | |
4775 | |
4776 | |
4777 | |
4778 | class DesignatedInitUpdateExpr : public Expr { |
4779 | |
4780 | |
4781 | Stmt *BaseAndUpdaterExprs[2]; |
4782 | |
4783 | public: |
4784 | DesignatedInitUpdateExpr(const ASTContext &C, SourceLocation lBraceLoc, |
4785 | Expr *baseExprs, SourceLocation rBraceLoc); |
4786 | |
4787 | explicit DesignatedInitUpdateExpr(EmptyShell Empty) |
4788 | : Expr(DesignatedInitUpdateExprClass, Empty) { } |
4789 | |
4790 | SourceLocation getBeginLoc() const LLVM_READONLY; |
4791 | SourceLocation getEndLoc() const LLVM_READONLY; |
4792 | |
4793 | static bool classof(const Stmt *T) { |
4794 | return T->getStmtClass() == DesignatedInitUpdateExprClass; |
4795 | } |
4796 | |
4797 | Expr *getBase() const { return cast<Expr>(BaseAndUpdaterExprs[0]); } |
4798 | void setBase(Expr *Base) { BaseAndUpdaterExprs[0] = Base; } |
4799 | |
4800 | InitListExpr *getUpdater() const { |
4801 | return cast<InitListExpr>(BaseAndUpdaterExprs[1]); |
4802 | } |
4803 | void setUpdater(Expr *Updater) { BaseAndUpdaterExprs[1] = Updater; } |
4804 | |
4805 | |
4806 | |
4807 | child_range children() { |
4808 | return child_range(&BaseAndUpdaterExprs[0], &BaseAndUpdaterExprs[0] + 2); |
4809 | } |
4810 | const_child_range children() const { |
4811 | return const_child_range(&BaseAndUpdaterExprs[0], |
4812 | &BaseAndUpdaterExprs[0] + 2); |
4813 | } |
4814 | }; |
4815 | |
4816 | |
4817 | |
4818 | |
4819 | |
4820 | |
4821 | |
4822 | |
4823 | |
4824 | |
4825 | |
4826 | |
4827 | |
4828 | |
4829 | |
4830 | |
4831 | |
4832 | class ArrayInitLoopExpr : public Expr { |
4833 | Stmt *SubExprs[2]; |
4834 | |
4835 | explicit ArrayInitLoopExpr(EmptyShell Empty) |
4836 | : Expr(ArrayInitLoopExprClass, Empty), SubExprs{} {} |
4837 | |
4838 | public: |
4839 | explicit ArrayInitLoopExpr(QualType T, Expr *CommonInit, Expr *ElementInit) |
4840 | : Expr(ArrayInitLoopExprClass, T, VK_RValue, OK_Ordinary, false, |
4841 | CommonInit->isValueDependent() || ElementInit->isValueDependent(), |
4842 | T->isInstantiationDependentType(), |
4843 | CommonInit->containsUnexpandedParameterPack() || |
4844 | ElementInit->containsUnexpandedParameterPack()), |
4845 | SubExprs{CommonInit, ElementInit} {} |
4846 | |
4847 | |
4848 | |
4849 | OpaqueValueExpr *getCommonExpr() const { |
4850 | return cast<OpaqueValueExpr>(SubExprs[0]); |
4851 | } |
4852 | |
4853 | |
4854 | Expr *getSubExpr() const { return cast<Expr>(SubExprs[1]); } |
4855 | |
4856 | llvm::APInt getArraySize() const { |
4857 | return cast<ConstantArrayType>(getType()->castAsArrayTypeUnsafe()) |
4858 | ->getSize(); |
4859 | } |
4860 | |
4861 | static bool classof(const Stmt *S) { |
4862 | return S->getStmtClass() == ArrayInitLoopExprClass; |
4863 | } |
4864 | |
4865 | SourceLocation getBeginLoc() const LLVM_READONLY { |
4866 | return getCommonExpr()->getBeginLoc(); |
4867 | } |
4868 | SourceLocation getEndLoc() const LLVM_READONLY { |
4869 | return getCommonExpr()->getEndLoc(); |
4870 | } |
4871 | |
4872 | child_range children() { |
4873 | return child_range(SubExprs, SubExprs + 2); |
4874 | } |
4875 | const_child_range children() const { |
4876 | return const_child_range(SubExprs, SubExprs + 2); |
4877 | } |
4878 | |
4879 | friend class ASTReader; |
4880 | friend class ASTStmtReader; |
4881 | friend class ASTStmtWriter; |
4882 | }; |
4883 | |
4884 | |
4885 | |
4886 | |
4887 | class ArrayInitIndexExpr : public Expr { |
4888 | explicit ArrayInitIndexExpr(EmptyShell Empty) |
4889 | : Expr(ArrayInitIndexExprClass, Empty) {} |
4890 | |
4891 | public: |
4892 | explicit ArrayInitIndexExpr(QualType T) |
4893 | : Expr(ArrayInitIndexExprClass, T, VK_RValue, OK_Ordinary, |
4894 | false, false, false, false) {} |
4895 | |
4896 | static bool classof(const Stmt *S) { |
4897 | return S->getStmtClass() == ArrayInitIndexExprClass; |
4898 | } |
4899 | |
4900 | SourceLocation getBeginLoc() const LLVM_READONLY { return SourceLocation(); } |
4901 | SourceLocation getEndLoc() const LLVM_READONLY { return SourceLocation(); } |
4902 | |
4903 | child_range children() { |
4904 | return child_range(child_iterator(), child_iterator()); |
4905 | } |
4906 | const_child_range children() const { |
4907 | return const_child_range(const_child_iterator(), const_child_iterator()); |
4908 | } |
4909 | |
4910 | friend class ASTReader; |
4911 | friend class ASTStmtReader; |
4912 | }; |
4913 | |
4914 | |
4915 | |
4916 | |
4917 | |
4918 | |
4919 | |
4920 | |
4921 | |
4922 | class ImplicitValueInitExpr : public Expr { |
4923 | public: |
4924 | explicit ImplicitValueInitExpr(QualType ty) |
4925 | : Expr(ImplicitValueInitExprClass, ty, VK_RValue, OK_Ordinary, |
4926 | false, false, ty->isInstantiationDependentType(), false) { } |
4927 | |
4928 | |
4929 | explicit ImplicitValueInitExpr(EmptyShell Empty) |
4930 | : Expr(ImplicitValueInitExprClass, Empty) { } |
4931 | |
4932 | static bool classof(const Stmt *T) { |
4933 | return T->getStmtClass() == ImplicitValueInitExprClass; |
4934 | } |
4935 | |
4936 | SourceLocation getBeginLoc() const LLVM_READONLY { return SourceLocation(); } |
4937 | SourceLocation getEndLoc() const LLVM_READONLY { return SourceLocation(); } |
4938 | |
4939 | |
4940 | child_range children() { |
4941 | return child_range(child_iterator(), child_iterator()); |
4942 | } |
4943 | const_child_range children() const { |
4944 | return const_child_range(const_child_iterator(), const_child_iterator()); |
4945 | } |
4946 | }; |
4947 | |
4948 | class ParenListExpr final |
4949 | : public Expr, |
4950 | private llvm::TrailingObjects<ParenListExpr, Stmt *> { |
4951 | friend class ASTStmtReader; |
4952 | friend TrailingObjects; |
4953 | |
4954 | |
4955 | SourceLocation LParenLoc, RParenLoc; |
4956 | |
4957 | |
4958 | ParenListExpr(SourceLocation LParenLoc, ArrayRef<Expr *> Exprs, |
4959 | SourceLocation RParenLoc); |
4960 | |
4961 | |
4962 | ParenListExpr(EmptyShell Empty, unsigned NumExprs); |
4963 | |
4964 | public: |
4965 | |
4966 | static ParenListExpr *Create(const ASTContext &Ctx, SourceLocation LParenLoc, |
4967 | ArrayRef<Expr *> Exprs, |
4968 | SourceLocation RParenLoc); |
4969 | |
4970 | |
4971 | static ParenListExpr *CreateEmpty(const ASTContext &Ctx, unsigned NumExprs); |
4972 | |
4973 | |
4974 | unsigned getNumExprs() const { return ParenListExprBits.NumExprs; } |
4975 | |
4976 | Expr *getExpr(unsigned Init) { |
4977 | (0) . __assert_fail ("Init < getNumExprs() && \"Initializer access out of range!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 4977, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(Init < getNumExprs() && "Initializer access out of range!"); |
4978 | return getExprs()[Init]; |
4979 | } |
4980 | |
4981 | const Expr *getExpr(unsigned Init) const { |
4982 | return const_cast<ParenListExpr *>(this)->getExpr(Init); |
4983 | } |
4984 | |
4985 | Expr **getExprs() { |
4986 | return reinterpret_cast<Expr **>(getTrailingObjects<Stmt *>()); |
4987 | } |
4988 | |
4989 | ArrayRef<Expr *> exprs() { |
4990 | return llvm::makeArrayRef(getExprs(), getNumExprs()); |
4991 | } |
4992 | |
4993 | SourceLocation getLParenLoc() const { return LParenLoc; } |
4994 | SourceLocation getRParenLoc() const { return RParenLoc; } |
4995 | SourceLocation getBeginLoc() const { return getLParenLoc(); } |
4996 | SourceLocation getEndLoc() const { return getRParenLoc(); } |
4997 | |
4998 | static bool classof(const Stmt *T) { |
4999 | return T->getStmtClass() == ParenListExprClass; |
5000 | } |
5001 | |
5002 | |
5003 | child_range children() { |
5004 | return child_range(getTrailingObjects<Stmt *>(), |
5005 | getTrailingObjects<Stmt *>() + getNumExprs()); |
5006 | } |
5007 | const_child_range children() const { |
5008 | return const_child_range(getTrailingObjects<Stmt *>(), |
5009 | getTrailingObjects<Stmt *>() + getNumExprs()); |
5010 | } |
5011 | }; |
5012 | |
5013 | |
5014 | |
5015 | |
5016 | |
5017 | |
5018 | |
5019 | |
5020 | |
5021 | |
5022 | |
5023 | |
5024 | |
5025 | |
5026 | |
5027 | |
5028 | |
5029 | |
5030 | |
5031 | |
5032 | |
5033 | |
5034 | |
5035 | |
5036 | |
5037 | |
5038 | |
5039 | class GenericSelectionExpr final |
5040 | : public Expr, |
5041 | private llvm::TrailingObjects<GenericSelectionExpr, Stmt *, |
5042 | TypeSourceInfo *> { |
5043 | friend class ASTStmtReader; |
5044 | friend class ASTStmtWriter; |
5045 | friend TrailingObjects; |
5046 | |
5047 | |
5048 | |
5049 | |
5050 | |
5051 | unsigned NumAssocs, ResultIndex; |
5052 | enum : unsigned { |
5053 | ResultDependentIndex = std::numeric_limits<unsigned>::max(), |
5054 | ControllingIndex = 0, |
5055 | AssocExprStartIndex = 1 |
5056 | }; |
5057 | |
5058 | |
5059 | SourceLocation DefaultLoc, RParenLoc; |
5060 | |
5061 | |
5062 | |
5063 | |
5064 | |
5065 | |
5066 | |
5067 | |
5068 | unsigned numTrailingObjects(OverloadToken<Stmt *>) const { |
5069 | |
5070 | |
5071 | return 1 + getNumAssocs(); |
5072 | } |
5073 | |
5074 | unsigned numTrailingObjects(OverloadToken<TypeSourceInfo *>) const { |
5075 | return getNumAssocs(); |
5076 | } |
5077 | |
5078 | template <bool Const> class AssociationIteratorTy; |
5079 | |
5080 | |
5081 | |
5082 | template <bool Const> class AssociationTy { |
5083 | friend class GenericSelectionExpr; |
5084 | template <bool OtherConst> friend class AssociationIteratorTy; |
5085 | using ExprPtrTy = |
5086 | typename std::conditional<Const, const Expr *, Expr *>::type; |
5087 | using TSIPtrTy = typename std::conditional<Const, const TypeSourceInfo *, |
5088 | TypeSourceInfo *>::type; |
5089 | ExprPtrTy E; |
5090 | TSIPtrTy TSI; |
5091 | bool Selected; |
5092 | AssociationTy(ExprPtrTy E, TSIPtrTy TSI, bool Selected) |
5093 | : E(E), TSI(TSI), Selected(Selected) {} |
5094 | |
5095 | public: |
5096 | ExprPtrTy getAssociationExpr() const { return E; } |
5097 | TSIPtrTy getTypeSourceInfo() const { return TSI; } |
5098 | QualType getType() const { return TSI ? TSI->getType() : QualType(); } |
5099 | bool isSelected() const { return Selected; } |
5100 | AssociationTy *operator->() { return this; } |
5101 | const AssociationTy *operator->() const { return this; } |
5102 | }; |
5103 | |
5104 | |
5105 | |
5106 | |
5107 | |
5108 | template <bool Const> |
5109 | class AssociationIteratorTy |
5110 | : public llvm::iterator_facade_base< |
5111 | AssociationIteratorTy<Const>, std::input_iterator_tag, |
5112 | AssociationTy<Const>, std::ptrdiff_t, AssociationTy<Const>, |
5113 | AssociationTy<Const>> { |
5114 | friend class GenericSelectionExpr; |
5115 | |
5116 | |
5117 | |
5118 | |
5119 | |
5120 | |
5121 | |
5122 | |
5123 | |
5124 | |
5125 | |
5126 | |
5127 | |
5128 | using BaseTy = typename AssociationIteratorTy::iterator_facade_base; |
5129 | using StmtPtrPtrTy = |
5130 | typename std::conditional<Const, const Stmt *const *, Stmt **>::type; |
5131 | using TSIPtrPtrTy = |
5132 | typename std::conditional<Const, const TypeSourceInfo *const *, |
5133 | TypeSourceInfo **>::type; |
5134 | StmtPtrPtrTy E; |
5135 | TSIPtrPtrTy TSI; |
5136 | unsigned Offset = 0, SelectedOffset = 0; |
5137 | AssociationIteratorTy(StmtPtrPtrTy E, TSIPtrPtrTy TSI, unsigned Offset, |
5138 | unsigned SelectedOffset) |
5139 | : E(E), TSI(TSI), Offset(Offset), SelectedOffset(SelectedOffset) {} |
5140 | |
5141 | public: |
5142 | AssociationIteratorTy() : E(nullptr), TSI(nullptr) {} |
5143 | typename BaseTy::reference operator*() const { |
5144 | return AssociationTy<Const>(cast<Expr>(*E), *TSI, |
5145 | Offset == SelectedOffset); |
5146 | } |
5147 | typename BaseTy::pointer operator->() const { return **this; } |
5148 | using BaseTy::operator++; |
5149 | AssociationIteratorTy &operator++() { |
5150 | ++E; |
5151 | ++TSI; |
5152 | ++Offset; |
5153 | return *this; |
5154 | } |
5155 | bool operator==(AssociationIteratorTy Other) const { return E == Other.E; } |
5156 | }; |
5157 | |
5158 | |
5159 | GenericSelectionExpr(const ASTContext &Context, SourceLocation GenericLoc, |
5160 | Expr *ControllingExpr, |
5161 | ArrayRef<TypeSourceInfo *> AssocTypes, |
5162 | ArrayRef<Expr *> AssocExprs, SourceLocation DefaultLoc, |
5163 | SourceLocation RParenLoc, |
5164 | bool ContainsUnexpandedParameterPack, |
5165 | unsigned ResultIndex); |
5166 | |
5167 | |
5168 | GenericSelectionExpr(const ASTContext &Context, SourceLocation GenericLoc, |
5169 | Expr *ControllingExpr, |
5170 | ArrayRef<TypeSourceInfo *> AssocTypes, |
5171 | ArrayRef<Expr *> AssocExprs, SourceLocation DefaultLoc, |
5172 | SourceLocation RParenLoc, |
5173 | bool ContainsUnexpandedParameterPack); |
5174 | |
5175 | |
5176 | explicit GenericSelectionExpr(EmptyShell Empty, unsigned NumAssocs); |
5177 | |
5178 | public: |
5179 | |
5180 | static GenericSelectionExpr * |
5181 | Create(const ASTContext &Context, SourceLocation GenericLoc, |
5182 | Expr *ControllingExpr, ArrayRef<TypeSourceInfo *> AssocTypes, |
5183 | ArrayRef<Expr *> AssocExprs, SourceLocation DefaultLoc, |
5184 | SourceLocation RParenLoc, bool ContainsUnexpandedParameterPack, |
5185 | unsigned ResultIndex); |
5186 | |
5187 | |
5188 | static GenericSelectionExpr * |
5189 | Create(const ASTContext &Context, SourceLocation GenericLoc, |
5190 | Expr *ControllingExpr, ArrayRef<TypeSourceInfo *> AssocTypes, |
5191 | ArrayRef<Expr *> AssocExprs, SourceLocation DefaultLoc, |
5192 | SourceLocation RParenLoc, bool ContainsUnexpandedParameterPack); |
5193 | |
5194 | |
5195 | static GenericSelectionExpr *CreateEmpty(const ASTContext &Context, |
5196 | unsigned NumAssocs); |
5197 | |
5198 | using Association = AssociationTy<false>; |
5199 | using ConstAssociation = AssociationTy<true>; |
5200 | using AssociationIterator = AssociationIteratorTy<false>; |
5201 | using ConstAssociationIterator = AssociationIteratorTy<true>; |
5202 | using association_range = llvm::iterator_range<AssociationIterator>; |
5203 | using const_association_range = |
5204 | llvm::iterator_range<ConstAssociationIterator>; |
5205 | |
5206 | |
5207 | unsigned getNumAssocs() const { return NumAssocs; } |
5208 | |
5209 | |
5210 | |
5211 | |
5212 | unsigned getResultIndex() const { |
5213 | (0) . __assert_fail ("!isResultDependent() && \"Generic selection is result-dependent but getResultIndex called!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5214, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(!isResultDependent() && |
5214 | (0) . __assert_fail ("!isResultDependent() && \"Generic selection is result-dependent but getResultIndex called!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5214, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Generic selection is result-dependent but getResultIndex called!"); |
5215 | return ResultIndex; |
5216 | } |
5217 | |
5218 | |
5219 | bool isResultDependent() const { return ResultIndex == ResultDependentIndex; } |
5220 | |
5221 | |
5222 | Expr *getControllingExpr() { |
5223 | return cast<Expr>(getTrailingObjects<Stmt *>()[ControllingIndex]); |
5224 | } |
5225 | const Expr *getControllingExpr() const { |
5226 | return cast<Expr>(getTrailingObjects<Stmt *>()[ControllingIndex]); |
5227 | } |
5228 | |
5229 | |
5230 | |
5231 | Expr *getResultExpr() { |
5232 | return cast<Expr>( |
5233 | getTrailingObjects<Stmt *>()[AssocExprStartIndex + getResultIndex()]); |
5234 | } |
5235 | const Expr *getResultExpr() const { |
5236 | return cast<Expr>( |
5237 | getTrailingObjects<Stmt *>()[AssocExprStartIndex + getResultIndex()]); |
5238 | } |
5239 | |
5240 | ArrayRef<Expr *> getAssocExprs() const { |
5241 | return {reinterpret_cast<Expr *const *>(getTrailingObjects<Stmt *>() + |
5242 | AssocExprStartIndex), |
5243 | NumAssocs}; |
5244 | } |
5245 | ArrayRef<TypeSourceInfo *> getAssocTypeSourceInfos() const { |
5246 | return {getTrailingObjects<TypeSourceInfo *>(), NumAssocs}; |
5247 | } |
5248 | |
5249 | |
5250 | |
5251 | Association getAssociation(unsigned I) { |
5252 | (0) . __assert_fail ("I < getNumAssocs() && \"Out-of-range index in GenericSelectionExpr..getAssociation!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5253, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(I < getNumAssocs() && |
5253 | (0) . __assert_fail ("I < getNumAssocs() && \"Out-of-range index in GenericSelectionExpr..getAssociation!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5253, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Out-of-range index in GenericSelectionExpr::getAssociation!"); |
5254 | return Association( |
5255 | cast<Expr>(getTrailingObjects<Stmt *>()[AssocExprStartIndex + I]), |
5256 | getTrailingObjects<TypeSourceInfo *>()[I], |
5257 | !isResultDependent() && (getResultIndex() == I)); |
5258 | } |
5259 | ConstAssociation getAssociation(unsigned I) const { |
5260 | (0) . __assert_fail ("I < getNumAssocs() && \"Out-of-range index in GenericSelectionExpr..getAssociation!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5261, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(I < getNumAssocs() && |
5261 | (0) . __assert_fail ("I < getNumAssocs() && \"Out-of-range index in GenericSelectionExpr..getAssociation!\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5261, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true"> "Out-of-range index in GenericSelectionExpr::getAssociation!"); |
5262 | return ConstAssociation( |
5263 | cast<Expr>(getTrailingObjects<Stmt *>()[AssocExprStartIndex + I]), |
5264 | getTrailingObjects<TypeSourceInfo *>()[I], |
5265 | !isResultDependent() && (getResultIndex() == I)); |
5266 | } |
5267 | |
5268 | association_range associations() { |
5269 | AssociationIterator Begin(getTrailingObjects<Stmt *>() + |
5270 | AssocExprStartIndex, |
5271 | getTrailingObjects<TypeSourceInfo *>(), |
5272 | , ResultIndex); |
5273 | AssociationIterator End(Begin.E + NumAssocs, Begin.TSI + NumAssocs, |
5274 | NumAssocs, ResultIndex); |
5275 | return llvm::make_range(Begin, End); |
5276 | } |
5277 | |
5278 | const_association_range associations() const { |
5279 | ConstAssociationIterator Begin(getTrailingObjects<Stmt *>() + |
5280 | AssocExprStartIndex, |
5281 | getTrailingObjects<TypeSourceInfo *>(), |
5282 | , ResultIndex); |
5283 | ConstAssociationIterator End(Begin.E + NumAssocs, Begin.TSI + NumAssocs, |
5284 | NumAssocs, ResultIndex); |
5285 | return llvm::make_range(Begin, End); |
5286 | } |
5287 | |
5288 | SourceLocation getGenericLoc() const { |
5289 | return GenericSelectionExprBits.GenericLoc; |
5290 | } |
5291 | SourceLocation getDefaultLoc() const { return DefaultLoc; } |
5292 | SourceLocation getRParenLoc() const { return RParenLoc; } |
5293 | SourceLocation getBeginLoc() const { return getGenericLoc(); } |
5294 | SourceLocation getEndLoc() const { return getRParenLoc(); } |
5295 | |
5296 | static bool classof(const Stmt *T) { |
5297 | return T->getStmtClass() == GenericSelectionExprClass; |
5298 | } |
5299 | |
5300 | child_range children() { |
5301 | return child_range(getTrailingObjects<Stmt *>(), |
5302 | getTrailingObjects<Stmt *>() + |
5303 | numTrailingObjects(OverloadToken<Stmt *>())); |
5304 | } |
5305 | const_child_range children() const { |
5306 | return const_child_range(getTrailingObjects<Stmt *>(), |
5307 | getTrailingObjects<Stmt *>() + |
5308 | numTrailingObjects(OverloadToken<Stmt *>())); |
5309 | } |
5310 | }; |
5311 | |
5312 | |
5313 | |
5314 | |
5315 | |
5316 | |
5317 | |
5318 | |
5319 | |
5320 | |
5321 | |
5322 | |
5323 | class ExtVectorElementExpr : public Expr { |
5324 | Stmt *Base; |
5325 | IdentifierInfo *Accessor; |
5326 | SourceLocation AccessorLoc; |
5327 | public: |
5328 | ExtVectorElementExpr(QualType ty, ExprValueKind VK, Expr *base, |
5329 | IdentifierInfo &accessor, SourceLocation loc) |
5330 | : Expr(ExtVectorElementExprClass, ty, VK, |
5331 | (VK == VK_RValue ? OK_Ordinary : OK_VectorComponent), |
5332 | base->isTypeDependent(), base->isValueDependent(), |
5333 | base->isInstantiationDependent(), |
5334 | base->containsUnexpandedParameterPack()), |
5335 | Base(base), Accessor(&accessor), AccessorLoc(loc) {} |
5336 | |
5337 | |
5338 | explicit ExtVectorElementExpr(EmptyShell Empty) |
5339 | : Expr(ExtVectorElementExprClass, Empty) { } |
5340 | |
5341 | const Expr *getBase() const { return cast<Expr>(Base); } |
5342 | Expr *getBase() { return cast<Expr>(Base); } |
5343 | void setBase(Expr *E) { Base = E; } |
5344 | |
5345 | IdentifierInfo &getAccessor() const { return *Accessor; } |
5346 | void setAccessor(IdentifierInfo *II) { Accessor = II; } |
5347 | |
5348 | SourceLocation getAccessorLoc() const { return AccessorLoc; } |
5349 | void setAccessorLoc(SourceLocation L) { AccessorLoc = L; } |
5350 | |
5351 | |
5352 | unsigned getNumElements() const; |
5353 | |
5354 | |
5355 | |
5356 | bool containsDuplicateElements() const; |
5357 | |
5358 | |
5359 | |
5360 | void getEncodedElementAccess(SmallVectorImpl<uint32_t> &Elts) const; |
5361 | |
5362 | SourceLocation getBeginLoc() const LLVM_READONLY { |
5363 | return getBase()->getBeginLoc(); |
5364 | } |
5365 | SourceLocation getEndLoc() const LLVM_READONLY { return AccessorLoc; } |
5366 | |
5367 | |
5368 | |
5369 | bool isArrow() const; |
5370 | |
5371 | static bool classof(const Stmt *T) { |
5372 | return T->getStmtClass() == ExtVectorElementExprClass; |
5373 | } |
5374 | |
5375 | |
5376 | child_range children() { return child_range(&Base, &Base+1); } |
5377 | const_child_range children() const { |
5378 | return const_child_range(&Base, &Base + 1); |
5379 | } |
5380 | }; |
5381 | |
5382 | |
5383 | |
5384 | class BlockExpr : public Expr { |
5385 | protected: |
5386 | BlockDecl *TheBlock; |
5387 | public: |
5388 | BlockExpr(BlockDecl *BD, QualType ty) |
5389 | : Expr(BlockExprClass, ty, VK_RValue, OK_Ordinary, |
5390 | ty->isDependentType(), ty->isDependentType(), |
5391 | ty->isInstantiationDependentType() || BD->isDependentContext(), |
5392 | false), |
5393 | TheBlock(BD) {} |
5394 | |
5395 | |
5396 | explicit BlockExpr(EmptyShell Empty) : Expr(BlockExprClass, Empty) { } |
5397 | |
5398 | const BlockDecl *getBlockDecl() const { return TheBlock; } |
5399 | BlockDecl *getBlockDecl() { return TheBlock; } |
5400 | void setBlockDecl(BlockDecl *BD) { TheBlock = BD; } |
5401 | |
5402 | |
5403 | SourceLocation getCaretLocation() const; |
5404 | const Stmt *getBody() const; |
5405 | Stmt *getBody(); |
5406 | |
5407 | SourceLocation getBeginLoc() const LLVM_READONLY { |
5408 | return getCaretLocation(); |
5409 | } |
5410 | SourceLocation getEndLoc() const LLVM_READONLY { |
5411 | return getBody()->getEndLoc(); |
5412 | } |
5413 | |
5414 | |
5415 | const FunctionProtoType *getFunctionType() const; |
5416 | |
5417 | static bool classof(const Stmt *T) { |
5418 | return T->getStmtClass() == BlockExprClass; |
5419 | } |
5420 | |
5421 | |
5422 | child_range children() { |
5423 | return child_range(child_iterator(), child_iterator()); |
5424 | } |
5425 | const_child_range children() const { |
5426 | return const_child_range(const_child_iterator(), const_child_iterator()); |
5427 | } |
5428 | }; |
5429 | |
5430 | |
5431 | |
5432 | |
5433 | class AsTypeExpr : public Expr { |
5434 | private: |
5435 | Stmt *SrcExpr; |
5436 | SourceLocation BuiltinLoc, RParenLoc; |
5437 | |
5438 | friend class ASTReader; |
5439 | friend class ASTStmtReader; |
5440 | explicit AsTypeExpr(EmptyShell Empty) : Expr(AsTypeExprClass, Empty) {} |
5441 | |
5442 | public: |
5443 | AsTypeExpr(Expr* SrcExpr, QualType DstType, |
5444 | ExprValueKind VK, ExprObjectKind OK, |
5445 | SourceLocation BuiltinLoc, SourceLocation RParenLoc) |
5446 | : Expr(AsTypeExprClass, DstType, VK, OK, |
5447 | DstType->isDependentType(), |
5448 | DstType->isDependentType() || SrcExpr->isValueDependent(), |
5449 | (DstType->isInstantiationDependentType() || |
5450 | SrcExpr->isInstantiationDependent()), |
5451 | (DstType->containsUnexpandedParameterPack() || |
5452 | SrcExpr->containsUnexpandedParameterPack())), |
5453 | SrcExpr(SrcExpr), BuiltinLoc(BuiltinLoc), RParenLoc(RParenLoc) {} |
5454 | |
5455 | |
5456 | Expr *getSrcExpr() const { return cast<Expr>(SrcExpr); } |
5457 | |
5458 | |
5459 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
5460 | |
5461 | |
5462 | SourceLocation getRParenLoc() const { return RParenLoc; } |
5463 | |
5464 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
5465 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
5466 | |
5467 | static bool classof(const Stmt *T) { |
5468 | return T->getStmtClass() == AsTypeExprClass; |
5469 | } |
5470 | |
5471 | |
5472 | child_range children() { return child_range(&SrcExpr, &SrcExpr+1); } |
5473 | const_child_range children() const { |
5474 | return const_child_range(&SrcExpr, &SrcExpr + 1); |
5475 | } |
5476 | }; |
5477 | |
5478 | |
5479 | |
5480 | |
5481 | |
5482 | |
5483 | |
5484 | |
5485 | |
5486 | |
5487 | |
5488 | |
5489 | |
5490 | |
5491 | |
5492 | |
5493 | |
5494 | |
5495 | |
5496 | |
5497 | |
5498 | |
5499 | |
5500 | |
5501 | |
5502 | |
5503 | |
5504 | |
5505 | |
5506 | class PseudoObjectExpr final |
5507 | : public Expr, |
5508 | private llvm::TrailingObjects<PseudoObjectExpr, Expr *> { |
5509 | |
5510 | |
5511 | |
5512 | |
5513 | |
5514 | |
5515 | |
5516 | |
5517 | |
5518 | |
5519 | |
5520 | Expr **getSubExprsBuffer() { return getTrailingObjects<Expr *>(); } |
5521 | const Expr * const *getSubExprsBuffer() const { |
5522 | return getTrailingObjects<Expr *>(); |
5523 | } |
5524 | |
5525 | PseudoObjectExpr(QualType type, ExprValueKind VK, |
5526 | Expr *syntactic, ArrayRef<Expr*> semantic, |
5527 | unsigned resultIndex); |
5528 | |
5529 | PseudoObjectExpr(EmptyShell shell, unsigned numSemanticExprs); |
5530 | |
5531 | unsigned getNumSubExprs() const { |
5532 | return PseudoObjectExprBits.NumSubExprs; |
5533 | } |
5534 | |
5535 | public: |
5536 | |
5537 | |
5538 | enum : unsigned { NoResult = ~0U }; |
5539 | |
5540 | static PseudoObjectExpr *Create(const ASTContext &Context, Expr *syntactic, |
5541 | ArrayRef<Expr*> semantic, |
5542 | unsigned resultIndex); |
5543 | |
5544 | static PseudoObjectExpr *Create(const ASTContext &Context, EmptyShell shell, |
5545 | unsigned numSemanticExprs); |
5546 | |
5547 | |
5548 | |
5549 | |
5550 | Expr *getSyntacticForm() { return getSubExprsBuffer()[0]; } |
5551 | const Expr *getSyntacticForm() const { return getSubExprsBuffer()[0]; } |
5552 | |
5553 | |
5554 | |
5555 | unsigned getResultExprIndex() const { |
5556 | if (PseudoObjectExprBits.ResultIndex == 0) return NoResult; |
5557 | return PseudoObjectExprBits.ResultIndex - 1; |
5558 | } |
5559 | |
5560 | |
5561 | Expr *getResultExpr() { |
5562 | if (PseudoObjectExprBits.ResultIndex == 0) |
5563 | return nullptr; |
5564 | return getSubExprsBuffer()[PseudoObjectExprBits.ResultIndex]; |
5565 | } |
5566 | const Expr *getResultExpr() const { |
5567 | return const_cast<PseudoObjectExpr*>(this)->getResultExpr(); |
5568 | } |
5569 | |
5570 | unsigned getNumSemanticExprs() const { return getNumSubExprs() - 1; } |
5571 | |
5572 | typedef Expr * const *semantics_iterator; |
5573 | typedef const Expr * const *const_semantics_iterator; |
5574 | semantics_iterator semantics_begin() { |
5575 | return getSubExprsBuffer() + 1; |
5576 | } |
5577 | const_semantics_iterator semantics_begin() const { |
5578 | return getSubExprsBuffer() + 1; |
5579 | } |
5580 | semantics_iterator semantics_end() { |
5581 | return getSubExprsBuffer() + getNumSubExprs(); |
5582 | } |
5583 | const_semantics_iterator semantics_end() const { |
5584 | return getSubExprsBuffer() + getNumSubExprs(); |
5585 | } |
5586 | |
5587 | llvm::iterator_range<semantics_iterator> semantics() { |
5588 | return llvm::make_range(semantics_begin(), semantics_end()); |
5589 | } |
5590 | llvm::iterator_range<const_semantics_iterator> semantics() const { |
5591 | return llvm::make_range(semantics_begin(), semantics_end()); |
5592 | } |
5593 | |
5594 | Expr *getSemanticExpr(unsigned index) { |
5595 | assert(index + 1 < getNumSubExprs()); |
5596 | return getSubExprsBuffer()[index + 1]; |
5597 | } |
5598 | const Expr *getSemanticExpr(unsigned index) const { |
5599 | return const_cast<PseudoObjectExpr*>(this)->getSemanticExpr(index); |
5600 | } |
5601 | |
5602 | SourceLocation getExprLoc() const LLVM_READONLY { |
5603 | return getSyntacticForm()->getExprLoc(); |
5604 | } |
5605 | |
5606 | SourceLocation getBeginLoc() const LLVM_READONLY { |
5607 | return getSyntacticForm()->getBeginLoc(); |
5608 | } |
5609 | SourceLocation getEndLoc() const LLVM_READONLY { |
5610 | return getSyntacticForm()->getEndLoc(); |
5611 | } |
5612 | |
5613 | child_range children() { |
5614 | const_child_range CCR = |
5615 | const_cast<const PseudoObjectExpr *>(this)->children(); |
5616 | return child_range(cast_away_const(CCR.begin()), |
5617 | cast_away_const(CCR.end())); |
5618 | } |
5619 | const_child_range children() const { |
5620 | Stmt *const *cs = const_cast<Stmt *const *>( |
5621 | reinterpret_cast<const Stmt *const *>(getSubExprsBuffer())); |
5622 | return const_child_range(cs, cs + getNumSubExprs()); |
5623 | } |
5624 | |
5625 | static bool classof(const Stmt *T) { |
5626 | return T->getStmtClass() == PseudoObjectExprClass; |
5627 | } |
5628 | |
5629 | friend TrailingObjects; |
5630 | friend class ASTStmtReader; |
5631 | }; |
5632 | |
5633 | |
5634 | |
5635 | |
5636 | |
5637 | |
5638 | |
5639 | |
5640 | class AtomicExpr : public Expr { |
5641 | public: |
5642 | enum AtomicOp { |
5643 | #define BUILTIN(ID, TYPE, ATTRS) |
5644 | #define ATOMIC_BUILTIN(ID, TYPE, ATTRS) AO ## ID, |
5645 | #include "clang/Basic/Builtins.def" |
5646 | |
5647 | BI_First = 0 |
5648 | }; |
5649 | |
5650 | private: |
5651 | |
5652 | |
5653 | |
5654 | enum { PTR, ORDER, VAL1, ORDER_FAIL, VAL2, WEAK, END_EXPR }; |
5655 | Stmt *SubExprs[END_EXPR + 1]; |
5656 | unsigned NumSubExprs; |
5657 | SourceLocation BuiltinLoc, RParenLoc; |
5658 | AtomicOp Op; |
5659 | |
5660 | friend class ASTStmtReader; |
5661 | public: |
5662 | AtomicExpr(SourceLocation BLoc, ArrayRef<Expr*> args, QualType t, |
5663 | AtomicOp op, SourceLocation RP); |
5664 | |
5665 | |
5666 | |
5667 | static unsigned getNumSubExprs(AtomicOp Op); |
5668 | |
5669 | |
5670 | explicit AtomicExpr(EmptyShell Empty) : Expr(AtomicExprClass, Empty) { } |
5671 | |
5672 | Expr *getPtr() const { |
5673 | return cast<Expr>(SubExprs[PTR]); |
5674 | } |
5675 | Expr *getOrder() const { |
5676 | return cast<Expr>(SubExprs[ORDER]); |
5677 | } |
5678 | Expr *getScope() const { |
5679 | (0) . __assert_fail ("getScopeModel() && \"No scope\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5679, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(getScopeModel() && "No scope"); |
5680 | return cast<Expr>(SubExprs[NumSubExprs - 1]); |
5681 | } |
5682 | Expr *getVal1() const { |
5683 | if (Op == AO__c11_atomic_init || Op == AO__opencl_atomic_init) |
5684 | return cast<Expr>(SubExprs[ORDER]); |
5685 | VAL1", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5685, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(NumSubExprs > VAL1); |
5686 | return cast<Expr>(SubExprs[VAL1]); |
5687 | } |
5688 | Expr *getOrderFail() const { |
5689 | ORDER_FAIL", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5689, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(NumSubExprs > ORDER_FAIL); |
5690 | return cast<Expr>(SubExprs[ORDER_FAIL]); |
5691 | } |
5692 | Expr *getVal2() const { |
5693 | if (Op == AO__atomic_exchange) |
5694 | return cast<Expr>(SubExprs[ORDER_FAIL]); |
5695 | VAL2", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5695, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(NumSubExprs > VAL2); |
5696 | return cast<Expr>(SubExprs[VAL2]); |
5697 | } |
5698 | Expr *getWeak() const { |
5699 | WEAK", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5699, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(NumSubExprs > WEAK); |
5700 | return cast<Expr>(SubExprs[WEAK]); |
5701 | } |
5702 | QualType getValueType() const; |
5703 | |
5704 | AtomicOp getOp() const { return Op; } |
5705 | unsigned getNumSubExprs() const { return NumSubExprs; } |
5706 | |
5707 | Expr **getSubExprs() { return reinterpret_cast<Expr **>(SubExprs); } |
5708 | const Expr * const *getSubExprs() const { |
5709 | return reinterpret_cast<Expr * const *>(SubExprs); |
5710 | } |
5711 | |
5712 | bool isVolatile() const { |
5713 | return getPtr()->getType()->getPointeeType().isVolatileQualified(); |
5714 | } |
5715 | |
5716 | bool isCmpXChg() const { |
5717 | return getOp() == AO__c11_atomic_compare_exchange_strong || |
5718 | getOp() == AO__c11_atomic_compare_exchange_weak || |
5719 | getOp() == AO__opencl_atomic_compare_exchange_strong || |
5720 | getOp() == AO__opencl_atomic_compare_exchange_weak || |
5721 | getOp() == AO__atomic_compare_exchange || |
5722 | getOp() == AO__atomic_compare_exchange_n; |
5723 | } |
5724 | |
5725 | bool isOpenCL() const { |
5726 | return getOp() >= AO__opencl_atomic_init && |
5727 | getOp() <= AO__opencl_atomic_fetch_max; |
5728 | } |
5729 | |
5730 | SourceLocation getBuiltinLoc() const { return BuiltinLoc; } |
5731 | SourceLocation getRParenLoc() const { return RParenLoc; } |
5732 | |
5733 | SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; } |
5734 | SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; } |
5735 | |
5736 | static bool classof(const Stmt *T) { |
5737 | return T->getStmtClass() == AtomicExprClass; |
5738 | } |
5739 | |
5740 | |
5741 | child_range children() { |
5742 | return child_range(SubExprs, SubExprs+NumSubExprs); |
5743 | } |
5744 | const_child_range children() const { |
5745 | return const_child_range(SubExprs, SubExprs + NumSubExprs); |
5746 | } |
5747 | |
5748 | |
5749 | |
5750 | |
5751 | static std::unique_ptr<AtomicScopeModel> getScopeModel(AtomicOp Op) { |
5752 | auto Kind = |
5753 | (Op >= AO__opencl_atomic_load && Op <= AO__opencl_atomic_fetch_max) |
5754 | ? AtomicScopeModelKind::OpenCL |
5755 | : AtomicScopeModelKind::None; |
5756 | return AtomicScopeModel::create(Kind); |
5757 | } |
5758 | |
5759 | |
5760 | |
5761 | |
5762 | std::unique_ptr<AtomicScopeModel> getScopeModel() const { |
5763 | return getScopeModel(getOp()); |
5764 | } |
5765 | }; |
5766 | |
5767 | |
5768 | |
5769 | class TypoExpr : public Expr { |
5770 | public: |
5771 | TypoExpr(QualType T) |
5772 | : Expr(TypoExprClass, T, VK_LValue, OK_Ordinary, |
5773 | true, |
5774 | true, |
5775 | true, |
5776 | false) { |
5777 | (0) . __assert_fail ("T->isDependentType() && \"TypoExpr given a non-dependent type\"", "/home/seafit/code_projects/clang_source/clang/include/clang/AST/Expr.h", 5777, __PRETTY_FUNCTION__))" file_link="../../../../include/assert.h.html#88" macro="true">assert(T->isDependentType() && "TypoExpr given a non-dependent type"); |
5778 | } |
5779 | |
5780 | child_range children() { |
5781 | return child_range(child_iterator(), child_iterator()); |
5782 | } |
5783 | const_child_range children() const { |
5784 | return const_child_range(const_child_iterator(), const_child_iterator()); |
5785 | } |
5786 | |
5787 | SourceLocation getBeginLoc() const LLVM_READONLY { return SourceLocation(); } |
5788 | SourceLocation getEndLoc() const LLVM_READONLY { return SourceLocation(); } |
5789 | |
5790 | static bool classof(const Stmt *T) { |
5791 | return T->getStmtClass() == TypoExprClass; |
5792 | } |
5793 | |
5794 | }; |
5795 | } |
5796 | |
5797 | #endif |
5798 | |