Coverage Report

Created: 2022-01-18 06:27

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/AST/Expr.h
<
Line
Count
Source (jump to first uncovered line)
1
//===--- Expr.h - Classes for representing expressions ----------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
//  This file defines the Expr interface and subclasses.
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/ComputeDependence.h"
19
#include "clang/AST/Decl.h"
20
#include "clang/AST/DeclAccessPair.h"
21
#include "clang/AST/DependenceFlags.h"
22
#include "clang/AST/OperationKinds.h"
23
#include "clang/AST/Stmt.h"
24
#include "clang/AST/TemplateBase.h"
25
#include "clang/AST/Type.h"
26
#include "clang/Basic/CharInfo.h"
27
#include "clang/Basic/LangOptions.h"
28
#include "clang/Basic/SyncScope.h"
29
#include "clang/Basic/TypeTraits.h"
30
#include "llvm/ADT/APFloat.h"
31
#include "llvm/ADT/APSInt.h"
32
#include "llvm/ADT/SmallVector.h"
33
#include "llvm/ADT/StringRef.h"
34
#include "llvm/ADT/iterator.h"
35
#include "llvm/ADT/iterator_range.h"
36
#include "llvm/Support/AtomicOrdering.h"
37
#include "llvm/Support/Compiler.h"
38
#include "llvm/Support/TrailingObjects.h"
39
40
namespace clang {
41
  class APValue;
42
  class ASTContext;
43
  class BlockDecl;
44
  class CXXBaseSpecifier;
45
  class CXXMemberCallExpr;
46
  class CXXOperatorCallExpr;
47
  class CastExpr;
48
  class Decl;
49
  class IdentifierInfo;
50
  class MaterializeTemporaryExpr;
51
  class NamedDecl;
52
  class ObjCPropertyRefExpr;
53
  class OpaqueValueExpr;
54
  class ParmVarDecl;
55
  class StringLiteral;
56
  class TargetInfo;
57
  class ValueDecl;
58
59
/// A simple array of base specifiers.
60
typedef SmallVector<CXXBaseSpecifier*, 4> CXXCastPath;
61
62
/// An adjustment to be made to the temporary created when emitting a
63
/// reference binding, which accesses a particular subobject of that temporary.
64
struct SubobjectAdjustment {
65
  enum {
66
    DerivedToBaseAdjustment,
67
    FieldAdjustment,
68
    MemberPointerAdjustment
69
  } Kind;
70
71
  struct DTB {
72
    const CastExpr *BasePath;
73
    const CXXRecordDecl *DerivedClass;
74
  };
75
76
  struct P {
77
    const MemberPointerType *MPT;
78
    Expr *RHS;
79
  };
80
81
  union {
82
    struct DTB DerivedToBase;
83
    FieldDecl *Field;
84
    struct P Ptr;
85
  };
86
87
  SubobjectAdjustment(const CastExpr *BasePath,
88
                      const CXXRecordDecl *DerivedClass)
89
4.64k
    : Kind(DerivedToBaseAdjustment) {
90
4.64k
    DerivedToBase.BasePath = BasePath;
91
4.64k
    DerivedToBase.DerivedClass = DerivedClass;
92
4.64k
  }
93
94
  SubobjectAdjustment(FieldDecl *Field)
95
52.4k
    : Kind(FieldAdjustment) {
96
52.4k
    this->Field = Field;
97
52.4k
  }
98
99
  SubobjectAdjustment(const MemberPointerType *MPT, Expr *RHS)
100
118
    : Kind(MemberPointerAdjustment) {
101
118
    this->Ptr.MPT = MPT;
102
118
    this->Ptr.RHS = RHS;
103
118
  }
104
};
105
106
/// This represents one expression.  Note that Expr's are subclasses of Stmt.
107
/// This allows an expression to be transparently used any place a Stmt is
108
/// required.
109
class Expr : public ValueStmt {
110
  QualType TR;
111
112
public:
113
  Expr() = delete;
114
  Expr(const Expr&) = delete;
115
  Expr(Expr &&) = delete;
116
  Expr &operator=(const Expr&) = delete;
117
  Expr &operator=(Expr&&) = delete;
118
119
protected:
120
  Expr(StmtClass SC, QualType T, ExprValueKind VK, ExprObjectKind OK)
121
101M
      : ValueStmt(SC) {
122
101M
    ExprBits.Dependent = 0;
123
101M
    ExprBits.ValueKind = VK;
124
101M
    ExprBits.ObjectKind = OK;
125
101M
    assert(ExprBits.ObjectKind == OK && "truncated kind");
126
0
    setType(T);
127
101M
  }
128
129
  /// Construct an empty expression.
130
5.96M
  explicit Expr(StmtClass SC, EmptyShell) : ValueStmt(SC) { }
131
132
  /// Each concrete expr subclass is expected to compute its dependence and call
133
  /// this in the constructor.
134
118M
  void setDependence(ExprDependence Deps) {
135
118M
    ExprBits.Dependent = static_cast<unsigned>(Deps);
136
118M
  }
137
  friend class ASTImporter; // Sets dependence dircetly.
138
  friend class ASTStmtReader; // Sets dependence dircetly.
139
140
public:
141
1.12G
  QualType getType() const { return TR; }
142
112M
  void setType(QualType t) {
143
    // In C++, the type of an expression is always adjusted so that it
144
    // will not have reference type (C++ [expr]p6). Use
145
    // QualType::getNonReferenceType() to retrieve the non-reference
146
    // type. Additionally, inspect Expr::isLvalue to determine whether
147
    // an expression that is adjusted in this manner should be
148
    // considered an lvalue.
149
112M
    assert((t.isNull() || !t->isReferenceType()) &&
150
112M
           "Expressions can't have reference type");
151
152
0
    TR = t;
153
112M
  }
154
155
562M
  ExprDependence getDependence() const {
156
562M
    return static_cast<ExprDependence>(ExprBits.Dependent);
157
562M
  }
158
159
  /// Determines whether the value of this expression depends on
160
  ///   - a template parameter (C++ [temp.dep.constexpr])
161
  ///   - or an error, whose resolution is unknown
162
  ///
163
  /// For example, the array bound of "Chars" in the following example is
164
  /// value-dependent.
165
  /// @code
166
  /// template<int Size, char (&Chars)[Size]> struct meta_string;
167
  /// @endcode
168
240M
  bool isValueDependent() const {
169
240M
    return static_cast<bool>(getDependence() & ExprDependence::Value);
170
240M
  }
171
172
  /// Determines whether the type of this expression depends on
173
  ///   - a template paramter (C++ [temp.dep.expr], which means that its type
174
  ///     could change from one template instantiation to the next)
175
  ///   - or an error
176
  ///
177
  /// For example, the expressions "x" and "x + y" are type-dependent in
178
  /// the following code, but "y" is not type-dependent:
179
  /// @code
180
  /// template<typename T>
181
  /// void add(T x, int y) {
182
  ///   x + y;
183
  /// }
184
  /// @endcode
185
153M
  bool isTypeDependent() const {
186
153M
    return static_cast<bool>(getDependence() & ExprDependence::Type);
187
153M
  }
188
189
  /// Whether this expression is instantiation-dependent, meaning that
190
  /// it depends in some way on
191
  ///    - a template parameter (even if neither its type nor (constant) value
192
  ///      can change due to the template instantiation)
193
  ///    - or an error
194
  ///
195
  /// In the following example, the expression \c sizeof(sizeof(T() + T())) is
196
  /// instantiation-dependent (since it involves a template parameter \c T), but
197
  /// is neither type- nor value-dependent, since the type of the inner
198
  /// \c sizeof is known (\c std::size_t) and therefore the size of the outer
199
  /// \c sizeof is known.
200
  ///
201
  /// \code
202
  /// template<typename T>
203
  /// void f(T x, T y) {
204
  ///   sizeof(sizeof(T() + T());
205
  /// }
206
  /// \endcode
207
  ///
208
  /// \code
209
  /// void func(int) {
210
  ///   func(); // the expression is instantiation-dependent, because it depends
211
  ///           // on an error.
212
  /// }
213
  /// \endcode
214
18.3M
  bool isInstantiationDependent() const {
215
18.3M
    return static_cast<bool>(getDependence() & ExprDependence::Instantiation);
216
18.3M
  }
217
218
  /// Whether this expression contains an unexpanded parameter
219
  /// pack (for C++11 variadic templates).
220
  ///
221
  /// Given the following function template:
222
  ///
223
  /// \code
224
  /// template<typename F, typename ...Types>
225
  /// void forward(const F &f, Types &&...args) {
226
  ///   f(static_cast<Types&&>(args)...);
227
  /// }
228
  /// \endcode
229
  ///
230
  /// The expressions \c args and \c static_cast<Types&&>(args) both
231
  /// contain parameter packs.
232
28.7M
  bool containsUnexpandedParameterPack() const {
233
28.7M
    return static_cast<bool>(getDependence() & ExprDependence::UnexpandedPack);
234
28.7M
  }
235
236
  /// Whether this expression contains subexpressions which had errors, e.g. a
237
  /// TypoExpr.
238
21.1M
  bool containsErrors() const {
239
21.1M
    return static_cast<bool>(getDependence() & ExprDependence::Error);
240
21.1M
  }
241
242
  /// getExprLoc - Return the preferred location for the arrow when diagnosing
243
  /// a problem with a generic expression.
244
  SourceLocation getExprLoc() const LLVM_READONLY;
245
246
  /// Determine whether an lvalue-to-rvalue conversion should implicitly be
247
  /// applied to this expression if it appears as a discarded-value expression
248
  /// in C++11 onwards. This applies to certain forms of volatile glvalues.
249
  bool isReadIfDiscardedInCPlusPlus11() const;
250
251
  /// isUnusedResultAWarning - Return true if this immediate expression should
252
  /// be warned about if the result is unused.  If so, fill in expr, location,
253
  /// and ranges with expr to warn on and source locations/ranges appropriate
254
  /// for a warning.
255
  bool isUnusedResultAWarning(const Expr *&WarnExpr, SourceLocation &Loc,
256
                              SourceRange &R1, SourceRange &R2,
257
                              ASTContext &Ctx) const;
258
259
  /// isLValue - True if this expression is an "l-value" according to
260
  /// the rules of the current language.  C and C++ give somewhat
261
  /// different rules for this concept, but in general, the result of
262
  /// an l-value expression identifies a specific object whereas the
263
  /// result of an r-value expression is a value detached from any
264
  /// specific storage.
265
  ///
266
  /// C++11 divides the concept of "r-value" into pure r-values
267
  /// ("pr-values") and so-called expiring values ("x-values"), which
268
  /// identify specific objects that can be safely cannibalized for
269
  /// their resources.
270
9.42M
  bool isLValue() const { return getValueKind() == VK_LValue; }
271
56.1M
  bool isPRValue() const { return getValueKind() == VK_PRValue; }
272
719k
  bool isXValue() const { return getValueKind() == VK_XValue; }
273
114M
  bool isGLValue() const { return getValueKind() != VK_PRValue; }
274
275
  enum LValueClassification {
276
    LV_Valid,
277
    LV_NotObjectType,
278
    LV_IncompleteVoidType,
279
    LV_DuplicateVectorComponents,
280
    LV_InvalidExpression,
281
    LV_InvalidMessageExpression,
282
    LV_MemberFunction,
283
    LV_SubObjCPropertySetting,
284
    LV_ClassTemporary,
285
    LV_ArrayTemporary
286
  };
287
  /// Reasons why an expression might not be an l-value.
288
  LValueClassification ClassifyLValue(ASTContext &Ctx) const;
289
290
  enum isModifiableLvalueResult {
291
    MLV_Valid,
292
    MLV_NotObjectType,
293
    MLV_IncompleteVoidType,
294
    MLV_DuplicateVectorComponents,
295
    MLV_InvalidExpression,
296
    MLV_LValueCast,           // Specialized form of MLV_InvalidExpression.
297
    MLV_IncompleteType,
298
    MLV_ConstQualified,
299
    MLV_ConstQualifiedField,
300
    MLV_ConstAddrSpace,
301
    MLV_ArrayType,
302
    MLV_NoSetterProperty,
303
    MLV_MemberFunction,
304
    MLV_SubObjCPropertySetting,
305
    MLV_InvalidMessageExpression,
306
    MLV_ClassTemporary,
307
    MLV_ArrayTemporary
308
  };
309
  /// isModifiableLvalue - C99 6.3.2.1: an lvalue that does not have array type,
310
  /// does not have an incomplete type, does not have a const-qualified type,
311
  /// and if it is a structure or union, does not have any member (including,
312
  /// recursively, any member or element of all contained aggregates or unions)
313
  /// with a const-qualified type.
314
  ///
315
  /// \param Loc [in,out] - A source location which *may* be filled
316
  /// in with the location of the expression making this a
317
  /// non-modifiable lvalue, if specified.
318
  isModifiableLvalueResult
319
  isModifiableLvalue(ASTContext &Ctx, SourceLocation *Loc = nullptr) const;
320
321
  /// The return type of classify(). Represents the C++11 expression
322
  ///        taxonomy.
323
  class Classification {
324
  public:
325
    /// The various classification results. Most of these mean prvalue.
326
    enum Kinds {
327
      CL_LValue,
328
      CL_XValue,
329
      CL_Function, // Functions cannot be lvalues in C.
330
      CL_Void, // Void cannot be an lvalue in C.
331
      CL_AddressableVoid, // Void expression whose address can be taken in C.
332
      CL_DuplicateVectorComponents, // A vector shuffle with dupes.
333
      CL_MemberFunction, // An expression referring to a member function
334
      CL_SubObjCPropertySetting,
335
      CL_ClassTemporary, // A temporary of class type, or subobject thereof.
336
      CL_ArrayTemporary, // A temporary of array type.
337
      CL_ObjCMessageRValue, // ObjC message is an rvalue
338
      CL_PRValue // A prvalue for any other reason, of any other type
339
    };
340
    /// The results of modification testing.
341
    enum ModifiableType {
342
      CM_Untested, // testModifiable was false.
343
      CM_Modifiable,
344
      CM_RValue, // Not modifiable because it's an rvalue
345
      CM_Function, // Not modifiable because it's a function; C++ only
346
      CM_LValueCast, // Same as CM_RValue, but indicates GCC cast-as-lvalue ext
347
      CM_NoSetterProperty,// Implicit assignment to ObjC property without setter
348
      CM_ConstQualified,
349
      CM_ConstQualifiedField,
350
      CM_ConstAddrSpace,
351
      CM_ArrayType,
352
      CM_IncompleteType
353
    };
354
355
  private:
356
    friend class Expr;
357
358
    unsigned short Kind;
359
    unsigned short Modifiable;
360
361
    explicit Classification(Kinds k, ModifiableType m)
362
      : Kind(k), Modifiable(m)
363
9.39M
    {}
364
365
  public:
366
713k
    Classification() {}
367
368
4.19M
    Kinds getKind() const { return static_cast<Kinds>(Kind); }
369
2.04M
    ModifiableType getModifiable() const {
370
2.04M
      assert(Modifiable != CM_Untested && "Did not test for modifiability.");
371
0
      return static_cast<ModifiableType>(Modifiable);
372
2.04M
    }
373
5.54M
    bool isLValue() const { return Kind == CL_LValue; }
374
647k
    bool isXValue() const { return Kind == CL_XValue; }
375
0
    bool isGLValue() const { return Kind <= CL_XValue; }
376
699k
    bool isPRValue() const { return Kind >= CL_Function; }
377
5.92M
    bool isRValue() const { return Kind >= CL_XValue; }
378
0
    bool isModifiable() const { return getModifiable() == CM_Modifiable; }
379
380
    /// Create a simple, modifiably lvalue
381
190k
    static Classification makeSimpleLValue() {
382
190k
      return Classification(CL_LValue, CM_Modifiable);
383
190k
    }
384
385
  };
386
  /// Classify - Classify this expression according to the C++11
387
  ///        expression taxonomy.
388
  ///
389
  /// C++11 defines ([basic.lval]) a new taxonomy of expressions to replace the
390
  /// old lvalue vs rvalue. This function determines the type of expression this
391
  /// is. There are three expression types:
392
  /// - lvalues are classical lvalues as in C++03.
393
  /// - prvalues are equivalent to rvalues in C++03.
394
  /// - xvalues are expressions yielding unnamed rvalue references, e.g. a
395
  ///   function returning an rvalue reference.
396
  /// lvalues and xvalues are collectively referred to as glvalues, while
397
  /// prvalues and xvalues together form rvalues.
398
7.15M
  Classification Classify(ASTContext &Ctx) const {
399
7.15M
    return ClassifyImpl(Ctx, nullptr);
400
7.15M
  }
401
402
  /// ClassifyModifiable - Classify this expression according to the
403
  ///        C++11 expression taxonomy, and see if it is valid on the left side
404
  ///        of an assignment.
405
  ///
406
  /// This function extends classify in that it also tests whether the
407
  /// expression is modifiable (C99 6.3.2.1p1).
408
  /// \param Loc A source location that might be filled with a relevant location
409
  ///            if the expression is not modifiable.
410
2.04M
  Classification ClassifyModifiable(ASTContext &Ctx, SourceLocation &Loc) const{
411
2.04M
    return ClassifyImpl(Ctx, &Loc);
412
2.04M
  }
413
414
  /// Returns the set of floating point options that apply to this expression.
415
  /// Only meaningful for operations on floating point values.
416
  FPOptions getFPFeaturesInEffect(const LangOptions &LO) const;
417
418
  /// getValueKindForType - Given a formal return or parameter type,
419
  /// give its value kind.
420
8.93M
  static ExprValueKind getValueKindForType(QualType T) {
421
8.93M
    if (const ReferenceType *RT = T->getAs<ReferenceType>())
422
446k
      return (isa<LValueReferenceType>(RT)
423
446k
                ? 
VK_LValue213k
424
446k
                : 
(233k
RT->getPointeeType()->isFunctionType()233k
425
233k
                     ? 
VK_LValue11
:
VK_XValue233k
));
426
8.48M
    return VK_PRValue;
427
8.93M
  }
428
429
  /// getValueKind - The value kind that this expression produces.
430
206M
  ExprValueKind getValueKind() const {
431
206M
    return static_cast<ExprValueKind>(ExprBits.ValueKind);
432
206M
  }
433
434
  /// getObjectKind - The object kind that this expression produces.
435
  /// Object kinds are meaningful only for expressions that yield an
436
  /// l-value or x-value.
437
22.9M
  ExprObjectKind getObjectKind() const {
438
22.9M
    return static_cast<ExprObjectKind>(ExprBits.ObjectKind);
439
22.9M
  }
440
441
36.0k
  bool isOrdinaryOrBitFieldObject() const {
442
36.0k
    ExprObjectKind OK = getObjectKind();
443
36.0k
    return (OK == OK_Ordinary || 
OK == OK_BitField52
);
444
36.0k
  }
445
446
  /// setValueKind - Set the value kind produced by this expression.
447
13.2M
  void setValueKind(ExprValueKind Cat) { ExprBits.ValueKind = Cat; }
448
449
  /// setObjectKind - Set the object kind produced by this expression.
450
10.0M
  void setObjectKind(ExprObjectKind Cat) { ExprBits.ObjectKind = Cat; }
451
452
private:
453
  Classification ClassifyImpl(ASTContext &Ctx, SourceLocation *Loc) const;
454
455
public:
456
457
  /// Returns true if this expression is a gl-value that
458
  /// potentially refers to a bit-field.
459
  ///
460
  /// In C++, whether a gl-value refers to a bitfield is essentially
461
  /// an aspect of the value-kind type system.
462
344k
  bool refersToBitField() const { return getObjectKind() == OK_BitField; }
463
464
  /// If this expression refers to a bit-field, retrieve the
465
  /// declaration of that bit-field.
466
  ///
467
  /// Note that this returns a non-null pointer in subtly different
468
  /// places than refersToBitField returns true.  In particular, this can
469
  /// return a non-null pointer even for r-values loaded from
470
  /// bit-fields, but it will return null for a conditional bit-field.
471
  FieldDecl *getSourceBitField();
472
473
763k
  const FieldDecl *getSourceBitField() const {
474
763k
    return const_cast<Expr*>(this)->getSourceBitField();
475
763k
  }
476
477
  Decl *getReferencedDeclOfCallee();
478
10.0M
  const Decl *getReferencedDeclOfCallee() const {
479
10.0M
    return const_cast<Expr*>(this)->getReferencedDeclOfCallee();
480
10.0M
  }
481
482
  /// If this expression is an l-value for an Objective C
483
  /// property, find the underlying property reference expression.
484
  const ObjCPropertyRefExpr *getObjCProperty() const;
485
486
  /// Check if this expression is the ObjC 'self' implicit parameter.
487
  bool isObjCSelfExpr() const;
488
489
  /// Returns whether this expression refers to a vector element.
490
  bool refersToVectorElement() const;
491
492
  /// Returns whether this expression refers to a matrix element.
493
330k
  bool refersToMatrixElement() const {
494
330k
    return getObjectKind() == OK_MatrixComponent;
495
330k
  }
496
497
  /// Returns whether this expression refers to a global register
498
  /// variable.
499
  bool refersToGlobalRegisterVar() const;
500
501
  /// Returns whether this expression has a placeholder type.
502
3.81M
  bool hasPlaceholderType() const {
503
3.81M
    return getType()->isPlaceholderType();
504
3.81M
  }
505
506
  /// Returns whether this expression has a specific placeholder type.
507
4.11M
  bool hasPlaceholderType(BuiltinType::Kind K) const {
508
4.11M
    assert(BuiltinType::isPlaceholderTypeKind(K));
509
4.11M
    if (const BuiltinType *BT = dyn_cast<BuiltinType>(getType()))
510
2.69M
      return BT->getKind() == K;
511
1.42M
    return false;
512
4.11M
  }
513
514
  /// isKnownToHaveBooleanValue - Return true if this is an integer expression
515
  /// that is known to return 0 or 1.  This happens for _Bool/bool expressions
516
  /// but also int expressions which are produced by things like comparisons in
517
  /// C.
518
  ///
519
  /// \param Semantic If true, only return true for expressions that are known
520
  /// to be semantically boolean, which might not be true even for expressions
521
  /// that are known to evaluate to 0/1. For instance, reading an unsigned
522
  /// bit-field with width '1' will evaluate to 0/1, but doesn't necessarily
523
  /// semantically correspond to a bool.
524
  bool isKnownToHaveBooleanValue(bool Semantic = true) const;
525
526
  /// isIntegerConstantExpr - Return the value if this expression is a valid
527
  /// integer constant expression.  If not a valid i-c-e, return None and fill
528
  /// in Loc (if specified) with the location of the invalid expression.
529
  ///
530
  /// Note: This does not perform the implicit conversions required by C++11
531
  /// [expr.const]p5.
532
  Optional<llvm::APSInt> getIntegerConstantExpr(const ASTContext &Ctx,
533
                                                SourceLocation *Loc = nullptr,
534
                                                bool isEvaluated = true) const;
535
  bool isIntegerConstantExpr(const ASTContext &Ctx,
536
                             SourceLocation *Loc = nullptr) const;
537
538
  /// isCXX98IntegralConstantExpr - Return true if this expression is an
539
  /// integral constant expression in C++98. Can only be used in C++.
540
  bool isCXX98IntegralConstantExpr(const ASTContext &Ctx) const;
541
542
  /// isCXX11ConstantExpr - Return true if this expression is a constant
543
  /// expression in C++11. Can only be used in C++.
544
  ///
545
  /// Note: This does not perform the implicit conversions required by C++11
546
  /// [expr.const]p5.
547
  bool isCXX11ConstantExpr(const ASTContext &Ctx, APValue *Result = nullptr,
548
                           SourceLocation *Loc = nullptr) const;
549
550
  /// isPotentialConstantExpr - Return true if this function's definition
551
  /// might be usable in a constant expression in C++11, if it were marked
552
  /// constexpr. Return false if the function can never produce a constant
553
  /// expression, along with diagnostics describing why not.
554
  static bool isPotentialConstantExpr(const FunctionDecl *FD,
555
                                      SmallVectorImpl<
556
                                        PartialDiagnosticAt> &Diags);
557
558
  /// isPotentialConstantExprUnevaluted - Return true if this expression might
559
  /// be usable in a constant expression in C++11 in an unevaluated context, if
560
  /// it were in function FD marked constexpr. Return false if the function can
561
  /// never produce a constant expression, along with diagnostics describing
562
  /// why not.
563
  static bool isPotentialConstantExprUnevaluated(Expr *E,
564
                                                 const FunctionDecl *FD,
565
                                                 SmallVectorImpl<
566
                                                   PartialDiagnosticAt> &Diags);
567
568
  /// isConstantInitializer - Returns true if this expression can be emitted to
569
  /// IR as a constant, and thus can be used as a constant initializer in C.
570
  /// If this expression is not constant and Culprit is non-null,
571
  /// it is used to store the address of first non constant expr.
572
  bool isConstantInitializer(ASTContext &Ctx, bool ForRef,
573
                             const Expr **Culprit = nullptr) const;
574
575
  /// If this expression is an unambiguous reference to a single declaration,
576
  /// in the style of __builtin_function_start, return that declaration.  Note
577
  /// that this may return a non-static member function or field in C++ if this
578
  /// expression is a member pointer constant.
579
  const ValueDecl *getAsBuiltinConstantDeclRef(const ASTContext &Context) const;
580
581
  /// EvalStatus is a struct with detailed info about an evaluation in progress.
582
  struct EvalStatus {
583
    /// Whether the evaluated expression has side effects.
584
    /// For example, (f() && 0) can be folded, but it still has side effects.
585
    bool HasSideEffects;
586
587
    /// Whether the evaluation hit undefined behavior.
588
    /// For example, 1.0 / 0.0 can be folded to Inf, but has undefined behavior.
589
    /// Likewise, INT_MAX + 1 can be folded to INT_MIN, but has UB.
590
    bool HasUndefinedBehavior;
591
592
    /// Diag - If this is non-null, it will be filled in with a stack of notes
593
    /// indicating why evaluation failed (or why it failed to produce a constant
594
    /// expression).
595
    /// If the expression is unfoldable, the notes will indicate why it's not
596
    /// foldable. If the expression is foldable, but not a constant expression,
597
    /// the notes will describes why it isn't a constant expression. If the
598
    /// expression *is* a constant expression, no notes will be produced.
599
    SmallVectorImpl<PartialDiagnosticAt> *Diag;
600
601
    EvalStatus()
602
36.7M
        : HasSideEffects(false), HasUndefinedBehavior(false), Diag(nullptr) {}
603
604
    // hasSideEffects - Return true if the evaluated expression has
605
    // side effects.
606
992
    bool hasSideEffects() const {
607
992
      return HasSideEffects;
608
992
    }
609
  };
610
611
  /// EvalResult is a struct with detailed info about an evaluated expression.
612
  struct EvalResult : EvalStatus {
613
    /// Val - This is the value the expression can be folded to.
614
    APValue Val;
615
616
    // isGlobalLValue - Return true if the evaluated lvalue expression
617
    // is global.
618
    bool isGlobalLValue() const;
619
  };
620
621
  /// EvaluateAsRValue - Return true if this is a constant which we can fold to
622
  /// an rvalue using any crazy technique (that has nothing to do with language
623
  /// standards) that we want to, even if the expression has side-effects. If
624
  /// this function returns true, it returns the folded constant in Result. If
625
  /// the expression is a glvalue, an lvalue-to-rvalue conversion will be
626
  /// applied.
627
  bool EvaluateAsRValue(EvalResult &Result, const ASTContext &Ctx,
628
                        bool InConstantContext = false) const;
629
630
  /// EvaluateAsBooleanCondition - Return true if this is a constant
631
  /// which we can fold and convert to a boolean condition using
632
  /// any crazy technique that we want to, even if the expression has
633
  /// side-effects.
634
  bool EvaluateAsBooleanCondition(bool &Result, const ASTContext &Ctx,
635
                                  bool InConstantContext = false) const;
636
637
  enum SideEffectsKind {
638
    SE_NoSideEffects,          ///< Strictly evaluate the expression.
639
    SE_AllowUndefinedBehavior, ///< Allow UB that we can give a value, but not
640
                               ///< arbitrary unmodeled side effects.
641
    SE_AllowSideEffects        ///< Allow any unmodeled side effect.
642
  };
643
644
  /// EvaluateAsInt - Return true if this is a constant which we can fold and
645
  /// convert to an integer, using any crazy technique that we want to.
646
  bool EvaluateAsInt(EvalResult &Result, const ASTContext &Ctx,
647
                     SideEffectsKind AllowSideEffects = SE_NoSideEffects,
648
                     bool InConstantContext = false) const;
649
650
  /// EvaluateAsFloat - Return true if this is a constant which we can fold and
651
  /// convert to a floating point value, using any crazy technique that we
652
  /// want to.
653
  bool EvaluateAsFloat(llvm::APFloat &Result, const ASTContext &Ctx,
654
                       SideEffectsKind AllowSideEffects = SE_NoSideEffects,
655
                       bool InConstantContext = false) const;
656
657
  /// EvaluateAsFloat - Return true if this is a constant which we can fold and
658
  /// convert to a fixed point value.
659
  bool EvaluateAsFixedPoint(EvalResult &Result, const ASTContext &Ctx,
660
                            SideEffectsKind AllowSideEffects = SE_NoSideEffects,
661
                            bool InConstantContext = false) const;
662
663
  /// isEvaluatable - Call EvaluateAsRValue to see if this expression can be
664
  /// constant folded without side-effects, but discard the result.
665
  bool isEvaluatable(const ASTContext &Ctx,
666
                     SideEffectsKind AllowSideEffects = SE_NoSideEffects) const;
667
668
  /// HasSideEffects - This routine returns true for all those expressions
669
  /// which have any effect other than producing a value. Example is a function
670
  /// call, volatile variable read, or throwing an exception. If
671
  /// IncludePossibleEffects is false, this call treats certain expressions with
672
  /// potential side effects (such as function call-like expressions,
673
  /// instantiation-dependent expressions, or invocations from a macro) as not
674
  /// having side effects.
675
  bool HasSideEffects(const ASTContext &Ctx,
676
                      bool IncludePossibleEffects = true) const;
677
678
  /// Determine whether this expression involves a call to any function
679
  /// that is not trivial.
680
  bool hasNonTrivialCall(const ASTContext &Ctx) const;
681
682
  /// EvaluateKnownConstInt - Call EvaluateAsRValue and return the folded
683
  /// integer. This must be called on an expression that constant folds to an
684
  /// integer.
685
  llvm::APSInt EvaluateKnownConstInt(
686
      const ASTContext &Ctx,
687
      SmallVectorImpl<PartialDiagnosticAt> *Diag = nullptr) const;
688
689
  llvm::APSInt EvaluateKnownConstIntCheckOverflow(
690
      const ASTContext &Ctx,
691
      SmallVectorImpl<PartialDiagnosticAt> *Diag = nullptr) const;
692
693
  void EvaluateForOverflow(const ASTContext &Ctx) const;
694
695
  /// EvaluateAsLValue - Evaluate an expression to see if we can fold it to an
696
  /// lvalue with link time known address, with no side-effects.
697
  bool EvaluateAsLValue(EvalResult &Result, const ASTContext &Ctx,
698
                        bool InConstantContext = false) const;
699
700
  /// EvaluateAsInitializer - Evaluate an expression as if it were the
701
  /// initializer of the given declaration. Returns true if the initializer
702
  /// can be folded to a constant, and produces any relevant notes. In C++11,
703
  /// notes will be produced if the expression is not a constant expression.
704
  bool EvaluateAsInitializer(APValue &Result, const ASTContext &Ctx,
705
                             const VarDecl *VD,
706
                             SmallVectorImpl<PartialDiagnosticAt> &Notes,
707
                             bool IsConstantInitializer) const;
708
709
  /// EvaluateWithSubstitution - Evaluate an expression as if from the context
710
  /// of a call to the given function with the given arguments, inside an
711
  /// unevaluated context. Returns true if the expression could be folded to a
712
  /// constant.
713
  bool EvaluateWithSubstitution(APValue &Value, ASTContext &Ctx,
714
                                const FunctionDecl *Callee,
715
                                ArrayRef<const Expr*> Args,
716
                                const Expr *This = nullptr) const;
717
718
  enum class ConstantExprKind {
719
    /// An integer constant expression (an array bound, enumerator, case value,
720
    /// bit-field width, or similar) or similar.
721
    Normal,
722
    /// A non-class template argument. Such a value is only used for mangling,
723
    /// not for code generation, so can refer to dllimported functions.
724
    NonClassTemplateArgument,
725
    /// A class template argument. Such a value is used for code generation.
726
    ClassTemplateArgument,
727
    /// An immediate invocation. The destruction of the end result of this
728
    /// evaluation is not part of the evaluation, but all other temporaries
729
    /// are destroyed.
730
    ImmediateInvocation,
731
  };
732
733
  /// Evaluate an expression that is required to be a constant expression. Does
734
  /// not check the syntactic constraints for C and C++98 constant expressions.
735
  bool EvaluateAsConstantExpr(
736
      EvalResult &Result, const ASTContext &Ctx,
737
      ConstantExprKind Kind = ConstantExprKind::Normal) const;
738
739
  /// If the current Expr is a pointer, this will try to statically
740
  /// determine the number of bytes available where the pointer is pointing.
741
  /// Returns true if all of the above holds and we were able to figure out the
742
  /// size, false otherwise.
743
  ///
744
  /// \param Type - How to evaluate the size of the Expr, as defined by the
745
  /// "type" parameter of __builtin_object_size
746
  bool tryEvaluateObjectSize(uint64_t &Result, ASTContext &Ctx,
747
                             unsigned Type) const;
748
749
  /// If the current Expr is a pointer, this will try to statically
750
  /// determine the strlen of the string pointed to.
751
  /// Returns true if all of the above holds and we were able to figure out the
752
  /// strlen, false otherwise.
753
  bool tryEvaluateStrLen(uint64_t &Result, ASTContext &Ctx) const;
754
755
  /// Enumeration used to describe the kind of Null pointer constant
756
  /// returned from \c isNullPointerConstant().
757
  enum NullPointerConstantKind {
758
    /// Expression is not a Null pointer constant.
759
    NPCK_NotNull = 0,
760
761
    /// Expression is a Null pointer constant built from a zero integer
762
    /// expression that is not a simple, possibly parenthesized, zero literal.
763
    /// C++ Core Issue 903 will classify these expressions as "not pointers"
764
    /// once it is adopted.
765
    /// http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#903
766
    NPCK_ZeroExpression,
767
768
    /// Expression is a Null pointer constant built from a literal zero.
769
    NPCK_ZeroLiteral,
770
771
    /// Expression is a C++11 nullptr.
772
    NPCK_CXX11_nullptr,
773
774
    /// Expression is a GNU-style __null constant.
775
    NPCK_GNUNull
776
  };
777
778
  /// Enumeration used to describe how \c isNullPointerConstant()
779
  /// should cope with value-dependent expressions.
780
  enum NullPointerConstantValueDependence {
781
    /// Specifies that the expression should never be value-dependent.
782
    NPC_NeverValueDependent = 0,
783
784
    /// Specifies that a value-dependent expression of integral or
785
    /// dependent type should be considered a null pointer constant.
786
    NPC_ValueDependentIsNull,
787
788
    /// Specifies that a value-dependent expression should be considered
789
    /// to never be a null pointer constant.
790
    NPC_ValueDependentIsNotNull
791
  };
792
793
  /// isNullPointerConstant - C99 6.3.2.3p3 - Test if this reduces down to
794
  /// a Null pointer constant. The return value can further distinguish the
795
  /// kind of NULL pointer constant that was detected.
796
  NullPointerConstantKind isNullPointerConstant(
797
      ASTContext &Ctx,
798
      NullPointerConstantValueDependence NPC) const;
799
800
  /// isOBJCGCCandidate - Return true if this expression may be used in a read/
801
  /// write barrier.
802
  bool isOBJCGCCandidate(ASTContext &Ctx) const;
803
804
  /// Returns true if this expression is a bound member function.
805
  bool isBoundMemberFunction(ASTContext &Ctx) const;
806
807
  /// Given an expression of bound-member type, find the type
808
  /// of the member.  Returns null if this is an *overloaded* bound
809
  /// member expression.
810
  static QualType findBoundMemberType(const Expr *expr);
811
812
  /// Skip past any invisble AST nodes which might surround this
813
  /// statement, such as ExprWithCleanups or ImplicitCastExpr nodes,
814
  /// but also injected CXXMemberExpr and CXXConstructExpr which represent
815
  /// implicit conversions.
816
  Expr *IgnoreUnlessSpelledInSource();
817
91
  const Expr *IgnoreUnlessSpelledInSource() const {
818
91
    return const_cast<Expr *>(this)->IgnoreUnlessSpelledInSource();
819
91
  }
820
821
  /// Skip past any implicit casts which might surround this expression until
822
  /// reaching a fixed point. Skips:
823
  /// * ImplicitCastExpr
824
  /// * FullExpr
825
  Expr *IgnoreImpCasts() LLVM_READONLY;
826
518k
  const Expr *IgnoreImpCasts() const {
827
518k
    return const_cast<Expr *>(this)->IgnoreImpCasts();
828
518k
  }
829
830
  /// Skip past any casts which might surround this expression until reaching
831
  /// a fixed point. Skips:
832
  /// * CastExpr
833
  /// * FullExpr
834
  /// * MaterializeTemporaryExpr
835
  /// * SubstNonTypeTemplateParmExpr
836
  Expr *IgnoreCasts() LLVM_READONLY;
837
1.07k
  const Expr *IgnoreCasts() const {
838
1.07k
    return const_cast<Expr *>(this)->IgnoreCasts();
839
1.07k
  }
840
841
  /// Skip past any implicit AST nodes which might surround this expression
842
  /// until reaching a fixed point. Skips:
843
  /// * What IgnoreImpCasts() skips
844
  /// * MaterializeTemporaryExpr
845
  /// * CXXBindTemporaryExpr
846
  Expr *IgnoreImplicit() LLVM_READONLY;
847
56.1k
  const Expr *IgnoreImplicit() const {
848
56.1k
    return const_cast<Expr *>(this)->IgnoreImplicit();
849
56.1k
  }
850
851
  /// Skip past any implicit AST nodes which might surround this expression
852
  /// until reaching a fixed point. Same as IgnoreImplicit, except that it
853
  /// also skips over implicit calls to constructors and conversion functions.
854
  ///
855
  /// FIXME: Should IgnoreImplicit do this?
856
  Expr *IgnoreImplicitAsWritten() LLVM_READONLY;
857
1.52k
  const Expr *IgnoreImplicitAsWritten() const {
858
1.52k
    return const_cast<Expr *>(this)->IgnoreImplicitAsWritten();
859
1.52k
  }
860
861
  /// Skip past any parentheses which might surround this expression until
862
  /// reaching a fixed point. Skips:
863
  /// * ParenExpr
864
  /// * UnaryOperator if `UO_Extension`
865
  /// * GenericSelectionExpr if `!isResultDependent()`
866
  /// * ChooseExpr if `!isConditionDependent()`
867
  /// * ConstantExpr
868
  Expr *IgnoreParens() LLVM_READONLY;
869
42.5M
  const Expr *IgnoreParens() const {
870
42.5M
    return const_cast<Expr *>(this)->IgnoreParens();
871
42.5M
  }
872
873
  /// Skip past any parentheses and implicit casts which might surround this
874
  /// expression until reaching a fixed point.
875
  /// FIXME: IgnoreParenImpCasts really ought to be equivalent to
876
  /// IgnoreParens() + IgnoreImpCasts() until reaching a fixed point. However
877
  /// this is currently not the case. Instead IgnoreParenImpCasts() skips:
878
  /// * What IgnoreParens() skips
879
  /// * What IgnoreImpCasts() skips
880
  /// * MaterializeTemporaryExpr
881
  /// * SubstNonTypeTemplateParmExpr
882
  Expr *IgnoreParenImpCasts() LLVM_READONLY;
883
34.2M
  const Expr *IgnoreParenImpCasts() const {
884
34.2M
    return const_cast<Expr *>(this)->IgnoreParenImpCasts();
885
34.2M
  }
886
887
  /// Skip past any parentheses and casts which might surround this expression
888
  /// until reaching a fixed point. Skips:
889
  /// * What IgnoreParens() skips
890
  /// * What IgnoreCasts() skips
891
  Expr *IgnoreParenCasts() LLVM_READONLY;
892
11.7M
  const Expr *IgnoreParenCasts() const {
893
11.7M
    return const_cast<Expr *>(this)->IgnoreParenCasts();
894
11.7M
  }
895
896
  /// Skip conversion operators. If this Expr is a call to a conversion
897
  /// operator, return the argument.
898
  Expr *IgnoreConversionOperatorSingleStep() LLVM_READONLY;
899
0
  const Expr *IgnoreConversionOperatorSingleStep() const {
900
0
    return const_cast<Expr *>(this)->IgnoreConversionOperatorSingleStep();
901
0
  }
902
903
  /// Skip past any parentheses and lvalue casts which might surround this
904
  /// expression until reaching a fixed point. Skips:
905
  /// * What IgnoreParens() skips
906
  /// * What IgnoreCasts() skips, except that only lvalue-to-rvalue
907
  ///   casts are skipped
908
  /// FIXME: This is intended purely as a temporary workaround for code
909
  /// that hasn't yet been rewritten to do the right thing about those
910
  /// casts, and may disappear along with the last internal use.
911
  Expr *IgnoreParenLValueCasts() LLVM_READONLY;
912
1.81k
  const Expr *IgnoreParenLValueCasts() const {
913
1.81k
    return const_cast<Expr *>(this)->IgnoreParenLValueCasts();
914
1.81k
  }
915
916
  /// Skip past any parenthese and casts which do not change the value
917
  /// (including ptr->int casts of the same size) until reaching a fixed point.
918
  /// Skips:
919
  /// * What IgnoreParens() skips
920
  /// * CastExpr which do not change the value
921
  /// * SubstNonTypeTemplateParmExpr
922
  Expr *IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY;
923
16.5k
  const Expr *IgnoreParenNoopCasts(const ASTContext &Ctx) const {
924
16.5k
    return const_cast<Expr *>(this)->IgnoreParenNoopCasts(Ctx);
925
16.5k
  }
926
927
  /// Skip past any parentheses and derived-to-base casts until reaching a
928
  /// fixed point. Skips:
929
  /// * What IgnoreParens() skips
930
  /// * CastExpr which represent a derived-to-base cast (CK_DerivedToBase,
931
  ///   CK_UncheckedDerivedToBase and CK_NoOp)
932
  Expr *IgnoreParenBaseCasts() LLVM_READONLY;
933
35.7k
  const Expr *IgnoreParenBaseCasts() const {
934
35.7k
    return const_cast<Expr *>(this)->IgnoreParenBaseCasts();
935
35.7k
  }
936
937
  /// Determine whether this expression is a default function argument.
938
  ///
939
  /// Default arguments are implicitly generated in the abstract syntax tree
940
  /// by semantic analysis for function calls, object constructions, etc. in
941
  /// C++. Default arguments are represented by \c CXXDefaultArgExpr nodes;
942
  /// this routine also looks through any implicit casts to determine whether
943
  /// the expression is a default argument.
944
  bool isDefaultArgument() const;
945
946
  /// Determine whether the result of this expression is a
947
  /// temporary object of the given class type.
948
  bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const;
949
950
  /// Whether this expression is an implicit reference to 'this' in C++.
951
  bool isImplicitCXXThis() const;
952
953
  static bool hasAnyTypeDependentArguments(ArrayRef<Expr *> Exprs);
954
955
  /// For an expression of class type or pointer to class type,
956
  /// return the most derived class decl the expression is known to refer to.
957
  ///
958
  /// If this expression is a cast, this method looks through it to find the
959
  /// most derived decl that can be inferred from the expression.
960
  /// This is valid because derived-to-base conversions have undefined
961
  /// behavior if the object isn't dynamically of the derived type.
962
  const CXXRecordDecl *getBestDynamicClassType() const;
963
964
  /// Get the inner expression that determines the best dynamic class.
965
  /// If this is a prvalue, we guarantee that it is of the most-derived type
966
  /// for the object itself.
967
  const Expr *getBestDynamicClassTypeExpr() const;
968
969
  /// Walk outwards from an expression we want to bind a reference to and
970
  /// find the expression whose lifetime needs to be extended. Record
971
  /// the LHSs of comma expressions and adjustments needed along the path.
972
  const Expr *skipRValueSubobjectAdjustments(
973
      SmallVectorImpl<const Expr *> &CommaLHS,
974
      SmallVectorImpl<SubobjectAdjustment> &Adjustments) const;
975
7.65M
  const Expr *skipRValueSubobjectAdjustments() const {
976
7.65M
    SmallVector<const Expr *, 8> CommaLHSs;
977
7.65M
    SmallVector<SubobjectAdjustment, 8> Adjustments;
978
7.65M
    return skipRValueSubobjectAdjustments(CommaLHSs, Adjustments);
979
7.65M
  }
980
981
  /// Checks that the two Expr's will refer to the same value as a comparison
982
  /// operand.  The caller must ensure that the values referenced by the Expr's
983
  /// are not modified between E1 and E2 or the result my be invalid.
984
  static bool isSameComparisonOperand(const Expr* E1, const Expr* E2);
985
986
658M
  static bool classof(const Stmt *T) {
987
658M
    return T->getStmtClass() >= firstExprConstant &&
988
658M
           
T->getStmtClass() <= lastExprConstant655M
;
989
658M
  }
990
};
991
// PointerLikeTypeTraits is specialized so it can be used with a forward-decl of
992
// Expr. Verify that we got it right.
993
static_assert(llvm::PointerLikeTypeTraits<Expr *>::NumLowBitsAvailable <=
994
                  llvm::detail::ConstantLog2<alignof(Expr)>::value,
995
              "PointerLikeTypeTraits<Expr*> assumes too much alignment.");
996
997
using ConstantExprKind = Expr::ConstantExprKind;
998
999
//===----------------------------------------------------------------------===//
1000
// Wrapper Expressions.
1001
//===----------------------------------------------------------------------===//
1002
1003
/// FullExpr - Represents a "full-expression" node.
1004
class FullExpr : public Expr {
1005
protected:
1006
 Stmt *SubExpr;
1007
1008
 FullExpr(StmtClass SC, Expr *subexpr)
1009
     : Expr(SC, subexpr->getType(), subexpr->getValueKind(),
1010
            subexpr->getObjectKind()),
1011
5.90M
       SubExpr(subexpr) {
1012
5.90M
   setDependence(computeDependence(this));
1013
5.90M
 }
1014
  FullExpr(StmtClass SC, EmptyShell Empty)
1015
181k
    : Expr(SC, Empty) {}
1016
public:
1017
87.5k
  const Expr *getSubExpr() const { return cast<Expr>(SubExpr); }
1018
6.84M
  Expr *getSubExpr() { return cast<Expr>(SubExpr); }
1019
1020
  /// As with any mutator of the AST, be very careful when modifying an
1021
  /// existing AST to preserve its invariants.
1022
175k
  void setSubExpr(Expr *E) { SubExpr = E; }
1023
1024
219M
  static bool classof(const Stmt *T) {
1025
219M
    return T->getStmtClass() >= firstFullExprConstant &&
1026
219M
           
T->getStmtClass() <= lastFullExprConstant46.6M
;
1027
219M
  }
1028
};
1029
1030
/// ConstantExpr - An expression that occurs in a constant context and
1031
/// optionally the result of evaluating the expression.
1032
class ConstantExpr final
1033
    : public FullExpr,
1034
      private llvm::TrailingObjects<ConstantExpr, APValue, uint64_t> {
1035
  static_assert(std::is_same<uint64_t, llvm::APInt::WordType>::value,
1036
                "ConstantExpr assumes that llvm::APInt::WordType is uint64_t "
1037
                "for tail-allocated storage");
1038
  friend TrailingObjects;
1039
  friend class ASTStmtReader;
1040
  friend class ASTStmtWriter;
1041
1042
public:
1043
  /// Describes the kind of result that can be tail-allocated.
1044
  enum ResultStorageKind { RSK_None, RSK_Int64, RSK_APValue };
1045
1046
private:
1047
6.34M
  size_t numTrailingObjects(OverloadToken<APValue>) const {
1048
6.34M
    return ConstantExprBits.ResultKind == ConstantExpr::RSK_APValue;
1049
6.34M
  }
1050
0
  size_t numTrailingObjects(OverloadToken<uint64_t>) const {
1051
0
    return ConstantExprBits.ResultKind == ConstantExpr::RSK_Int64;
1052
0
  }
1053
1054
6.34M
  uint64_t &Int64Result() {
1055
6.34M
    assert(ConstantExprBits.ResultKind == ConstantExpr::RSK_Int64 &&
1056
6.34M
           "invalid accessor");
1057
0
    return *getTrailingObjects<uint64_t>();
1058
6.34M
  }
1059
189k
  const uint64_t &Int64Result() const {
1060
189k
    return const_cast<ConstantExpr *>(this)->Int64Result();
1061
189k
  }
1062
1.63k
  APValue &APValueResult() {
1063
1.63k
    assert(ConstantExprBits.ResultKind == ConstantExpr::RSK_APValue &&
1064
1.63k
           "invalid accessor");
1065
0
    return *getTrailingObjects<APValue>();
1066
1.63k
  }
1067
68
  APValue &APValueResult() const {
1068
68
    return const_cast<ConstantExpr *>(this)->APValueResult();
1069
68
  }
1070
1071
  ConstantExpr(Expr *SubExpr, ResultStorageKind StorageKind,
1072
               bool IsImmediateInvocation);
1073
  ConstantExpr(EmptyShell Empty, ResultStorageKind StorageKind);
1074
1075
public:
1076
  static ConstantExpr *Create(const ASTContext &Context, Expr *E,
1077
                              const APValue &Result);
1078
  static ConstantExpr *Create(const ASTContext &Context, Expr *E,
1079
                              ResultStorageKind Storage = RSK_None,
1080
                              bool IsImmediateInvocation = false);
1081
  static ConstantExpr *CreateEmpty(const ASTContext &Context,
1082
                                   ResultStorageKind StorageKind);
1083
1084
  static ResultStorageKind getStorageKind(const APValue &Value);
1085
  static ResultStorageKind getStorageKind(const Type *T,
1086
                                          const ASTContext &Context);
1087
1088
1.99M
  SourceLocation getBeginLoc() const LLVM_READONLY {
1089
1.99M
    return SubExpr->getBeginLoc();
1090
1.99M
  }
1091
166k
  SourceLocation getEndLoc() const LLVM_READONLY {
1092
166k
    return SubExpr->getEndLoc();
1093
166k
  }
1094
1095
19.2M
  static bool classof(const Stmt *T) {
1096
19.2M
    return T->getStmtClass() == ConstantExprClass;
1097
19.2M
  }
1098
1099
5.78M
  void SetResult(APValue Value, const ASTContext &Context) {
1100
5.78M
    MoveIntoResult(Value, Context);
1101
5.78M
  }
1102
  void MoveIntoResult(APValue &Value, const ASTContext &Context);
1103
1104
16
  APValue::ValueKind getResultAPValueKind() const {
1105
16
    return static_cast<APValue::ValueKind>(ConstantExprBits.APValueKind);
1106
16
  }
1107
0
  ResultStorageKind getResultStorageKind() const {
1108
0
    return static_cast<ResultStorageKind>(ConstantExprBits.ResultKind);
1109
0
  }
1110
25
  bool isImmediateInvocation() const {
1111
25
    return ConstantExprBits.IsImmediateInvocation;
1112
25
  }
1113
156k
  bool hasAPValueResult() const {
1114
156k
    return ConstantExprBits.APValueKind != APValue::None;
1115
156k
  }
1116
  APValue getAPValueResult() const;
1117
0
  APValue &getResultAsAPValue() const { return APValueResult(); }
1118
  llvm::APSInt getResultAsAPSInt() const;
1119
  // Iterators
1120
361k
  child_range children() { return child_range(&SubExpr, &SubExpr+1); }
1121
0
  const_child_range children() const {
1122
0
    return const_child_range(&SubExpr, &SubExpr + 1);
1123
0
  }
1124
};
1125
1126
//===----------------------------------------------------------------------===//
1127
// Primary Expressions.
1128
//===----------------------------------------------------------------------===//
1129
1130
/// OpaqueValueExpr - An expression referring to an opaque object of a
1131
/// fixed type and value class.  These don't correspond to concrete
1132
/// syntax; instead they're used to express operations (usually copy
1133
/// operations) on values whose source is generally obvious from
1134
/// context.
1135
class OpaqueValueExpr : public Expr {
1136
  friend class ASTStmtReader;
1137
  Expr *SourceExpr;
1138
1139
public:
1140
  OpaqueValueExpr(SourceLocation Loc, QualType T, ExprValueKind VK,
1141
                  ExprObjectKind OK = OK_Ordinary, Expr *SourceExpr = nullptr)
1142
720k
      : Expr(OpaqueValueExprClass, T, VK, OK), SourceExpr(SourceExpr) {
1143
720k
    setIsUnique(false);
1144
720k
    OpaqueValueExprBits.Loc = Loc;
1145
720k
    setDependence(computeDependence(this));
1146
720k
  }
1147
1148
  /// Given an expression which invokes a copy constructor --- i.e.  a
1149
  /// CXXConstructExpr, possibly wrapped in an ExprWithCleanups ---
1150
  /// find the OpaqueValueExpr that's the source of the construction.
1151
  static const OpaqueValueExpr *findInCopyConstruct(const Expr *expr);
1152
1153
  explicit OpaqueValueExpr(EmptyShell Empty)
1154
1.17k
    : Expr(OpaqueValueExprClass, Empty) {}
1155
1156
  /// Retrieve the location of this expression.
1157
425k
  SourceLocation getLocation() const { return OpaqueValueExprBits.Loc; }
1158
1159
445k
  SourceLocation getBeginLoc() const LLVM_READONLY {
1160
445k
    return SourceExpr ? 
SourceExpr->getBeginLoc()81.0k
:
getLocation()364k
;
1161
445k
  }
1162
17.1k
  SourceLocation getEndLoc() const LLVM_READONLY {
1163
17.1k
    return SourceExpr ? 
SourceExpr->getEndLoc()13.2k
:
getLocation()3.87k
;
1164
17.1k
  }
1165
81.5k
  SourceLocation getExprLoc() const LLVM_READONLY {
1166
81.5k
    return SourceExpr ? 
SourceExpr->getExprLoc()25.4k
:
getLocation()56.0k
;
1167
81.5k
  }
1168
1169
49.4k
  child_range children() {
1170
49.4k
    return child_range(child_iterator(), child_iterator());
1171
49.4k
  }
1172
1173
0
  const_child_range children() const {
1174
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1175
0
  }
1176
1177
  /// The source expression of an opaque value expression is the
1178
  /// expression which originally generated the value.  This is
1179
  /// provided as a convenience for analyses that don't wish to
1180
  /// precisely model the execution behavior of the program.
1181
  ///
1182
  /// The source expression is typically set when building the
1183
  /// expression which binds the opaque value expression in the first
1184
  /// place.
1185
772k
  Expr *getSourceExpr() const { return SourceExpr; }
1186
1187
726k
  void setIsUnique(bool V) {
1188
726k
    assert((!V || SourceExpr) &&
1189
726k
           "unique OVEs are expected to have source expressions");
1190
0
    OpaqueValueExprBits.IsUnique = V;
1191
726k
  }
1192
1193
4.09k
  bool isUnique() const { return OpaqueValueExprBits.IsUnique; }
1194
1195
41.1M
  static bool classof(const Stmt *T) {
1196
41.1M
    return T->getStmtClass() == OpaqueValueExprClass;
1197
41.1M
  }
1198
};
1199
1200
/// A reference to a declared variable, function, enum, etc.
1201
/// [C99 6.5.1p2]
1202
///
1203
/// This encodes all the information about how a declaration is referenced
1204
/// within an expression.
1205
///
1206
/// There are several optional constructs attached to DeclRefExprs only when
1207
/// they apply in order to conserve memory. These are laid out past the end of
1208
/// the object, and flags in the DeclRefExprBitfield track whether they exist:
1209
///
1210
///   DeclRefExprBits.HasQualifier:
1211
///       Specifies when this declaration reference expression has a C++
1212
///       nested-name-specifier.
1213
///   DeclRefExprBits.HasFoundDecl:
1214
///       Specifies when this declaration reference expression has a record of
1215
///       a NamedDecl (different from the referenced ValueDecl) which was found
1216
///       during name lookup and/or overload resolution.
1217
///   DeclRefExprBits.HasTemplateKWAndArgsInfo:
1218
///       Specifies when this declaration reference expression has an explicit
1219
///       C++ template keyword and/or template argument list.
1220
///   DeclRefExprBits.RefersToEnclosingVariableOrCapture
1221
///       Specifies when this declaration reference expression (validly)
1222
///       refers to an enclosed local or a captured variable.
1223
class DeclRefExpr final
1224
    : public Expr,
1225
      private llvm::TrailingObjects<DeclRefExpr, NestedNameSpecifierLoc,
1226
                                    NamedDecl *, ASTTemplateKWAndArgsInfo,
1227
                                    TemplateArgumentLoc> {
1228
  friend class ASTStmtReader;
1229
  friend class ASTStmtWriter;
1230
  friend TrailingObjects;
1231
1232
  /// The declaration that we are referencing.
1233
  ValueDecl *D;
1234
1235
  /// Provides source/type location info for the declaration name
1236
  /// embedded in D.
1237
  DeclarationNameLoc DNLoc;
1238
1239
1.62M
  size_t numTrailingObjects(OverloadToken<NestedNameSpecifierLoc>) const {
1240
1.62M
    return hasQualifier();
1241
1.62M
  }
1242
1243
1.30M
  size_t numTrailingObjects(OverloadToken<NamedDecl *>) const {
1244
1.30M
    return hasFoundDecl();
1245
1.30M
  }
1246
1247
330k
  size_t numTrailingObjects(OverloadToken<ASTTemplateKWAndArgsInfo>) const {
1248
330k
    return hasTemplateKWAndArgsInfo();
1249
330k
  }
1250
1251
  /// Test whether there is a distinct FoundDecl attached to the end of
1252
  /// this DRE.
1253
8.44M
  bool hasFoundDecl() const { return DeclRefExprBits.HasFoundDecl; }
1254
1255
  DeclRefExpr(const ASTContext &Ctx, NestedNameSpecifierLoc QualifierLoc,
1256
              SourceLocation TemplateKWLoc, ValueDecl *D,
1257
              bool RefersToEnlosingVariableOrCapture,
1258
              const DeclarationNameInfo &NameInfo, NamedDecl *FoundD,
1259
              const TemplateArgumentListInfo *TemplateArgs, QualType T,
1260
              ExprValueKind VK, NonOdrUseReason NOUR);
1261
1262
  /// Construct an empty declaration reference expression.
1263
1.48M
  explicit DeclRefExpr(EmptyShell Empty) : Expr(DeclRefExprClass, Empty) {}
1264
1265
public:
1266
  DeclRefExpr(const ASTContext &Ctx, ValueDecl *D,
1267
              bool RefersToEnclosingVariableOrCapture, QualType T,
1268
              ExprValueKind VK, SourceLocation L,
1269
              const DeclarationNameLoc &LocInfo = DeclarationNameLoc(),
1270
              NonOdrUseReason NOUR = NOUR_None);
1271
1272
  static DeclRefExpr *
1273
  Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc,
1274
         SourceLocation TemplateKWLoc, ValueDecl *D,
1275
         bool RefersToEnclosingVariableOrCapture, SourceLocation NameLoc,
1276
         QualType T, ExprValueKind VK, NamedDecl *FoundD = nullptr,
1277
         const TemplateArgumentListInfo *TemplateArgs = nullptr,
1278
         NonOdrUseReason NOUR = NOUR_None);
1279
1280
  static DeclRefExpr *
1281
  Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc,
1282
         SourceLocation TemplateKWLoc, ValueDecl *D,
1283
         bool RefersToEnclosingVariableOrCapture,
1284
         const DeclarationNameInfo &NameInfo, QualType T, ExprValueKind VK,
1285
         NamedDecl *FoundD = nullptr,
1286
         const TemplateArgumentListInfo *TemplateArgs = nullptr,
1287
         NonOdrUseReason NOUR = NOUR_None);
1288
1289
  /// Construct an empty declaration reference expression.
1290
  static DeclRefExpr *CreateEmpty(const ASTContext &Context, bool HasQualifier,
1291
                                  bool HasFoundDecl,
1292
                                  bool HasTemplateKWAndArgsInfo,
1293
                                  unsigned NumTemplateArgs);
1294
1295
134M
  ValueDecl *getDecl() { return D; }
1296
160M
  const ValueDecl *getDecl() const { return D; }
1297
  void setDecl(ValueDecl *NewD);
1298
1299
119M
  DeclarationNameInfo getNameInfo() const {
1300
119M
    return DeclarationNameInfo(getDecl()->getDeclName(), getLocation(), DNLoc);
1301
119M
  }
1302
1303
141M
  SourceLocation getLocation() const { return DeclRefExprBits.Loc; }
1304
1.48M
  void setLocation(SourceLocation L) { DeclRefExprBits.Loc = L; }
1305
  SourceLocation getBeginLoc() const LLVM_READONLY;
1306
  SourceLocation getEndLoc() const LLVM_READONLY;
1307
1308
  /// Determine whether this declaration reference was preceded by a
1309
  /// C++ nested-name-specifier, e.g., \c N::foo.
1310
157M
  bool hasQualifier() const { return DeclRefExprBits.HasQualifier; }
1311
1312
  /// If the name was qualified, retrieves the nested-name-specifier
1313
  /// that precedes the name, with source-location information.
1314
36.4M
  NestedNameSpecifierLoc getQualifierLoc() const {
1315
36.4M
    if (!hasQualifier())
1316
24.8M
      return NestedNameSpecifierLoc();
1317
11.6M
    return *getTrailingObjects<NestedNameSpecifierLoc>();
1318
36.4M
  }
1319
1320
  /// If the name was qualified, retrieves the nested-name-specifier
1321
  /// that precedes the name. Otherwise, returns NULL.
1322
24.0M
  NestedNameSpecifier *getQualifier() const {
1323
24.0M
    return getQualifierLoc().getNestedNameSpecifier();
1324
24.0M
  }
1325
1326
  /// Get the NamedDecl through which this reference occurred.
1327
  ///
1328
  /// This Decl may be different from the ValueDecl actually referred to in the
1329
  /// presence of using declarations, etc. It always returns non-NULL, and may
1330
  /// simple return the ValueDecl when appropriate.
1331
1332
5.64M
  NamedDecl *getFoundDecl() {
1333
5.64M
    return hasFoundDecl() ? 
*getTrailingObjects<NamedDecl *>()60.6k
:
D5.58M
;
1334
5.64M
  }
1335
1336
  /// Get the NamedDecl through which this reference occurred.
1337
  /// See non-const variant.
1338
8.37k
  const NamedDecl *getFoundDecl() const {
1339
8.37k
    return hasFoundDecl() ? 
*getTrailingObjects<NamedDecl *>()272
:
D8.10k
;
1340
8.37k
  }
1341
1342
47.7M
  bool hasTemplateKWAndArgsInfo() const {
1343
47.7M
    return DeclRefExprBits.HasTemplateKWAndArgsInfo;
1344
47.7M
  }
1345
1346
  /// Retrieve the location of the template keyword preceding
1347
  /// this name, if any.
1348
1.84M
  SourceLocation getTemplateKeywordLoc() const {
1349
1.84M
    if (!hasTemplateKWAndArgsInfo())
1350
1.83M
      return SourceLocation();
1351
5.30k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->TemplateKWLoc;
1352
1.84M
  }
1353
1354
  /// Retrieve the location of the left angle bracket starting the
1355
  /// explicit template argument list following the name, if any.
1356
38.7M
  SourceLocation getLAngleLoc() const {
1357
38.7M
    if (!hasTemplateKWAndArgsInfo())
1358
38.2M
      return SourceLocation();
1359
486k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->LAngleLoc;
1360
38.7M
  }
1361
1362
  /// Retrieve the location of the right angle bracket ending the
1363
  /// explicit template argument list following the name, if any.
1364
211k
  SourceLocation getRAngleLoc() const {
1365
211k
    if (!hasTemplateKWAndArgsInfo())
1366
63.6k
      return SourceLocation();
1367
147k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->RAngleLoc;
1368
211k
  }
1369
1370
  /// Determines whether the name in this declaration reference
1371
  /// was preceded by the template keyword.
1372
60.6k
  bool hasTemplateKeyword() const { return getTemplateKeywordLoc().isValid(); }
1373
1374
  /// Determines whether this declaration reference was followed by an
1375
  /// explicit template argument list.
1376
38.7M
  bool hasExplicitTemplateArgs() const { return getLAngleLoc().isValid(); }
1377
1378
  /// Copies the template arguments (if present) into the given
1379
  /// structure.
1380
1.37k
  void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const {
1381
1.37k
    if (hasExplicitTemplateArgs())
1382
1.37k
      getTrailingObjects<ASTTemplateKWAndArgsInfo>()->copyInto(
1383
1.37k
          getTrailingObjects<TemplateArgumentLoc>(), List);
1384
1.37k
  }
1385
1386
  /// Retrieve the template arguments provided as part of this
1387
  /// template-id.
1388
23.4M
  const TemplateArgumentLoc *getTemplateArgs() const {
1389
23.4M
    if (!hasExplicitTemplateArgs())
1390
23.2M
      return nullptr;
1391
159k
    return getTrailingObjects<TemplateArgumentLoc>();
1392
23.4M
  }
1393
1394
  /// Retrieve the number of template arguments provided as part of this
1395
  /// template-id.
1396
863k
  unsigned getNumTemplateArgs() const {
1397
863k
    if (!hasExplicitTemplateArgs())
1398
698k
      return 0;
1399
164k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->NumTemplateArgs;
1400
863k
  }
1401
1402
3.89k
  ArrayRef<TemplateArgumentLoc> template_arguments() const {
1403
3.89k
    return {getTemplateArgs(), getNumTemplateArgs()};
1404
3.89k
  }
1405
1406
  /// Returns true if this expression refers to a function that
1407
  /// was resolved from an overloaded set having size greater than 1.
1408
1.75M
  bool hadMultipleCandidates() const {
1409
1.75M
    return DeclRefExprBits.HadMultipleCandidates;
1410
1.75M
  }
1411
  /// Sets the flag telling whether this expression refers to
1412
  /// a function that was resolved from an overloaded set having size
1413
  /// greater than 1.
1414
720k
  void setHadMultipleCandidates(bool V = true) {
1415
720k
    DeclRefExprBits.HadMultipleCandidates = V;
1416
720k
  }
1417
1418
  /// Is this expression a non-odr-use reference, and if so, why?
1419
29.9M
  NonOdrUseReason isNonOdrUse() const {
1420
29.9M
    return static_cast<NonOdrUseReason>(DeclRefExprBits.NonOdrUseReason);
1421
29.9M
  }
1422
1423
  /// Does this DeclRefExpr refer to an enclosing local or a captured
1424
  /// variable?
1425
6.40M
  bool refersToEnclosingVariableOrCapture() const {
1426
6.40M
    return DeclRefExprBits.RefersToEnclosingVariableOrCapture;
1427
6.40M
  }
1428
1429
169M
  static bool classof(const Stmt *T) {
1430
169M
    return T->getStmtClass() == DeclRefExprClass;
1431
169M
  }
1432
1433
  // Iterators
1434
20.3M
  child_range children() {
1435
20.3M
    return child_range(child_iterator(), child_iterator());
1436
20.3M
  }
1437
1438
0
  const_child_range children() const {
1439
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1440
0
  }
1441
};
1442
1443
/// Used by IntegerLiteral/FloatingLiteral to store the numeric without
1444
/// leaking memory.
1445
///
1446
/// For large floats/integers, APFloat/APInt will allocate memory from the heap
1447
/// to represent these numbers.  Unfortunately, when we use a BumpPtrAllocator
1448
/// to allocate IntegerLiteral/FloatingLiteral nodes the memory associated with
1449
/// the APFloat/APInt values will never get freed. APNumericStorage uses
1450
/// ASTContext's allocator for memory allocation.
1451
class APNumericStorage {
1452
  union {
1453
    uint64_t VAL;    ///< Used to store the <= 64 bits integer value.
1454
    uint64_t *pVal;  ///< Used to store the >64 bits integer value.
1455
  };
1456
  unsigned BitWidth;
1457
1458
9.79M
  bool hasAllocation() const { return llvm::APInt::getNumWords(BitWidth) > 1; }
1459
1460
  APNumericStorage(const APNumericStorage &) = delete;
1461
  void operator=(const APNumericStorage &) = delete;
1462
1463
protected:
1464
9.79M
  APNumericStorage() : VAL(0), BitWidth(0) { }
1465
1466
19.3M
  llvm::APInt getIntValue() const {
1467
19.3M
    unsigned NumWords = llvm::APInt::getNumWords(BitWidth);
1468
19.3M
    if (NumWords > 1)
1469
5.61k
      return llvm::APInt(BitWidth, NumWords, pVal);
1470
19.3M
    else
1471
19.3M
      return llvm::APInt(BitWidth, VAL);
1472
19.3M
  }
1473
  void setIntValue(const ASTContext &C, const llvm::APInt &Val);
1474
};
1475
1476
class APIntStorage : private APNumericStorage {
1477
public:
1478
19.2M
  llvm::APInt getValue() const { return getIntValue(); }
1479
9.75M
  void setValue(const ASTContext &C, const llvm::APInt &Val) {
1480
9.75M
    setIntValue(C, Val);
1481
9.75M
  }
1482
};
1483
1484
class APFloatStorage : private APNumericStorage {
1485
public:
1486
60.7k
  llvm::APFloat getValue(const llvm::fltSemantics &Semantics) const {
1487
60.7k
    return llvm::APFloat(Semantics, getIntValue());
1488
60.7k
  }
1489
41.2k
  void setValue(const ASTContext &C, const llvm::APFloat &Val) {
1490
41.2k
    setIntValue(C, Val.bitcastToAPInt());
1491
41.2k
  }
1492
};
1493
1494
class IntegerLiteral : public Expr, public APIntStorage {
1495
  SourceLocation Loc;
1496
1497
  /// Construct an empty integer literal.
1498
  explicit IntegerLiteral(EmptyShell Empty)
1499
358k
    : Expr(IntegerLiteralClass, Empty) { }
1500
1501
public:
1502
  // type should be IntTy, LongTy, LongLongTy, UnsignedIntTy, UnsignedLongTy,
1503
  // or UnsignedLongLongTy
1504
  IntegerLiteral(const ASTContext &C, const llvm::APInt &V, QualType type,
1505
                 SourceLocation l);
1506
1507
  /// Returns a new integer literal with value 'V' and type 'type'.
1508
  /// \param type - either IntTy, LongTy, LongLongTy, UnsignedIntTy,
1509
  /// UnsignedLongTy, or UnsignedLongLongTy which should match the size of V
1510
  /// \param V - the value that the returned integer literal contains.
1511
  static IntegerLiteral *Create(const ASTContext &C, const llvm::APInt &V,
1512
                                QualType type, SourceLocation l);
1513
  /// Returns a new empty integer literal.
1514
  static IntegerLiteral *Create(const ASTContext &C, EmptyShell Empty);
1515
1516
23.4M
  SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; }
1517
980k
  SourceLocation getEndLoc() const LLVM_READONLY { return Loc; }
1518
1519
  /// Retrieve the location of the literal.
1520
504k
  SourceLocation getLocation() const { return Loc; }
1521
1522
358k
  void setLocation(SourceLocation Location) { Loc = Location; }
1523
1524
18.4M
  static bool classof(const Stmt *T) {
1525
18.4M
    return T->getStmtClass() == IntegerLiteralClass;
1526
18.4M
  }
1527
1528
  // Iterators
1529
14.5M
  child_range children() {
1530
14.5M
    return child_range(child_iterator(), child_iterator());
1531
14.5M
  }
1532
0
  const_child_range children() const {
1533
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1534
0
  }
1535
};
1536
1537
class FixedPointLiteral : public Expr, public APIntStorage {
1538
  SourceLocation Loc;
1539
  unsigned Scale;
1540
1541
  /// \brief Construct an empty fixed-point literal.
1542
  explicit FixedPointLiteral(EmptyShell Empty)
1543
56
      : Expr(FixedPointLiteralClass, Empty) {}
1544
1545
 public:
1546
  FixedPointLiteral(const ASTContext &C, const llvm::APInt &V, QualType type,
1547
                    SourceLocation l, unsigned Scale);
1548
1549
  // Store the int as is without any bit shifting.
1550
  static FixedPointLiteral *CreateFromRawInt(const ASTContext &C,
1551
                                             const llvm::APInt &V,
1552
                                             QualType type, SourceLocation l,
1553
                                             unsigned Scale);
1554
1555
  /// Returns an empty fixed-point literal.
1556
  static FixedPointLiteral *Create(const ASTContext &C, EmptyShell Empty);
1557
1558
2.81k
  SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; }
1559
328
  SourceLocation getEndLoc() const LLVM_READONLY { return Loc; }
1560
1561
  /// \brief Retrieve the location of the literal.
1562
64
  SourceLocation getLocation() const { return Loc; }
1563
1564
56
  void setLocation(SourceLocation Location) { Loc = Location; }
1565
1566
56
  unsigned getScale() const { return Scale; }
1567
56
  void setScale(unsigned S) { Scale = S; }
1568
1569
0
  static bool classof(const Stmt *T) {
1570
0
    return T->getStmtClass() == FixedPointLiteralClass;
1571
0
  }
1572
1573
  std::string getValueAsString(unsigned Radix) const;
1574
1575
  // Iterators
1576
1.76k
  child_range children() {
1577
1.76k
    return child_range(child_iterator(), child_iterator());
1578
1.76k
  }
1579
0
  const_child_range children() const {
1580
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1581
0
  }
1582
};
1583
1584
class CharacterLiteral : public Expr {
1585
public:
1586
  enum CharacterKind {
1587
    Ascii,
1588
    Wide,
1589
    UTF8,
1590
    UTF16,
1591
    UTF32
1592
  };
1593
1594
private:
1595
  unsigned Value;
1596
  SourceLocation Loc;
1597
public:
1598
  // type should be IntTy
1599
  CharacterLiteral(unsigned value, CharacterKind kind, QualType type,
1600
                   SourceLocation l)
1601
      : Expr(CharacterLiteralClass, type, VK_PRValue, OK_Ordinary),
1602
553k
        Value(value), Loc(l) {
1603
553k
    CharacterLiteralBits.Kind = kind;
1604
553k
    setDependence(ExprDependence::None);
1605
553k
  }
1606
1607
  /// Construct an empty character literal.
1608
5.44k
  CharacterLiteral(EmptyShell Empty) : Expr(CharacterLiteralClass, Empty) { }
1609
1610
24.8k
  SourceLocation getLocation() const { return Loc; }
1611
45.6k
  CharacterKind getKind() const {
1612
45.6k
    return static_cast<CharacterKind>(CharacterLiteralBits.Kind);
1613
45.6k
  }
1614
1615
1.83M
  SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; }
1616
22.9k
  SourceLocation getEndLoc() const LLVM_READONLY { return Loc; }
1617
1618
738k
  unsigned getValue() const { return Value; }
1619
1620
5.44k
  void setLocation(SourceLocation Location) { Loc = Location; }
1621
5.44k
  void setKind(CharacterKind kind) { CharacterLiteralBits.Kind = kind; }
1622
5.44k
  void setValue(unsigned Val) { Value = Val; }
1623
1624
2.55M
  static bool classof(const Stmt *T) {
1625
2.55M
    return T->getStmtClass() == CharacterLiteralClass;
1626
2.55M
  }
1627
1628
  static void print(unsigned val, CharacterKind Kind, raw_ostream &OS);
1629
1630
  // Iterators
1631
175k
  child_range children() {
1632
175k
    return child_range(child_iterator(), child_iterator());
1633
175k
  }
1634
0
  const_child_range children() const {
1635
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1636
0
  }
1637
};
1638
1639
class FloatingLiteral : public Expr, private APFloatStorage {
1640
  SourceLocation Loc;
1641
1642
  FloatingLiteral(const ASTContext &C, const llvm::APFloat &V, bool isexact,
1643
                  QualType Type, SourceLocation L);
1644
1645
  /// Construct an empty floating-point literal.
1646
  explicit FloatingLiteral(const ASTContext &C, EmptyShell Empty);
1647
1648
public:
1649
  static FloatingLiteral *Create(const ASTContext &C, const llvm::APFloat &V,
1650
                                 bool isexact, QualType Type, SourceLocation L);
1651
  static FloatingLiteral *Create(const ASTContext &C, EmptyShell Empty);
1652
1653
60.7k
  llvm::APFloat getValue() const {
1654
60.7k
    return APFloatStorage::getValue(getSemantics());
1655
60.7k
  }
1656
41.2k
  void setValue(const ASTContext &C, const llvm::APFloat &Val) {
1657
41.2k
    assert(&getSemantics() == &Val.getSemantics() && "Inconsistent semantics");
1658
0
    APFloatStorage::setValue(C, Val);
1659
41.2k
  }
1660
1661
  /// Get a raw enumeration value representing the floating-point semantics of
1662
  /// this literal (32-bit IEEE, x87, ...), suitable for serialisation.
1663
3.29k
  llvm::APFloatBase::Semantics getRawSemantics() const {
1664
3.29k
    return static_cast<llvm::APFloatBase::Semantics>(
1665
3.29k
        FloatingLiteralBits.Semantics);
1666
3.29k
  }
1667
1668
  /// Set the raw enumeration value representing the floating-point semantics of
1669
  /// this literal (32-bit IEEE, x87, ...), suitable for serialisation.
1670
3.58k
  void setRawSemantics(llvm::APFloatBase::Semantics Sem) {
1671
3.58k
    FloatingLiteralBits.Semantics = Sem;
1672
3.58k
  }
1673
1674
  /// Return the APFloat semantics this literal uses.
1675
104k
  const llvm::fltSemantics &getSemantics() const {
1676
104k
    return llvm::APFloatBase::EnumToSemantics(
1677
104k
        static_cast<llvm::APFloatBase::Semantics>(
1678
104k
            FloatingLiteralBits.Semantics));
1679
104k
  }
1680
1681
  /// Set the APFloat semantics this literal uses.
1682
39.4k
  void setSemantics(const llvm::fltSemantics &Sem) {
1683
39.4k
    FloatingLiteralBits.Semantics = llvm::APFloatBase::SemanticsToEnum(Sem);
1684
39.4k
  }
1685
1686
6.95k
  bool isExact() const { return FloatingLiteralBits.IsExact; }
1687
1.79k
  void setExact(bool E) { FloatingLiteralBits.IsExact = E; }
1688
1689
  /// getValueAsApproximateDouble - This returns the value as an inaccurate
1690
  /// double.  Note that this may cause loss of precision, but is useful for
1691
  /// debugging dumps, etc.
1692
  double getValueAsApproximateDouble() const;
1693
1694
3.69k
  SourceLocation getLocation() const { return Loc; }
1695
1.79k
  void setLocation(SourceLocation L) { Loc = L; }
1696
1697
209k
  SourceLocation getBeginLoc() const LLVM_READONLY { return Loc; }
1698
13.0k
  SourceLocation getEndLoc() const LLVM_READONLY { return Loc; }
1699
1700
166k
  static bool classof(const Stmt *T) {
1701
166k
    return T->getStmtClass() == FloatingLiteralClass;
1702
166k
  }
1703
1704
  // Iterators
1705
110k
  child_range children() {
1706
110k
    return child_range(child_iterator(), child_iterator());
1707
110k
  }
1708
0
  const_child_range children() const {
1709
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1710
0
  }
1711
};
1712
1713
/// ImaginaryLiteral - We support imaginary integer and floating point literals,
1714
/// like "1.0i".  We represent these as a wrapper around FloatingLiteral and
1715
/// IntegerLiteral classes.  Instances of this class always have a Complex type
1716
/// whose element type matches the subexpression.
1717
///
1718
class ImaginaryLiteral : public Expr {
1719
  Stmt *Val;
1720
public:
1721
  ImaginaryLiteral(Expr *val, QualType Ty)
1722
366
      : Expr(ImaginaryLiteralClass, Ty, VK_PRValue, OK_Ordinary), Val(val) {
1723
366
    setDependence(ExprDependence::None);
1724
366
  }
1725
1726
  /// Build an empty imaginary literal.
1727
  explicit ImaginaryLiteral(EmptyShell Empty)
1728
5
    : Expr(ImaginaryLiteralClass, Empty) { }
1729
1730
554
  const Expr *getSubExpr() const { return cast<Expr>(Val); }
1731
31
  Expr *getSubExpr() { return cast<Expr>(Val); }
1732
5
  void setSubExpr(Expr *E) { Val = E; }
1733
1734
980
  SourceLocation getBeginLoc() const LLVM_READONLY {
1735
980
    return Val->getBeginLoc();
1736
980
  }
1737
141
  SourceLocation getEndLoc() const LLVM_READONLY { return Val->getEndLoc(); }
1738
1739
2
  static bool classof(const Stmt *T) {
1740
2
    return T->getStmtClass() == ImaginaryLiteralClass;
1741
2
  }
1742
1743
  // Iterators
1744
876
  child_range children() { return child_range(&Val, &Val+1); }
1745
0
  const_child_range children() const {
1746
0
    return const_child_range(&Val, &Val + 1);
1747
0
  }
1748
};
1749
1750
/// StringLiteral - This represents a string literal expression, e.g. "foo"
1751
/// or L"bar" (wide strings). The actual string data can be obtained with
1752
/// getBytes() and is NOT null-terminated. The length of the string data is
1753
/// determined by calling getByteLength().
1754
///
1755
/// The C type for a string is always a ConstantArrayType. In C++, the char
1756
/// type is const qualified, in C it is not.
1757
///
1758
/// Note that strings in C can be formed by concatenation of multiple string
1759
/// literal pptokens in translation phase #6. This keeps track of the locations
1760
/// of each of these pieces.
1761
///
1762
/// Strings in C can also be truncated and extended by assigning into arrays,
1763
/// e.g. with constructs like:
1764
///   char X[2] = "foobar";
1765
/// In this case, getByteLength() will return 6, but the string literal will
1766
/// have type "char[2]".
1767
class StringLiteral final
1768
    : public Expr,
1769
      private llvm::TrailingObjects<StringLiteral, unsigned, SourceLocation,
1770
                                    char> {
1771
  friend class ASTStmtReader;
1772
  friend TrailingObjects;
1773
1774
  /// StringLiteral is followed by several trailing objects. They are in order:
1775
  ///
1776
  /// * A single unsigned storing the length in characters of this string. The
1777
  ///   length in bytes is this length times the width of a single character.
1778
  ///   Always present and stored as a trailing objects because storing it in
1779
  ///   StringLiteral would increase the size of StringLiteral by sizeof(void *)
1780
  ///   due to alignment requirements. If you add some data to StringLiteral,
1781
  ///   consider moving it inside StringLiteral.
1782
  ///
1783
  /// * An array of getNumConcatenated() SourceLocation, one for each of the
1784
  ///   token this string is made of.
1785
  ///
1786
  /// * An array of getByteLength() char used to store the string data.
1787
1788
public:
1789
  enum StringKind { Ascii, Wide, UTF8, UTF16, UTF32 };
1790
1791
private:
1792
16.9M
  unsigned numTrailingObjects(OverloadToken<unsigned>) const { return 1; }
1793
8.17M
  unsigned numTrailingObjects(OverloadToken<SourceLocation>) const {
1794
8.17M
    return getNumConcatenated();
1795
8.17M
  }
1796
1797
0
  unsigned numTrailingObjects(OverloadToken<char>) const {
1798
0
    return getByteLength();
1799
0
  }
1800
1801
13.3k
  char *getStrDataAsChar() { return getTrailingObjects<char>(); }
1802
4.18M
  const char *getStrDataAsChar() const { return getTrailingObjects<char>(); }
1803
1804
3.11k
  const uint16_t *getStrDataAsUInt16() const {
1805
3.11k
    return reinterpret_cast<const uint16_t *>(getTrailingObjects<char>());
1806
3.11k
  }
1807
1808
6.52k
  const uint32_t *getStrDataAsUInt32() const {
1809
6.52k
    return reinterpret_cast<const uint32_t *>(getTrailingObjects<char>());
1810
6.52k
  }
1811
1812
  /// Build a string literal.
1813
  StringLiteral(const ASTContext &Ctx, StringRef Str, StringKind Kind,
1814
                bool Pascal, QualType Ty, const SourceLocation *Loc,
1815
                unsigned NumConcatenated);
1816
1817
  /// Build an empty string literal.
1818
  StringLiteral(EmptyShell Empty, unsigned NumConcatenated, unsigned Length,
1819
                unsigned CharByteWidth);
1820
1821
  /// Map a target and string kind to the appropriate character width.
1822
  static unsigned mapCharByteWidth(TargetInfo const &Target, StringKind SK);
1823
1824
  /// Set one of the string literal token.
1825
15.5k
  void setStrTokenLoc(unsigned TokNum, SourceLocation L) {
1826
15.5k
    assert(TokNum < getNumConcatenated() && "Invalid tok number");
1827
0
    getTrailingObjects<SourceLocation>()[TokNum] = L;
1828
15.5k
  }
1829
1830
public:
1831
  /// This is the "fully general" constructor that allows representation of
1832
  /// strings formed from multiple concatenated tokens.
1833
  static StringLiteral *Create(const ASTContext &Ctx, StringRef Str,
1834
                               StringKind Kind, bool Pascal, QualType Ty,
1835
                               const SourceLocation *Loc,
1836
                               unsigned NumConcatenated);
1837
1838
  /// Simple constructor for string literals made from one token.
1839
  static StringLiteral *Create(const ASTContext &Ctx, StringRef Str,
1840
                               StringKind Kind, bool Pascal, QualType Ty,
1841
1.27k
                               SourceLocation Loc) {
1842
1.27k
    return Create(Ctx, Str, Kind, Pascal, Ty, &Loc, 1);
1843
1.27k
  }
1844
1845
  /// Construct an empty string literal.
1846
  static StringLiteral *CreateEmpty(const ASTContext &Ctx,
1847
                                    unsigned NumConcatenated, unsigned Length,
1848
                                    unsigned CharByteWidth);
1849
1850
4.02M
  StringRef getString() const {
1851
4.02M
    assert(getCharByteWidth() == 1 &&
1852
4.02M
           "This function is used in places that assume strings use char");
1853
0
    return StringRef(getStrDataAsChar(), getByteLength());
1854
4.02M
  }
1855
1856
  /// Allow access to clients that need the byte representation, such as
1857
  /// ASTWriterStmt::VisitStringLiteral().
1858
26.8k
  StringRef getBytes() const {
1859
    // FIXME: StringRef may not be the right type to use as a result for this.
1860
26.8k
    return StringRef(getStrDataAsChar(), getByteLength());
1861
26.8k
  }
1862
1863
  void outputString(raw_ostream &OS) const;
1864
1865
135k
  uint32_t getCodeUnit(size_t i) const {
1866
135k
    assert(i < getLength() && "out of bounds access");
1867
0
    switch (getCharByteWidth()) {
1868
126k
    case 1:
1869
126k
      return static_cast<unsigned char>(getStrDataAsChar()[i]);
1870
3.11k
    case 2:
1871
3.11k
      return getStrDataAsUInt16()[i];
1872
6.52k
    case 4:
1873
6.52k
      return getStrDataAsUInt32()[i];
1874
135k
    }
1875
0
    llvm_unreachable("Unsupported character width!");
1876
0
  }
1877
1878
4.06M
  unsigned getByteLength() const { return getCharByteWidth() * getLength(); }
1879
4.27M
  unsigned getLength() const { return *getTrailingObjects<unsigned>(); }
1880
8.37M
  unsigned getCharByteWidth() const { return StringLiteralBits.CharByteWidth; }
1881
1882
3.88M
  StringKind getKind() const {
1883
3.88M
    return static_cast<StringKind>(StringLiteralBits.Kind);
1884
3.88M
  }
1885
1886
3.76M
  bool isAscii() const { return getKind() == Ascii; }
1887
5.11k
  bool isWide() const { return getKind() == Wide; }
1888
13
  bool isUTF8() const { return getKind() == UTF8; }
1889
0
  bool isUTF16() const { return getKind() == UTF16; }
1890
0
  bool isUTF32() const { return getKind() == UTF32; }
1891
19.1k
  bool isPascal() const { return StringLiteralBits.IsPascal; }
1892
1893
3
  bool containsNonAscii() const {
1894
3
    for (auto c : getString())
1895
25
      if (!isASCII(c))
1896
0
        return true;
1897
3
    return false;
1898
3
  }
1899
1900
11.7k
  bool containsNonAsciiOrNull() const {
1901
11.7k
    for (auto c : getString())
1902
372k
      if (!isASCII(c) || 
!c372k
)
1903
397
        return true;
1904
11.4k
    return false;
1905
11.7k
  }
1906
1907
  /// getNumConcatenated - Get the number of string literal tokens that were
1908
  /// concatenated in translation phase #6 to form this string literal.
1909
8.48M
  unsigned getNumConcatenated() const {
1910
8.48M
    return StringLiteralBits.NumConcatenated;
1911
8.48M
  }
1912
1913
  /// Get one of the string literal token.
1914
154k
  SourceLocation getStrTokenLoc(unsigned TokNum) const {
1915
154k
    assert(TokNum < getNumConcatenated() && "Invalid tok number");
1916
0
    return getTrailingObjects<SourceLocation>()[TokNum];
1917
154k
  }
1918
1919
  /// getLocationOfByte - Return a source location that points to the specified
1920
  /// byte of this string literal.
1921
  ///
1922
  /// Strings are amazingly complex.  They can be formed from multiple tokens
1923
  /// and can have escape sequences in them in addition to the usual trigraph
1924
  /// and escaped newline business.  This routine handles this complexity.
1925
  ///
1926
  SourceLocation
1927
  getLocationOfByte(unsigned ByteNo, const SourceManager &SM,
1928
                    const LangOptions &Features, const TargetInfo &Target,
1929
                    unsigned *StartToken = nullptr,
1930
                    unsigned *StartTokenByteOffset = nullptr) const;
1931
1932
  typedef const SourceLocation *tokloc_iterator;
1933
1934
4.52M
  tokloc_iterator tokloc_begin() const {
1935
4.52M
    return getTrailingObjects<SourceLocation>();
1936
4.52M
  }
1937
1938
60.8k
  tokloc_iterator tokloc_end() const {
1939
60.8k
    return getTrailingObjects<SourceLocation>() + getNumConcatenated();
1940
60.8k
  }
1941
1942
4.51M
  SourceLocation getBeginLoc() const LLVM_READONLY { return *tokloc_begin(); }
1943
48.3k
  SourceLocation getEndLoc() const LLVM_READONLY { return *(tokloc_end() - 1); }
1944
1945
13.7M
  static bool classof(const Stmt *T) {
1946
13.7M
    return T->getStmtClass() == StringLiteralClass;
1947
13.7M
  }
1948
1949
  // Iterators
1950
357k
  child_range children() {
1951
357k
    return child_range(child_iterator(), child_iterator());
1952
357k
  }
1953
0
  const_child_range children() const {
1954
0
    return const_child_range(const_child_iterator(), const_child_iterator());
1955
0
  }
1956
};
1957
1958
/// [C99 6.4.2.2] - A predefined identifier such as __func__.
1959
class PredefinedExpr final
1960
    : public Expr,
1961
      private llvm::TrailingObjects<PredefinedExpr, Stmt *> {
1962
  friend class ASTStmtReader;
1963
  friend TrailingObjects;
1964
1965
  // PredefinedExpr is optionally followed by a single trailing
1966
  // "Stmt *" for the predefined identifier. It is present if and only if
1967
  // hasFunctionName() is true and is always a "StringLiteral *".
1968
1969
public:
1970
  enum IdentKind {
1971
    Func,
1972
    Function,
1973
    LFunction, // Same as Function, but as wide string.
1974
    FuncDName,
1975
    FuncSig,
1976
    LFuncSig, // Same as FuncSig, but as as wide string
1977
    PrettyFunction,
1978
    /// The same as PrettyFunction, except that the
1979
    /// 'virtual' keyword is omitted for virtual member functions.
1980
    PrettyFunctionNoVirtual
1981
  };
1982
1983
private:
1984
  PredefinedExpr(SourceLocation L, QualType FNTy, IdentKind IK,
1985
                 StringLiteral *SL);
1986
1987
  explicit PredefinedExpr(EmptyShell Empty, bool HasFunctionName);
1988
1989
  /// True if this PredefinedExpr has storage for a function name.
1990
6.69k
  bool hasFunctionName() const { return PredefinedExprBits.HasFunctionName; }
1991
1992
822
  void setFunctionName(StringLiteral *SL) {
1993
822
    assert(hasFunctionName() &&
1994
822
           "This PredefinedExpr has no storage for a function name!");
1995
0
    *getTrailingObjects<Stmt *>() = SL;
1996
822
  }
1997
1998
public:
1999
  /// Create a PredefinedExpr.
2000
  static PredefinedExpr *Create(const ASTContext &Ctx, SourceLocation L,
2001
                                QualType FNTy, IdentKind IK, StringLiteral *SL);
2002
2003
  /// Create an empty PredefinedExpr.
2004
  static PredefinedExpr *CreateEmpty(const ASTContext &Ctx,
2005
                                     bool HasFunctionName);
2006
2007
1.65k
  IdentKind getIdentKind() const {
2008
1.65k
    return static_cast<IdentKind>(PredefinedExprBits.Kind);
2009
1.65k
  }
2010
2011
10.6k
  SourceLocation getLocation() const { return PredefinedExprBits.Loc; }
2012
17
  void setLocation(SourceLocation L) { PredefinedExprBits.Loc = L; }
2013
2014
43
  StringLiteral *getFunctionName() {
2015
43
    return hasFunctionName()
2016
43
               ? 
static_cast<StringLiteral *>(*getTrailingObjects<Stmt *>())36
2017
43
               : 
nullptr7
;
2018
43
  }
2019
2020
2.53k
  const StringLiteral *getFunctionName() const {
2021
2.53k
    return hasFunctionName()
2022
2.53k
               ? static_cast<StringLiteral *>(*getTrailingObjects<Stmt *>())
2023
2.53k
               : 
nullptr0
;
2024
2.53k
  }
2025
2026
  static StringRef getIdentKindName(IdentKind IK);
2027
8
  StringRef getIdentKindName() const {
2028
8
    return getIdentKindName(getIdentKind());
2029
8
  }
2030
2031
  static std::string ComputeName(IdentKind IK, const Decl *CurrentDecl);
2032
2033
9.54k
  SourceLocation getBeginLoc() const { return getLocation(); }
2034
1.03k
  SourceLocation getEndLoc() const { return getLocation(); }
2035
2036
108k
  static bool classof(const Stmt *T) {
2037
108k
    return T->getStmtClass() == PredefinedExprClass;
2038
108k
  }
2039
2040
  // Iterators
2041
3.28k
  child_range children() {
2042
3.28k
    return child_range(getTrailingObjects<Stmt *>(),
2043
3.28k
                       getTrailingObjects<Stmt *>() + hasFunctionName());
2044
3.28k
  }
2045
2046
0
  const_child_range children() const {
2047
0
    return const_child_range(getTrailingObjects<Stmt *>(),
2048
0
                             getTrailingObjects<Stmt *>() + hasFunctionName());
2049
0
  }
2050
};
2051
2052
// This represents a use of the __builtin_sycl_unique_stable_name, which takes a
2053
// type-id, and at CodeGen time emits a unique string representation of the
2054
// type in a way that permits us to properly encode information about the SYCL
2055
// kernels.
2056
class SYCLUniqueStableNameExpr final : public Expr {
2057
  friend class ASTStmtReader;
2058
  SourceLocation OpLoc, LParen, RParen;
2059
  TypeSourceInfo *TypeInfo;
2060
2061
  SYCLUniqueStableNameExpr(EmptyShell Empty, QualType ResultTy);
2062
  SYCLUniqueStableNameExpr(SourceLocation OpLoc, SourceLocation LParen,
2063
                           SourceLocation RParen, QualType ResultTy,
2064
                           TypeSourceInfo *TSI);
2065
2066
84
  void setTypeSourceInfo(TypeSourceInfo *Ty) { TypeInfo = Ty; }
2067
2068
0
  void setLocation(SourceLocation L) { OpLoc = L; }
2069
0
  void setLParenLocation(SourceLocation L) { LParen = L; }
2070
0
  void setRParenLocation(SourceLocation L) { RParen = L; }
2071
2072
public:
2073
138
  TypeSourceInfo *getTypeSourceInfo() { return TypeInfo; }
2074
2075
48
  const TypeSourceInfo *getTypeSourceInfo() const { return TypeInfo; }
2076
2077
  static SYCLUniqueStableNameExpr *
2078
  Create(const ASTContext &Ctx, SourceLocation OpLoc, SourceLocation LParen,
2079
         SourceLocation RParen, TypeSourceInfo *TSI);
2080
2081
  static SYCLUniqueStableNameExpr *CreateEmpty(const ASTContext &Ctx);
2082
2083
297
  SourceLocation getBeginLoc() const { return getLocation(); }
2084
22
  SourceLocation getEndLoc() const { return RParen; }
2085
341
  SourceLocation getLocation() const { return OpLoc; }
2086
22
  SourceLocation getLParenLocation() const { return LParen; }
2087
22
  SourceLocation getRParenLocation() const { return RParen; }
2088
2089
27
  static bool classof(const Stmt *T) {
2090
27
    return T->getStmtClass() == SYCLUniqueStableNameExprClass;
2091
27
  }
2092
2093
  // Iterators
2094
138
  child_range children() {
2095
138
    return child_range(child_iterator(), child_iterator());
2096
138
  }
2097
2098
0
  const_child_range children() const {
2099
0
    return const_child_range(const_child_iterator(), const_child_iterator());
2100
0
  }
2101
2102
  // Convenience function to generate the name of the currently stored type.
2103
  std::string ComputeName(ASTContext &Context) const;
2104
2105
  // Get the generated name of the type.  Note that this only works after all
2106
  // kernels have been instantiated.
2107
  static std::string ComputeName(ASTContext &Context, QualType Ty);
2108
};
2109
2110
/// ParenExpr - This represents a parethesized expression, e.g. "(1)".  This
2111
/// AST node is only formed if full location information is requested.
2112
class ParenExpr : public Expr {
2113
  SourceLocation L, R;
2114
  Stmt *Val;
2115
public:
2116
  ParenExpr(SourceLocation l, SourceLocation r, Expr *val)
2117
      : Expr(ParenExprClass, val->getType(), val->getValueKind(),
2118
             val->getObjectKind()),
2119
2.36M
        L(l), R(r), Val(val) {
2120
2.36M
    setDependence(computeDependence(this));
2121
2.36M
  }
2122
2123
  /// Construct an empty parenthesized expression.
2124
  explicit ParenExpr(EmptyShell Empty)
2125
115k
    : Expr(ParenExprClass, Empty) { }
2126
2127
1.03M
  const Expr *getSubExpr() const { return cast<Expr>(Val); }
2128
14.6M
  Expr *getSubExpr() { return cast<Expr>(Val); }
2129
115k
  void setSubExpr(Expr *E) { Val = E; }
2130
2131
3.30M
  SourceLocation getBeginLoc() const LLVM_READONLY { return L; }
2132
595k
  SourceLocation getEndLoc() const LLVM_READONLY { return R; }
2133
2134
  /// Get the location of the left parentheses '('.
2135
287k
  SourceLocation getLParen() const { return L; }
2136
115k
  void setLParen(SourceLocation Loc) { L = Loc; }
2137
2138
  /// Get the location of the right parentheses ')'.
2139
287k
  SourceLocation getRParen() const { return R; }
2140
115k
  void setRParen(SourceLocation Loc) { R = Loc; }
2141
2142
385M
  static bool classof(const Stmt *T) {
2143
385M
    return T->getStmtClass() == ParenExprClass;
2144
385M
  }
2145
2146
  // Iterators
2147
2.64M
  child_range children() { return child_range(&Val, &Val+1); }
2148
0
  const_child_range children() const {
2149
0
    return const_child_range(&Val, &Val + 1);
2150
0
  }
2151
};
2152
2153
/// UnaryOperator - This represents the unary-expression's (except sizeof and
2154
/// alignof), the postinc/postdec operators from postfix-expression, and various
2155
/// extensions.
2156
///
2157
/// Notes on various nodes:
2158
///
2159
/// Real/Imag - These return the real/imag part of a complex operand.  If
2160
///   applied to a non-complex value, the former returns its operand and the
2161
///   later returns zero in the type of the operand.
2162
///
2163
class UnaryOperator final
2164
    : public Expr,
2165
      private llvm::TrailingObjects<UnaryOperator, FPOptionsOverride> {
2166
  Stmt *Val;
2167
2168
0
  size_t numTrailingObjects(OverloadToken<FPOptionsOverride>) const {
2169
0
    return UnaryOperatorBits.HasFPFeatures ? 1 : 0;
2170
0
  }
2171
2172
6.02k
  FPOptionsOverride &getTrailingFPFeatures() {
2173
6.02k
    assert(UnaryOperatorBits.HasFPFeatures);
2174
0
    return *getTrailingObjects<FPOptionsOverride>();
2175
6.02k
  }
2176
2177
53
  const FPOptionsOverride &getTrailingFPFeatures() const {
2178
53
    assert(UnaryOperatorBits.HasFPFeatures);
2179
0
    return *getTrailingObjects<FPOptionsOverride>();
2180
53
  }
2181
2182
public:
2183
  typedef UnaryOperatorKind Opcode;
2184
2185
protected:
2186
  UnaryOperator(const ASTContext &Ctx, Expr *input, Opcode opc, QualType type,
2187
                ExprValueKind VK, ExprObjectKind OK, SourceLocation l,
2188
                bool CanOverflow, FPOptionsOverride FPFeatures);
2189
2190
  /// Build an empty unary operator.
2191
  explicit UnaryOperator(bool HasFPFeatures, EmptyShell Empty)
2192
215k
      : Expr(UnaryOperatorClass, Empty) {
2193
215k
    UnaryOperatorBits.Opc = UO_AddrOf;
2194
215k
    UnaryOperatorBits.HasFPFeatures = HasFPFeatures;
2195
215k
  }
2196
2197
public:
2198
  static UnaryOperator *CreateEmpty(const ASTContext &C, bool hasFPFeatures);
2199
2200
  static UnaryOperator *Create(const ASTContext &C, Expr *input, Opcode opc,
2201
                               QualType type, ExprValueKind VK,
2202
                               ExprObjectKind OK, SourceLocation l,
2203
                               bool CanOverflow, FPOptionsOverride FPFeatures);
2204
2205
24.9M
  Opcode getOpcode() const {
2206
24.9M
    return static_cast<Opcode>(UnaryOperatorBits.Opc);
2207
24.9M
  }
2208
215k
  void setOpcode(Opcode Opc) { UnaryOperatorBits.Opc = Opc; }
2209
2210
9.28M
  Expr *getSubExpr() const { return cast<Expr>(Val); }
2211
215k
  void setSubExpr(Expr *E) { Val = E; }
2212
2213
  /// getOperatorLoc - Return the location of the operator.
2214
7.54M
  SourceLocation getOperatorLoc() const { return UnaryOperatorBits.Loc; }
2215
215k
  void setOperatorLoc(SourceLocation L) { UnaryOperatorBits.Loc = L; }
2216
2217
  /// Returns true if the unary operator can cause an overflow. For instance,
2218
  ///   signed int i = INT_MAX; i++;
2219
  ///   signed char c = CHAR_MAX; c++;
2220
  /// Due to integer promotions, c++ is promoted to an int before the postfix
2221
  /// increment, and the result is an int that cannot overflow. However, i++
2222
  /// can overflow.
2223
274k
  bool canOverflow() const { return UnaryOperatorBits.CanOverflow; }
2224
215k
  void setCanOverflow(bool C) { UnaryOperatorBits.CanOverflow = C; }
2225
2226
  // Get the FP contractability status of this operator. Only meaningful for
2227
  // operations on floating point types.
2228
0
  bool isFPContractableWithinStatement(const LangOptions &LO) const {
2229
0
    return getFPFeaturesInEffect(LO).allowFPContractWithinStatement();
2230
0
  }
2231
2232
  // Get the FENV_ACCESS status of this operator. Only meaningful for
2233
  // operations on floating point types.
2234
0
  bool isFEnvAccessOn(const LangOptions &LO) const {
2235
0
    return getFPFeaturesInEffect(LO).getAllowFEnvAccess();
2236
0
  }
2237
2238
  /// isPostfix - Return true if this is a postfix operation, like x++.
2239
4.25M
  static bool isPostfix(Opcode Op) {
2240
4.25M
    return Op == UO_PostInc || 
Op == UO_PostDec4.05M
;
2241
4.25M
  }
2242
2243
  /// isPrefix - Return true if this is a prefix operation, like --x.
2244
97.7k
  static bool isPrefix(Opcode Op) {
2245
97.7k
    return Op == UO_PreInc || 
Op == UO_PreDec96.1k
;
2246
97.7k
  }
2247
2248
97.7k
  bool isPrefix() const { return isPrefix(getOpcode()); }
2249
4.25M
  bool isPostfix() const { return isPostfix(getOpcode()); }
2250
2251
60.8k
  static bool isIncrementOp(Opcode Op) {
2252
60.8k
    return Op == UO_PreInc || 
Op == UO_PostInc12.9k
;
2253
60.8k
  }
2254
60.7k
  bool isIncrementOp() const {
2255
60.7k
    return isIncrementOp(getOpcode());
2256
60.7k
  }
2257
2258
137k
  static bool isDecrementOp(Opcode Op) {
2259
137k
    return Op == UO_PreDec || 
Op == UO_PostDec137k
;
2260
137k
  }
2261
137k
  bool isDecrementOp() const {
2262
137k
    return isDecrementOp(getOpcode());
2263
137k
  }
2264
2265
222k
  static bool isIncrementDecrementOp(Opcode Op) { return Op <= UO_PreDec; }
2266
222k
  bool isIncrementDecrementOp() const {
2267
222k
    return isIncrementDecrementOp(getOpcode());
2268
222k
  }
2269
2270
0
  static bool isArithmeticOp(Opcode Op) {
2271
0
    return Op >= UO_Plus && Op <= UO_LNot;
2272
0
  }
2273
0
  bool isArithmeticOp() const { return isArithmeticOp(getOpcode()); }
2274
2275
  /// getOpcodeStr - Turn an Opcode enum value into the punctuation char it
2276
  /// corresponds to, e.g. "sizeof" or "[pre]++"
2277
  static StringRef getOpcodeStr(Opcode Op);
2278
2279
  /// Retrieve the unary opcode that corresponds to the given
2280
  /// overloaded operator.
2281
  static Opcode getOverloadedOpcode(OverloadedOperatorKind OO, bool Postfix);
2282
2283
  /// Retrieve the overloaded operator kind that corresponds to
2284
  /// the given unary opcode.
2285
  static OverloadedOperatorKind getOverloadedOperator(Opcode Opc);
2286
2287
3.63M
  SourceLocation getBeginLoc() const LLVM_READONLY {
2288
3.63M
    return isPostfix() ? 
Val->getBeginLoc()145k
:
getOperatorLoc()3.49M
;
2289
3.63M
  }
2290
525k
  SourceLocation getEndLoc() const LLVM_READONLY {
2291
525k
    return isPostfix() ? 
getOperatorLoc()47.3k
:
Val->getEndLoc()478k
;
2292
525k
  }
2293
3.39M
  SourceLocation getExprLoc() const { return getOperatorLoc(); }
2294
2295
630M
  static bool classof(const Stmt *T) {
2296
630M
    return T->getStmtClass() == UnaryOperatorClass;
2297
630M
  }
2298
2299
  // Iterators
2300
2.73M
  child_range children() { return child_range(&Val, &Val+1); }
2301
0
  const_child_range children() const {
2302
0
    return const_child_range(&Val, &Val + 1);
2303
0
  }
2304
2305
  /// Is FPFeatures in Trailing Storage?
2306
3.05M
  bool hasStoredFPFeatures() const { return UnaryOperatorBits.HasFPFeatures; }
2307
2308
  /// Get FPFeatures from trailing storage.
2309
53
  FPOptionsOverride getStoredFPFeatures() const {
2310
53
    return getTrailingFPFeatures();
2311
53
  }
2312
2313
protected:
2314
  /// Set FPFeatures in trailing storage, used only by Serialization
2315
6.02k
  void setStoredFPFeatures(FPOptionsOverride F) { getTrailingFPFeatures() = F; }
2316
2317
public:
2318
  // Get the FP features status of this operator. Only meaningful for
2319
  // operations on floating point types.
2320
11.4k
  FPOptions getFPFeaturesInEffect(const LangOptions &LO) const {
2321
11.4k
    if (UnaryOperatorBits.HasFPFeatures)
2322
49
      return getStoredFPFeatures().applyOverrides(LO);
2323
11.4k
    return FPOptions::defaultWithoutTrailingStorage(LO);
2324
11.4k
  }
2325
130k
  FPOptionsOverride getFPOptionsOverride() const {
2326
130k
    if (UnaryOperatorBits.HasFPFeatures)
2327
0
      return getStoredFPFeatures();
2328
130k
    return FPOptionsOverride();
2329
130k
  }
2330
2331
  friend TrailingObjects;
2332
  friend class ASTReader;
2333
  friend class ASTStmtReader;
2334
  friend class ASTStmtWriter;
2335
};
2336
2337
/// Helper class for OffsetOfExpr.
2338
2339
// __builtin_offsetof(type, identifier(.identifier|[expr])*)
2340
class OffsetOfNode {
2341
public:
2342
  /// The kind of offsetof node we have.
2343
  enum Kind {
2344
    /// An index into an array.
2345
    Array = 0x00,
2346
    /// A field.
2347
    Field = 0x01,
2348
    /// A field in a dependent type, known only by its name.
2349
    Identifier = 0x02,
2350
    /// An implicit indirection through a C++ base class, when the
2351
    /// field found is in a base class.
2352
    Base = 0x03
2353
  };
2354
2355
private:
2356
  enum { MaskBits = 2, Mask = 0x03 };
2357
2358
  /// The source range that covers this part of the designator.
2359
  SourceRange Range;
2360
2361
  /// The data describing the designator, which comes in three
2362
  /// different forms, depending on the lower two bits.
2363
  ///   - An unsigned index into the array of Expr*'s stored after this node
2364
  ///     in memory, for [constant-expression] designators.
2365
  ///   - A FieldDecl*, for references to a known field.
2366
  ///   - An IdentifierInfo*, for references to a field with a given name
2367
  ///     when the class type is dependent.
2368
  ///   - A CXXBaseSpecifier*, for references that look at a field in a
2369
  ///     base class.
2370
  uintptr_t Data;
2371
2372
public:
2373
  /// Create an offsetof node that refers to an array element.
2374
  OffsetOfNode(SourceLocation LBracketLoc, unsigned Index,
2375
               SourceLocation RBracketLoc)
2376
45
      : Range(LBracketLoc, RBracketLoc), Data((Index << 2) | Array) {}
2377
2378
  /// Create an offsetof node that refers to a field.
2379
  OffsetOfNode(SourceLocation DotLoc, FieldDecl *Field, SourceLocation NameLoc)
2380
      : Range(DotLoc.isValid() ? DotLoc : NameLoc, NameLoc),
2381
352
        Data(reinterpret_cast<uintptr_t>(Field) | OffsetOfNode::Field) {}
2382
2383
  /// Create an offsetof node that refers to an identifier.
2384
  OffsetOfNode(SourceLocation DotLoc, IdentifierInfo *Name,
2385
               SourceLocation NameLoc)
2386
      : Range(DotLoc.isValid() ? DotLoc : NameLoc, NameLoc),
2387
18
        Data(reinterpret_cast<uintptr_t>(Name) | Identifier) {}
2388
2389
  /// Create an offsetof node that refers into a C++ base class.
2390
  explicit OffsetOfNode(const CXXBaseSpecifier *Base)
2391
19
      : Data(reinterpret_cast<uintptr_t>(Base) | OffsetOfNode::Base) {}
2392
2393
  /// Determine what kind of offsetof node this is.
2394
2.43k
  Kind getKind() const { return static_cast<Kind>(Data & Mask); }
2395
2396
  /// For an array element node, returns the index into the array
2397
  /// of expressions.
2398
49
  unsigned getArrayExprIndex() const {
2399
49
    assert(getKind() == Array);
2400
0
    return Data >> 2;
2401
49
  }
2402
2403
  /// For a field offsetof node, returns the field.
2404
1.07k
  FieldDecl *getField() const {
2405
1.07k
    assert(getKind() == Field);
2406
0
    return reinterpret_cast<FieldDecl *>(Data & ~(uintptr_t)Mask);
2407
1.07k
  }
2408
2409
  /// For a field or identifier offsetof node, returns the name of
2410
  /// the field.
2411
  IdentifierInfo *getFieldName() const;
2412
2413
  /// For a base class node, returns the base specifier.
2414
38
  CXXBaseSpecifier *getBase() const {
2415
38
    assert(getKind() == Base);
2416
0
    return reinterpret_cast<CXXBaseSpecifier *>(Data & ~(uintptr_t)Mask);
2417
38
  }
2418
2419
  /// Retrieve the source range that covers this offsetof node.
2420
  ///
2421
  /// For an array element node, the source range contains the locations of
2422
  /// the square brackets. For a field or identifier node, the source range
2423
  /// contains the location of the period (if there is one) and the
2424
  /// identifier.
2425
42
  SourceRange getSourceRange() const LLVM_READONLY { return Range; }
2426
3
  SourceLocation getBeginLoc() const LLVM_READONLY { return Range.getBegin(); }
2427
37
  SourceLocation getEndLoc() const LLVM_READONLY { return Range.getEnd(); }
2428
};
2429
2430
/// OffsetOfExpr - [C99 7.17] - This represents an expression of the form
2431
/// offsetof(record-type, member-designator). For example, given:
2432
/// @code
2433
/// struct S {
2434
///   float f;
2435
///   double d;
2436
/// };
2437
/// struct T {
2438
///   int i;
2439
///   struct S s[10];
2440
/// };
2441
/// @endcode
2442
/// we can represent and evaluate the expression @c offsetof(struct T, s[2].d).
2443
2444
class OffsetOfExpr final
2445
    : public Expr,
2446
      private llvm::TrailingObjects<OffsetOfExpr, OffsetOfNode, Expr *> {
2447
  SourceLocation OperatorLoc, RParenLoc;
2448
  // Base type;
2449
  TypeSourceInfo *TSInfo;
2450
  // Number of sub-components (i.e. instances of OffsetOfNode).
2451
  unsigned NumComps;
2452
  // Number of sub-expressions (i.e. array subscript expressions).
2453
  unsigned NumExprs;
2454
2455
665
  size_t numTrailingObjects(OverloadToken<OffsetOfNode>) const {
2456
665
    return NumComps;
2457
665
  }
2458
2459
  OffsetOfExpr(const ASTContext &C, QualType type,
2460
               SourceLocation OperatorLoc, TypeSourceInfo *tsi,
2461
               ArrayRef<OffsetOfNode> comps, ArrayRef<Expr*> exprs,
2462
               SourceLocation RParenLoc);
2463
2464
  explicit OffsetOfExpr(unsigned numComps, unsigned numExprs)
2465
    : Expr(OffsetOfExprClass, EmptyShell()),
2466
3
      TSInfo(nullptr), NumComps(numComps), NumExprs(numExprs) {}
2467
2468
public:
2469
2470
  static OffsetOfExpr *Create(const ASTContext &C, QualType type,
2471
                              SourceLocation OperatorLoc, TypeSourceInfo *tsi,
2472
                              ArrayRef<OffsetOfNode> comps,
2473
                              ArrayRef<Expr*> exprs, SourceLocation RParenLoc);
2474
2475
  static OffsetOfExpr *CreateEmpty(const ASTContext &C,
2476
                                   unsigned NumComps, unsigned NumExprs);
2477
2478
  /// getOperatorLoc - Return the location of the operator.
2479
9
  SourceLocation getOperatorLoc() const { return OperatorLoc; }
2480
3
  void setOperatorLoc(SourceLocation L) { OperatorLoc = L; }
2481
2482
  /// Return the location of the right parentheses.
2483
9
  SourceLocation getRParenLoc() const { return RParenLoc; }
2484
3
  void setRParenLoc(SourceLocation R) { RParenLoc = R; }
2485
2486
1.46k
  TypeSourceInfo *getTypeSourceInfo() const {
2487
1.46k
    return TSInfo;
2488
1.46k
  }
2489
3
  void setTypeSourceInfo(TypeSourceInfo *tsi) {
2490
3
    TSInfo = tsi;
2491
3
  }
2492
2493
1.19k
  const OffsetOfNode &getComponent(unsigned Idx) const {
2494
1.19k
    assert(Idx < NumComps && "Subscript out of range");
2495
0
    return getTrailingObjects<OffsetOfNode>()[Idx];
2496
1.19k
  }
2497
2498
430
  void setComponent(unsigned Idx, OffsetOfNode ON) {
2499
430
    assert(Idx < NumComps && "Subscript out of range");
2500
0
    getTrailingObjects<OffsetOfNode>()[Idx] = ON;
2501
430
  }
2502
2503
1.05k
  unsigned getNumComponents() const {
2504
1.05k
    return NumComps;
2505
1.05k
  }
2506
2507
47
  Expr* getIndexExpr(unsigned Idx) {
2508
47
    assert(Idx < NumExprs && "Subscript out of range");
2509
0
    return getTrailingObjects<Expr *>()[Idx];
2510
47
  }
2511
2512
43
  const Expr *getIndexExpr(unsigned Idx) const {
2513
43
    assert(Idx < NumExprs && "Subscript out of range");
2514
0
    return getTrailingObjects<Expr *>()[Idx];
2515
43
  }
2516
2517
43
  void setIndexExpr(unsigned Idx, Expr* E) {
2518
43
    assert(Idx < NumComps && "Subscript out of range");
2519
0
    getTrailingObjects<Expr *>()[Idx] = E;
2520
43
  }
2521
2522
353
  unsigned getNumExpressions() const {
2523
353
    return NumExprs;
2524
353
  }
2525
2526
2.01k
  SourceLocation getBeginLoc() const LLVM_READONLY { return OperatorLoc; }
2527
98
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
2528
2529
173
  static bool classof(const Stmt *T) {
2530
173
    return T->getStmtClass() == OffsetOfExprClass;
2531
173
  }
2532
2533
  // Iterators
2534
532
  child_range children() {
2535
532
    Stmt **begin = reinterpret_cast<Stmt **>(getTrailingObjects<Expr *>());
2536
532
    return child_range(begin, begin + NumExprs);
2537
532
  }
2538
0
  const_child_range children() const {
2539
0
    Stmt *const *begin =
2540
0
        reinterpret_cast<Stmt *const *>(getTrailingObjects<Expr *>());
2541
0
    return const_child_range(begin, begin + NumExprs);
2542
0
  }
2543
  friend TrailingObjects;
2544
};
2545
2546
/// UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated)
2547
/// expression operand.  Used for sizeof/alignof (C99 6.5.3.4) and
2548
/// vec_step (OpenCL 1.1 6.11.12).
2549
class UnaryExprOrTypeTraitExpr : public Expr {
2550
  union {
2551
    TypeSourceInfo *Ty;
2552
    Stmt *Ex;
2553
  } Argument;
2554
  SourceLocation OpLoc, RParenLoc;
2555
2556
public:
2557
  UnaryExprOrTypeTraitExpr(UnaryExprOrTypeTrait ExprKind, TypeSourceInfo *TInfo,
2558
                           QualType resultType, SourceLocation op,
2559
                           SourceLocation rp)
2560
      : Expr(UnaryExprOrTypeTraitExprClass, resultType, VK_PRValue,
2561
             OK_Ordinary),
2562
111k
        OpLoc(op), RParenLoc(rp) {
2563
111k
    assert(ExprKind <= UETT_Last && "invalid enum value!");
2564
0
    UnaryExprOrTypeTraitExprBits.Kind = ExprKind;
2565
111k
    assert(static_cast<unsigned>(ExprKind) ==
2566
111k
               UnaryExprOrTypeTraitExprBits.Kind &&
2567
111k
           "UnaryExprOrTypeTraitExprBits.Kind overflow!");
2568
0
    UnaryExprOrTypeTraitExprBits.IsType = true;
2569
111k
    Argument.Ty = TInfo;
2570
111k
    setDependence(computeDependence(this));
2571
111k
  }
2572
2573
  UnaryExprOrTypeTraitExpr(UnaryExprOrTypeTrait ExprKind, Expr *E,
2574
                           QualType resultType, SourceLocation op,
2575
                           SourceLocation rp);
2576
2577
  /// Construct an empty sizeof/alignof expression.
2578
  explicit UnaryExprOrTypeTraitExpr(EmptyShell Empty)
2579
11.1k
    : Expr(UnaryExprOrTypeTraitExprClass, Empty) { }
2580
2581
360k
  UnaryExprOrTypeTrait getKind() const {
2582
360k
    return static_cast<UnaryExprOrTypeTrait>(UnaryExprOrTypeTraitExprBits.Kind);
2583
360k
  }
2584
11.1k
  void setKind(UnaryExprOrTypeTrait K) {
2585
11.1k
    assert(K <= UETT_Last && "invalid enum value!");
2586
0
    UnaryExprOrTypeTraitExprBits.Kind = K;
2587
11.1k
    assert(static_cast<unsigned>(K) == UnaryExprOrTypeTraitExprBits.Kind &&
2588
11.1k
           "UnaryExprOrTypeTraitExprBits.Kind overflow!");
2589
11.1k
  }
2590
2591
1.12M
  bool isArgumentType() const { return UnaryExprOrTypeTraitExprBits.IsType; }
2592
439k
  QualType getArgumentType() const {
2593
439k
    return getArgumentTypeInfo()->getType();
2594
439k
  }
2595
499k
  TypeSourceInfo *getArgumentTypeInfo() const {
2596
499k
    assert(isArgumentType() && "calling getArgumentType() when arg is expr");
2597
0
    return Argument.Ty;
2598
499k
  }
2599
58.1k
  Expr *getArgumentExpr() {
2600
58.1k
    assert(!isArgumentType() && "calling getArgumentExpr() when arg is type");
2601
0
    return static_cast<Expr*>(Argument.Ex);
2602
58.1k
  }
2603
23.4k
  const Expr *getArgumentExpr() const {
2604
23.4k
    return const_cast<UnaryExprOrTypeTraitExpr*>(this)->getArgumentExpr();
2605
23.4k
  }
2606
2607
1.10k
  void setArgument(Expr *E) {
2608
1.10k
    Argument.Ex = E;
2609
1.10k
    UnaryExprOrTypeTraitExprBits.IsType = false;
2610
1.10k
  }
2611
10.0k
  void setArgument(TypeSourceInfo *TInfo) {
2612
10.0k
    Argument.Ty = TInfo;
2613
10.0k
    UnaryExprOrTypeTraitExprBits.IsType = true;
2614
10.0k
  }
2615
2616
  /// Gets the argument type, or the type of the argument expression, whichever
2617
  /// is appropriate.
2618
164k
  QualType getTypeOfArgument() const {
2619
164k
    return isArgumentType() ? 
getArgumentType()144k
:
getArgumentExpr()->getType()20.0k
;
2620
164k
  }
2621
2622
49.2k
  SourceLocation getOperatorLoc() const { return OpLoc; }
2623
11.1k
  void setOperatorLoc(SourceLocation L) { OpLoc = L; }
2624
2625
16.0k
  SourceLocation getRParenLoc() const { return RParenLoc; }
2626
11.1k
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
2627
2628
430k
  SourceLocation getBeginLoc() const LLVM_READONLY { return OpLoc; }
2629
38.8k
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
2630
2631
31.3M
  static bool classof(const Stmt *T) {
2632
31.3M
    return T->getStmtClass() == UnaryExprOrTypeTraitExprClass;
2633
31.3M
  }
2634
2635
  // Iterators
2636
  child_range children();
2637
  const_child_range children() const;
2638
};
2639
2640
//===----------------------------------------------------------------------===//
2641
// Postfix Operators.
2642
//===----------------------------------------------------------------------===//
2643
2644
/// ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
2645
class ArraySubscriptExpr : public Expr {
2646
  enum { LHS, RHS, END_EXPR };
2647
  Stmt *SubExprs[END_EXPR];
2648
2649
4.05M
  bool lhsIsBase() const { return getRHS()->getType()->isIntegerType(); }
2650
2651
public:
2652
  ArraySubscriptExpr(Expr *lhs, Expr *rhs, QualType t, ExprValueKind VK,
2653
                     ExprObjectKind OK, SourceLocation rbracketloc)
2654
332k
      : Expr(ArraySubscriptExprClass, t, VK, OK) {
2655
332k
    SubExprs[LHS] = lhs;
2656
332k
    SubExprs[RHS] = rhs;
2657
332k
    ArrayOrMatrixSubscriptExprBits.RBracketLoc = rbracketloc;
2658
332k
    setDependence(computeDependence(this));
2659
332k
  }
2660
2661
  /// Create an empty array subscript expression.
2662
  explicit ArraySubscriptExpr(EmptyShell Shell)
2663
16.1k
    : Expr(ArraySubscriptExprClass, Shell) { }
2664
2665
  /// An array access can be written A[4] or 4[A] (both are equivalent).
2666
  /// - getBase() and getIdx() always present the normalized view: A[4].
2667
  ///    In this case getBase() returns "A" and getIdx() returns "4".
2668
  /// - getLHS() and getRHS() present the syntactic view. e.g. for
2669
  ///    4[A] getLHS() returns "4".
2670
  /// Note: Because vector element access is also written A[4] we must
2671
  /// predicate the format conversion in getBase and getIdx only on the
2672
  /// the type of the RHS, as it is possible for the LHS to be a vector of
2673
  /// integer type
2674
773k
  Expr *getLHS() { return cast<Expr>(SubExprs[LHS]); }
2675
5.22M
  const Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); }
2676
16.1k
  void setLHS(Expr *E) { SubExprs[LHS] = E; }
2677
2678
426k
  Expr *getRHS() { return cast<Expr>(SubExprs[RHS]); }
2679
5.37M
  const Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); }
2680
16.1k
  void setRHS(Expr *E) { SubExprs[RHS] = E; }
2681
2682
213k
  Expr *getBase() { return lhsIsBase() ? 
getLHS()213k
:
getRHS()85
; }
2683
3.28M
  const Expr *getBase() const { return lhsIsBase() ? 
getLHS()3.27M
:
getRHS()2.64k
; }
2684
2685
594
  Expr *getIdx() { return lhsIsBase() ? getRHS() : 
getLHS()0
; }
2686
560k
  const Expr *getIdx() const { return lhsIsBase() ? 
getRHS()560k
:
getLHS()139
; }
2687
2688
1.13M
  SourceLocation getBeginLoc() const LLVM_READONLY {
2689
1.13M
    return getLHS()->getBeginLoc();
2690
1.13M
  }
2691
146k
  SourceLocation getEndLoc() const { return getRBracketLoc(); }
2692
2693
238k
  SourceLocation getRBracketLoc() const {
2694
238k
    return ArrayOrMatrixSubscriptExprBits.RBracketLoc;
2695
238k
  }
2696
16.1k
  void setRBracketLoc(SourceLocation L) {
2697
16.1k
    ArrayOrMatrixSubscriptExprBits.RBracketLoc = L;
2698
16.1k
  }
2699
2700
599k
  SourceLocation getExprLoc() const LLVM_READONLY {
2701
599k
    return getBase()->getExprLoc();
2702
599k
  }
2703
2704
4.59M
  static bool classof(const Stmt *T) {
2705
4.59M
    return T->getStmtClass() == ArraySubscriptExprClass;
2706
4.59M
  }
2707
2708
  // Iterators
2709
454k
  child_range children() {
2710
454k
    return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR);
2711
454k
  }
2712
0
  const_child_range children() const {
2713
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
2714
0
  }
2715
};
2716
2717
/// MatrixSubscriptExpr - Matrix subscript expression for the MatrixType
2718
/// extension.
2719
/// MatrixSubscriptExpr can be either incomplete (only Base and RowIdx are set
2720
/// so far, the type is IncompleteMatrixIdx) or complete (Base, RowIdx and
2721
/// ColumnIdx refer to valid expressions). Incomplete matrix expressions only
2722
/// exist during the initial construction of the AST.
2723
class MatrixSubscriptExpr : public Expr {
2724
  enum { BASE, ROW_IDX, COLUMN_IDX, END_EXPR };
2725
  Stmt *SubExprs[END_EXPR];
2726
2727
public:
2728
  MatrixSubscriptExpr(Expr *Base, Expr *RowIdx, Expr *ColumnIdx, QualType T,
2729
                      SourceLocation RBracketLoc)
2730
      : Expr(MatrixSubscriptExprClass, T, Base->getValueKind(),
2731
202
             OK_MatrixComponent) {
2732
202
    SubExprs[BASE] = Base;
2733
202
    SubExprs[ROW_IDX] = RowIdx;
2734
202
    SubExprs[COLUMN_IDX] = ColumnIdx;
2735
202
    ArrayOrMatrixSubscriptExprBits.RBracketLoc = RBracketLoc;
2736
202
    setDependence(computeDependence(this));
2737
202
  }
2738
2739
  /// Create an empty matrix subscript expression.
2740
  explicit MatrixSubscriptExpr(EmptyShell Shell)
2741
0
      : Expr(MatrixSubscriptExprClass, Shell) {}
2742
2743
185
  bool isIncomplete() const {
2744
185
    bool IsIncomplete = hasPlaceholderType(BuiltinType::IncompleteMatrixIdx);
2745
185
    assert((SubExprs[COLUMN_IDX] || IsIncomplete) &&
2746
185
           "expressions without column index must be marked as incomplete");
2747
0
    return IsIncomplete;
2748
185
  }
2749
377
  Expr *getBase() { return cast<Expr>(SubExprs[BASE]); }
2750
473
  const Expr *getBase() const { return cast<Expr>(SubExprs[BASE]); }
2751
0
  void setBase(Expr *E) { SubExprs[BASE] = E; }
2752
2753
355
  Expr *getRowIdx() { return cast<Expr>(SubExprs[ROW_IDX]); }
2754
36
  const Expr *getRowIdx() const { return cast<Expr>(SubExprs[ROW_IDX]); }
2755
0
  void setRowIdx(Expr *E) { SubExprs[ROW_IDX] = E; }
2756
2757
308
  Expr *getColumnIdx() { return cast_or_null<Expr>(SubExprs[COLUMN_IDX]); }
2758
36
  const Expr *getColumnIdx() const {
2759
36
    assert(!isIncomplete() &&
2760
36
           "cannot get the column index of an incomplete expression");
2761
0
    return cast<Expr>(SubExprs[COLUMN_IDX]);
2762
36
  }
2763
0
  void setColumnIdx(Expr *E) { SubExprs[COLUMN_IDX] = E; }
2764
2765
158
  SourceLocation getBeginLoc() const LLVM_READONLY {
2766
158
    return getBase()->getBeginLoc();
2767
158
  }
2768
2769
23
  SourceLocation getEndLoc() const { return getRBracketLoc(); }
2770
2771
167
  SourceLocation getExprLoc() const LLVM_READONLY {
2772
167
    return getBase()->getExprLoc();
2773
167
  }
2774
2775
29
  SourceLocation getRBracketLoc() const {
2776
29
    return ArrayOrMatrixSubscriptExprBits.RBracketLoc;
2777
29
  }
2778
0
  void setRBracketLoc(SourceLocation L) {
2779
0
    ArrayOrMatrixSubscriptExprBits.RBracketLoc = L;
2780
0
  }
2781
2782
326k
  static bool classof(const Stmt *T) {
2783
326k
    return T->getStmtClass() == MatrixSubscriptExprClass;
2784
326k
  }
2785
2786
  // Iterators
2787
176
  child_range children() {
2788
176
    return child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
2789
176
  }
2790
0
  const_child_range children() const {
2791
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
2792
0
  }
2793
};
2794
2795
/// CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
2796
/// CallExpr itself represents a normal function call, e.g., "f(x, 2)",
2797
/// while its subclasses may represent alternative syntax that (semantically)
2798
/// results in a function call. For example, CXXOperatorCallExpr is
2799
/// a subclass for overloaded operator calls that use operator syntax, e.g.,
2800
/// "str1 + str2" to resolve to a function call.
2801
class CallExpr : public Expr {
2802
  enum { FN = 0, PREARGS_START = 1 };
2803
2804
  /// The number of arguments in the call expression.
2805
  unsigned NumArgs;
2806
2807
  /// The location of the right parenthese. This has a different meaning for
2808
  /// the derived classes of CallExpr.
2809
  SourceLocation RParenLoc;
2810
2811
  // CallExpr store some data in trailing objects. However since CallExpr
2812
  // is used a base of other expression classes we cannot use
2813
  // llvm::TrailingObjects. Instead we manually perform the pointer arithmetic
2814
  // and casts.
2815
  //
2816
  // The trailing objects are in order:
2817
  //
2818
  // * A single "Stmt *" for the callee expression.
2819
  //
2820
  // * An array of getNumPreArgs() "Stmt *" for the pre-argument expressions.
2821
  //
2822
  // * An array of getNumArgs() "Stmt *" for the argument expressions.
2823
  //
2824
  // * An optional of type FPOptionsOverride.
2825
  //
2826
  // Note that we store the offset in bytes from the this pointer to the start
2827
  // of the trailing objects. It would be perfectly possible to compute it
2828
  // based on the dynamic kind of the CallExpr. However 1.) we have plenty of
2829
  // space in the bit-fields of Stmt. 2.) It was benchmarked to be faster to
2830
  // compute this once and then load the offset from the bit-fields of Stmt,
2831
  // instead of re-computing the offset each time the trailing objects are
2832
  // accessed.
2833
2834
  /// Return a pointer to the start of the trailing array of "Stmt *".
2835
157M
  Stmt **getTrailingStmts() {
2836
157M
    return reinterpret_cast<Stmt **>(reinterpret_cast<char *>(this) +
2837
157M
                                     CallExprBits.OffsetToTrailingObjects);
2838
157M
  }
2839
51.0M
  Stmt *const *getTrailingStmts() const {
2840
51.0M
    return const_cast<CallExpr *>(this)->getTrailingStmts();
2841
51.0M
  }
2842
2843
  /// Map a statement class to the appropriate offset in bytes from the
2844
  /// this pointer to the trailing objects.
2845
  static unsigned offsetToTrailingObjects(StmtClass SC);
2846
2847
70.8k
  unsigned getSizeOfTrailingStmts() const {
2848
70.8k
    return (1 + getNumPreArgs() + getNumArgs()) * sizeof(Stmt *);
2849
70.8k
  }
2850
2851
0
  size_t getOffsetOfTrailingFPFeatures() const {
2852
0
    assert(hasStoredFPFeatures());
2853
0
    return CallExprBits.OffsetToTrailingObjects + getSizeOfTrailingStmts();
2854
0
  }
2855
2856
public:
2857
  enum class ADLCallKind : bool { NotADL, UsesADL };
2858
  static constexpr ADLCallKind NotADL = ADLCallKind::NotADL;
2859
  static constexpr ADLCallKind UsesADL = ADLCallKind::UsesADL;
2860
2861
protected:
2862
  /// Build a call expression, assuming that appropriate storage has been
2863
  /// allocated for the trailing objects.
2864
  CallExpr(StmtClass SC, Expr *Fn, ArrayRef<Expr *> PreArgs,
2865
           ArrayRef<Expr *> Args, QualType Ty, ExprValueKind VK,
2866
           SourceLocation RParenLoc, FPOptionsOverride FPFeatures,
2867
           unsigned MinNumArgs, ADLCallKind UsesADL);
2868
2869
  /// Build an empty call expression, for deserialization.
2870
  CallExpr(StmtClass SC, unsigned NumPreArgs, unsigned NumArgs,
2871
           bool hasFPFeatures, EmptyShell Empty);
2872
2873
  /// Return the size in bytes needed for the trailing objects.
2874
  /// Used by the derived classes to allocate the right amount of storage.
2875
  static unsigned sizeOfTrailingObjects(unsigned NumPreArgs, unsigned NumArgs,
2876
7.27M
                                        bool HasFPFeatures) {
2877
7.27M
    return (1 + NumPreArgs + NumArgs) * sizeof(Stmt *) +
2878
7.27M
           HasFPFeatures * sizeof(FPOptionsOverride);
2879
7.27M
  }
2880
2881
17
  Stmt *getPreArg(unsigned I) {
2882
17
    assert(I < getNumPreArgs() && "Prearg access out of range!");
2883
0
    return getTrailingStmts()[PREARGS_START + I];
2884
17
  }
2885
53
  const Stmt *getPreArg(unsigned I) const {
2886
53
    assert(I < getNumPreArgs() && "Prearg access out of range!");
2887
0
    return getTrailingStmts()[PREARGS_START + I];
2888
53
  }
2889
171
  void setPreArg(unsigned I, Stmt *PreArg) {
2890
171
    assert(I < getNumPreArgs() && "Prearg access out of range!");
2891
0
    getTrailingStmts()[PREARGS_START + I] = PreArg;
2892
171
  }
2893
2894
88.5M
  unsigned getNumPreArgs() const { return CallExprBits.NumPreArgs; }
2895
2896
  /// Return a pointer to the trailing FPOptions
2897
70.4k
  FPOptionsOverride *getTrailingFPFeatures() {
2898
70.4k
    assert(hasStoredFPFeatures());
2899
0
    return reinterpret_cast<FPOptionsOverride *>(
2900
70.4k
        reinterpret_cast<char *>(this) + CallExprBits.OffsetToTrailingObjects +
2901
70.4k
        getSizeOfTrailingStmts());
2902
70.4k
  }
2903
371
  const FPOptionsOverride *getTrailingFPFeatures() const {
2904
371
    assert(hasStoredFPFeatures());
2905
0
    return reinterpret_cast<const FPOptionsOverride *>(
2906
371
        reinterpret_cast<const char *>(this) +
2907
371
        CallExprBits.OffsetToTrailingObjects + getSizeOfTrailingStmts());
2908
371
  }
2909
2910
public:
2911
  /// Create a call expression.
2912
  /// \param Fn     The callee expression,
2913
  /// \param Args   The argument array,
2914
  /// \param Ty     The type of the call expression (which is *not* the return
2915
  ///               type in general),
2916
  /// \param VK     The value kind of the call expression (lvalue, rvalue, ...),
2917
  /// \param RParenLoc  The location of the right parenthesis in the call
2918
  ///                   expression.
2919
  /// \param FPFeatures Floating-point features associated with the call,
2920
  /// \param MinNumArgs Specifies the minimum number of arguments. The actual
2921
  ///                   number of arguments will be the greater of Args.size()
2922
  ///                   and MinNumArgs. This is used in a few places to allocate
2923
  ///                   enough storage for the default arguments.
2924
  /// \param UsesADL    Specifies whether the callee was found through
2925
  ///                   argument-dependent lookup.
2926
  ///
2927
  /// Note that you can use CreateTemporary if you need a temporary call
2928
  /// expression on the stack.
2929
  static CallExpr *Create(const ASTContext &Ctx, Expr *Fn,
2930
                          ArrayRef<Expr *> Args, QualType Ty, ExprValueKind VK,
2931
                          SourceLocation RParenLoc,
2932
                          FPOptionsOverride FPFeatures, unsigned MinNumArgs = 0,
2933
                          ADLCallKind UsesADL = NotADL);
2934
2935
  /// Create a temporary call expression with no arguments in the memory
2936
  /// pointed to by Mem. Mem must points to at least sizeof(CallExpr)
2937
  /// + sizeof(Stmt *) bytes of storage, aligned to alignof(CallExpr):
2938
  ///
2939
  /// \code{.cpp}
2940
  ///   alignas(CallExpr) char Buffer[sizeof(CallExpr) + sizeof(Stmt *)];
2941
  ///   CallExpr *TheCall = CallExpr::CreateTemporary(Buffer, etc);
2942
  /// \endcode
2943
  static CallExpr *CreateTemporary(void *Mem, Expr *Fn, QualType Ty,
2944
                                   ExprValueKind VK, SourceLocation RParenLoc,
2945
                                   ADLCallKind UsesADL = NotADL);
2946
2947
  /// Create an empty call expression, for deserialization.
2948
  static CallExpr *CreateEmpty(const ASTContext &Ctx, unsigned NumArgs,
2949
                               bool HasFPFeatures, EmptyShell Empty);
2950
2951
23.9M
  Expr *getCallee() { return cast<Expr>(getTrailingStmts()[FN]); }
2952
40.1M
  const Expr *getCallee() const { return cast<Expr>(getTrailingStmts()[FN]); }
2953
7.80M
  void setCallee(Expr *F) { getTrailingStmts()[FN] = F; }
2954
2955
881k
  ADLCallKind getADLCallKind() const {
2956
881k
    return static_cast<ADLCallKind>(CallExprBits.UsesADL);
2957
881k
  }
2958
658k
  void setADLCallKind(ADLCallKind V = UsesADL) {
2959
658k
    CallExprBits.UsesADL = static_cast<bool>(V);
2960
658k
  }
2961
1.38k
  bool usesADL() const { return getADLCallKind() == UsesADL; }
2962
2963
9.00M
  bool hasStoredFPFeatures() const { return CallExprBits.HasFPFeatures; }
2964
2965
3.59M
  Decl *getCalleeDecl() { return getCallee()->getReferencedDeclOfCallee(); }
2966
6.23M
  const Decl *getCalleeDecl() const {
2967
6.23M
    return getCallee()->getReferencedDeclOfCallee();
2968
6.23M
  }
2969
2970
  /// If the callee is a FunctionDecl, return it. Otherwise return null.
2971
3.58M
  FunctionDecl *getDirectCallee() {
2972
3.58M
    return dyn_cast_or_null<FunctionDecl>(getCalleeDecl());
2973
3.58M
  }
2974
5.16M
  const FunctionDecl *getDirectCallee() const {
2975
5.16M
    return dyn_cast_or_null<FunctionDecl>(getCalleeDecl());
2976
5.16M
  }
2977
2978
  /// getNumArgs - Return the number of actual arguments to this call.
2979
80.1M
  unsigned getNumArgs() const { return NumArgs; }
2980
2981
  /// Retrieve the call arguments.
2982
46.7M
  Expr **getArgs() {
2983
46.7M
    return reinterpret_cast<Expr **>(getTrailingStmts() + PREARGS_START +
2984
46.7M
                                     getNumPreArgs());
2985
46.7M
  }
2986
3.48M
  const Expr *const *getArgs() const {
2987
3.48M
    return reinterpret_cast<const Expr *const *>(
2988
3.48M
        getTrailingStmts() + PREARGS_START + getNumPreArgs());
2989
3.48M
  }
2990
2991
  /// getArg - Return the specified argument.
2992
11.8M
  Expr *getArg(unsigned Arg) {
2993
11.8M
    assert(Arg < getNumArgs() && "Arg access out of range!");
2994
0
    return getArgs()[Arg];
2995
11.8M
  }
2996
2.82M
  const Expr *getArg(unsigned Arg) const {
2997
2.82M
    assert(Arg < getNumArgs() && "Arg access out of range!");
2998
0
    return getArgs()[Arg];
2999
2.82M
  }
3000
3001
  /// setArg - Set the specified argument.
3002
  /// ! the dependence bits might be stale after calling this setter, it is
3003
  /// *caller*'s responsibility to recompute them by calling
3004
  /// computeDependence().
3005
19.0M
  void setArg(unsigned Arg, Expr *ArgExpr) {
3006
19.0M
    assert(Arg < getNumArgs() && "Arg access out of range!");
3007
0
    getArgs()[Arg] = ArgExpr;
3008
19.0M
  }
3009
3010
  /// Compute and set dependence bits.
3011
10.4M
  void computeDependence() {
3012
10.4M
    setDependence(clang::computeDependence(
3013
10.4M
        this, llvm::makeArrayRef(
3014
10.4M
                  reinterpret_cast<Expr **>(getTrailingStmts() + PREARGS_START),
3015
10.4M
                  getNumPreArgs())));
3016
10.4M
  }
3017
3018
  /// Reduce the number of arguments in this call expression. This is used for
3019
  /// example during error recovery to drop extra arguments. There is no way
3020
  /// to perform the opposite because: 1.) We don't track how much storage
3021
  /// we have for the argument array 2.) This would potentially require growing
3022
  /// the argument array, something we cannot support since the arguments are
3023
  /// stored in a trailing array.
3024
65
  void shrinkNumArgs(unsigned NewNumArgs) {
3025
65
    assert((NewNumArgs <= getNumArgs()) &&
3026
65
           "shrinkNumArgs cannot increase the number of arguments!");
3027
0
    NumArgs = NewNumArgs;
3028
65
  }
3029
3030
  /// Bluntly set a new number of arguments without doing any checks whatsoever.
3031
  /// Only used during construction of a CallExpr in a few places in Sema.
3032
  /// FIXME: Find a way to remove it.
3033
0
  void setNumArgsUnsafe(unsigned NewNumArgs) { NumArgs = NewNumArgs; }
3034
3035
  typedef ExprIterator arg_iterator;
3036
  typedef ConstExprIterator const_arg_iterator;
3037
  typedef llvm::iterator_range<arg_iterator> arg_range;
3038
  typedef llvm::iterator_range<const_arg_iterator> const_arg_range;
3039
3040
663k
  arg_range arguments() { return arg_range(arg_begin(), arg_end()); }
3041
3.67M
  const_arg_range arguments() const {
3042
3.67M
    return const_arg_range(arg_begin(), arg_end());
3043
3.67M
  }
3044
3045
7.47M
  arg_iterator arg_begin() {
3046
7.47M
    return getTrailingStmts() + PREARGS_START + getNumPreArgs();
3047
7.47M
  }
3048
3.73M
  arg_iterator arg_end() { return arg_begin() + getNumArgs(); }
3049
3050
7.36M
  const_arg_iterator arg_begin() const {
3051
7.36M
    return getTrailingStmts() + PREARGS_START + getNumPreArgs();
3052
7.36M
  }
3053
3.68M
  const_arg_iterator arg_end() const { return arg_begin() + getNumArgs(); }
3054
3055
  /// This method provides fast access to all the subexpressions of
3056
  /// a CallExpr without going through the slower virtual child_iterator
3057
  /// interface.  This provides efficient reverse iteration of the
3058
  /// subexpressions.  This is currently used for CFG construction.
3059
281k
  ArrayRef<Stmt *> getRawSubExprs() {
3060
281k
    return llvm::makeArrayRef(getTrailingStmts(),
3061
281k
                              PREARGS_START + getNumPreArgs() + getNumArgs());
3062
281k
  }
3063
3064
  /// getNumCommas - Return the number of commas that must have been present in
3065
  /// this function call.
3066
0
  unsigned getNumCommas() const { return getNumArgs() ? getNumArgs() - 1 : 0; }
3067
3068
  /// Get FPOptionsOverride from trailing storage.
3069
371
  FPOptionsOverride getStoredFPFeatures() const {
3070
371
    assert(hasStoredFPFeatures());
3071
0
    return *getTrailingFPFeatures();
3072
371
  }
3073
  /// Set FPOptionsOverride in trailing storage. Used only by Serialization.
3074
70.4k
  void setStoredFPFeatures(FPOptionsOverride F) {
3075
70.4k
    assert(hasStoredFPFeatures());
3076
0
    *getTrailingFPFeatures() = F;
3077
70.4k
  }
3078
3079
  // Get the FP features status of this operator. Only meaningful for
3080
  // operations on floating point types.
3081
4.91k
  FPOptions getFPFeaturesInEffect(const LangOptions &LO) const {
3082
4.91k
    if (hasStoredFPFeatures())
3083
345
      return getStoredFPFeatures().applyOverrides(LO);
3084
4.57k
    return FPOptions::defaultWithoutTrailingStorage(LO);
3085
4.91k
  }
3086
3087
643k
  FPOptionsOverride getFPFeatures() const {
3088
643k
    if (hasStoredFPFeatures())
3089
26
      return getStoredFPFeatures();
3090
643k
    return FPOptionsOverride();
3091
643k
  }
3092
3093
  /// getBuiltinCallee - If this is a call to a builtin, return the builtin ID
3094
  /// of the callee. If not, return 0.
3095
  unsigned getBuiltinCallee() const;
3096
3097
  /// Returns \c true if this is a call to a builtin which does not
3098
  /// evaluate side-effects within its arguments.
3099
  bool isUnevaluatedBuiltinCall(const ASTContext &Ctx) const;
3100
3101
  /// getCallReturnType - Get the return type of the call expr. This is not
3102
  /// always the type of the expr itself, if the return type is a reference
3103
  /// type.
3104
  QualType getCallReturnType(const ASTContext &Ctx) const;
3105
3106
  /// Returns the WarnUnusedResultAttr that is either declared on the called
3107
  /// function, or its return type declaration.
3108
  const Attr *getUnusedResultAttr(const ASTContext &Ctx) const;
3109
3110
  /// Returns true if this call expression should warn on unused results.
3111
458k
  bool hasUnusedResultAttr(const ASTContext &Ctx) const {
3112
458k
    return getUnusedResultAttr(Ctx) != nullptr;
3113
458k
  }
3114
3115
8.38M
  SourceLocation getRParenLoc() const { return RParenLoc; }
3116
658k
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
3117
3118
  SourceLocation getBeginLoc() const LLVM_READONLY;
3119
  SourceLocation getEndLoc() const LLVM_READONLY;
3120
3121
  /// Return true if this is a call to __assume() or __builtin_assume() with
3122
  /// a non-value-dependent constant parameter evaluating as false.
3123
  bool isBuiltinAssumeFalse(const ASTContext &Ctx) const;
3124
3125
  /// Used by Sema to implement MSVC-compatible delayed name lookup.
3126
  /// (Usually Exprs themselves should set dependence).
3127
15
  void markDependentForPostponedNameLookup() {
3128
15
    setDependence(getDependence() | ExprDependence::TypeValueInstantiation);
3129
15
  }
3130
3131
55.5k
  bool isCallToStdMove() const {
3132
55.5k
    const FunctionDecl *FD = getDirectCallee();
3133
55.5k
    return getNumArgs() == 1 && 
FD21.8k
&&
FD->isInStdNamespace()15.2k
&&
3134
55.5k
           
FD->getIdentifier()3.34k
&&
FD->getIdentifier()->isStr("move")3.31k
;
3135
55.5k
  }
3136
3137
81.8M
  static bool classof(const Stmt *T) {
3138
81.8M
    return T->getStmtClass() >= firstCallExprConstant &&
3139
81.8M
           
T->getStmtClass() <= lastCallExprConstant71.8M
;
3140
81.8M
  }
3141
3142
  // Iterators
3143
4.81M
  child_range children() {
3144
4.81M
    return child_range(getTrailingStmts(), getTrailingStmts() + PREARGS_START +
3145
4.81M
                                               getNumPreArgs() + getNumArgs());
3146
4.81M
  }
3147
3148
1.20k
  const_child_range children() const {
3149
1.20k
    return const_child_range(getTrailingStmts(),
3150
1.20k
                             getTrailingStmts() + PREARGS_START +
3151
1.20k
                                 getNumPreArgs() + getNumArgs());
3152
1.20k
  }
3153
};
3154
3155
/// Extra data stored in some MemberExpr objects.
3156
struct MemberExprNameQualifier {
3157
  /// The nested-name-specifier that qualifies the name, including
3158
  /// source-location information.
3159
  NestedNameSpecifierLoc QualifierLoc;
3160
3161
  /// The DeclAccessPair through which the MemberDecl was found due to
3162
  /// name qualifiers.
3163
  DeclAccessPair FoundDecl;
3164
};
3165
3166
/// MemberExpr - [C99 6.5.2.3] Structure and Union Members.  X->F and X.F.
3167
///
3168
class MemberExpr final
3169
    : public Expr,
3170
      private llvm::TrailingObjects<MemberExpr, MemberExprNameQualifier,
3171
                                    ASTTemplateKWAndArgsInfo,
3172
                                    TemplateArgumentLoc> {
3173
  friend class ASTReader;
3174
  friend class ASTStmtReader;
3175
  friend class ASTStmtWriter;
3176
  friend TrailingObjects;
3177
3178
  /// Base - the expression for the base pointer or structure references.  In
3179
  /// X.F, this is "X".
3180
  Stmt *Base;
3181
3182
  /// MemberDecl - This is the decl being referenced by the field/member name.
3183
  /// In X.F, this is the decl referenced by F.
3184
  ValueDecl *MemberDecl;
3185
3186
  /// MemberDNLoc - Provides source/type location info for the
3187
  /// declaration name embedded in MemberDecl.
3188
  DeclarationNameLoc MemberDNLoc;
3189
3190
  /// MemberLoc - This is the location of the member name.
3191
  SourceLocation MemberLoc;
3192
3193
9.61k
  size_t numTrailingObjects(OverloadToken<MemberExprNameQualifier>) const {
3194
9.61k
    return hasQualifierOrFoundDecl();
3195
9.61k
  }
3196
3197
2.23k
  size_t numTrailingObjects(OverloadToken<ASTTemplateKWAndArgsInfo>) const {
3198
2.23k
    return hasTemplateKWAndArgsInfo();
3199
2.23k
  }
3200
3201
4.46M
  bool hasQualifierOrFoundDecl() const {
3202
4.46M
    return MemberExprBits.HasQualifierOrFoundDecl;
3203
4.46M
  }
3204
3205
1.66M
  bool hasTemplateKWAndArgsInfo() const {
3206
1.66M
    return MemberExprBits.HasTemplateKWAndArgsInfo;
3207
1.66M
  }
3208
3209
  MemberExpr(Expr *Base, bool IsArrow, SourceLocation OperatorLoc,
3210
             ValueDecl *MemberDecl, const DeclarationNameInfo &NameInfo,
3211
             QualType T, ExprValueKind VK, ExprObjectKind OK,
3212
             NonOdrUseReason NOUR);
3213
  MemberExpr(EmptyShell Empty)
3214
166k
      : Expr(MemberExprClass, Empty), Base(), MemberDecl() {}
3215
3216
public:
3217
  static MemberExpr *Create(const ASTContext &C, Expr *Base, bool IsArrow,
3218
                            SourceLocation OperatorLoc,
3219
                            NestedNameSpecifierLoc QualifierLoc,
3220
                            SourceLocation TemplateKWLoc, ValueDecl *MemberDecl,
3221
                            DeclAccessPair FoundDecl,
3222
                            DeclarationNameInfo MemberNameInfo,
3223
                            const TemplateArgumentListInfo *TemplateArgs,
3224
                            QualType T, ExprValueKind VK, ExprObjectKind OK,
3225
                            NonOdrUseReason NOUR);
3226
3227
  /// Create an implicit MemberExpr, with no location, qualifier, template
3228
  /// arguments, and so on. Suitable only for non-static member access.
3229
  static MemberExpr *CreateImplicit(const ASTContext &C, Expr *Base,
3230
                                    bool IsArrow, ValueDecl *MemberDecl,
3231
                                    QualType T, ExprValueKind VK,
3232
372
                                    ExprObjectKind OK) {
3233
372
    return Create(C, Base, IsArrow, SourceLocation(), NestedNameSpecifierLoc(),
3234
372
                  SourceLocation(), MemberDecl,
3235
372
                  DeclAccessPair::make(MemberDecl, MemberDecl->getAccess()),
3236
372
                  DeclarationNameInfo(), nullptr, T, VK, OK, NOUR_None);
3237
372
  }
3238
3239
  static MemberExpr *CreateEmpty(const ASTContext &Context, bool HasQualifier,
3240
                                 bool HasFoundDecl,
3241
                                 bool HasTemplateKWAndArgsInfo,
3242
                                 unsigned NumTemplateArgs);
3243
3244
192k
  void setBase(Expr *E) { Base = E; }
3245
19.8M
  Expr *getBase() const { return cast<Expr>(Base); }
3246
3247
  /// Retrieve the member declaration to which this expression refers.
3248
  ///
3249
  /// The returned declaration will be a FieldDecl or (in C++) a VarDecl (for
3250
  /// static data members), a CXXMethodDecl, or an EnumConstantDecl.
3251
12.4M
  ValueDecl *getMemberDecl() const { return MemberDecl; }
3252
  void setMemberDecl(ValueDecl *D);
3253
3254
  /// Retrieves the declaration found by lookup.
3255
496k
  DeclAccessPair getFoundDecl() const {
3256
496k
    if (!hasQualifierOrFoundDecl())
3257
479k
      return DeclAccessPair::make(getMemberDecl(),
3258
479k
                                  getMemberDecl()->getAccess());
3259
17.6k
    return getTrailingObjects<MemberExprNameQualifier>()->FoundDecl;
3260
496k
  }
3261
3262
  /// Determines whether this member expression actually had
3263
  /// a C++ nested-name-specifier prior to the name of the member, e.g.,
3264
  /// x->Base::foo.
3265
3.33M
  bool hasQualifier() const { return getQualifier() != nullptr; }
3266
3267
  /// If the member name was qualified, retrieves the
3268
  /// nested-name-specifier that precedes the member name, with source-location
3269
  /// information.
3270
3.86M
  NestedNameSpecifierLoc getQualifierLoc() const {
3271
3.86M
    if (!hasQualifierOrFoundDecl())
3272
3.69M
      return NestedNameSpecifierLoc();
3273
168k
    return getTrailingObjects<MemberExprNameQualifier>()->QualifierLoc;
3274
3.86M
  }
3275
3276
  /// If the member name was qualified, retrieves the
3277
  /// nested-name-specifier that precedes the member name. Otherwise, returns
3278
  /// NULL.
3279
3.53M
  NestedNameSpecifier *getQualifier() const {
3280
3.53M
    return getQualifierLoc().getNestedNameSpecifier();
3281
3.53M
  }
3282
3283
  /// Retrieve the location of the template keyword preceding
3284
  /// the member name, if any.
3285
229k
  SourceLocation getTemplateKeywordLoc() const {
3286
229k
    if (!hasTemplateKWAndArgsInfo())
3287
229k
      return SourceLocation();
3288
153
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->TemplateKWLoc;
3289
229k
  }
3290
3291
  /// Retrieve the location of the left angle bracket starting the
3292
  /// explicit template argument list following the member name, if any.
3293
1.33M
  SourceLocation getLAngleLoc() const {
3294
1.33M
    if (!hasTemplateKWAndArgsInfo())
3295
1.33M
      return SourceLocation();
3296
2.71k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->LAngleLoc;
3297
1.33M
  }
3298
3299
  /// Retrieve the location of the right angle bracket ending the
3300
  /// explicit template argument list following the member name, if any.
3301
2.01k
  SourceLocation getRAngleLoc() const {
3302
2.01k
    if (!hasTemplateKWAndArgsInfo())
3303
0
      return SourceLocation();
3304
2.01k
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->RAngleLoc;
3305
2.01k
  }
3306
3307
  /// Determines whether the member name was preceded by the template keyword.
3308
6.78k
  bool hasTemplateKeyword() const { return getTemplateKeywordLoc().isValid(); }
3309
3310
  /// Determines whether the member name was followed by an
3311
  /// explicit template argument list.
3312
1.33M
  bool hasExplicitTemplateArgs() const { return getLAngleLoc().isValid(); }
3313
3314
  /// Copies the template arguments (if present) into the given
3315
  /// structure.
3316
0
  void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const {
3317
0
    if (hasExplicitTemplateArgs())
3318
0
      getTrailingObjects<ASTTemplateKWAndArgsInfo>()->copyInto(
3319
0
          getTrailingObjects<TemplateArgumentLoc>(), List);
3320
0
  }
3321
3322
  /// Retrieve the template arguments provided as part of this
3323
  /// template-id.
3324
127k
  const TemplateArgumentLoc *getTemplateArgs() const {
3325
127k
    if (!hasExplicitTemplateArgs())
3326
127k
      return nullptr;
3327
3328
220
    return getTrailingObjects<TemplateArgumentLoc>();
3329
127k
  }
3330
3331
  /// Retrieve the number of template arguments provided as part of this
3332
  /// template-id.
3333
218k
  unsigned getNumTemplateArgs() const {
3334
218k
    if (!hasExplicitTemplateArgs())
3335
218k
      return 0;
3336
3337
295
    return getTrailingObjects<ASTTemplateKWAndArgsInfo>()->NumTemplateArgs;
3338
218k
  }
3339
3340
17
  ArrayRef<TemplateArgumentLoc> template_arguments() const {
3341
17
    return {getTemplateArgs(), getNumTemplateArgs()};
3342
17
  }
3343
3344
  /// Retrieve the member declaration name info.
3345
1.18M
  DeclarationNameInfo getMemberNameInfo() const {
3346
1.18M
    return DeclarationNameInfo(MemberDecl->getDeclName(),
3347
1.18M
                               MemberLoc, MemberDNLoc);
3348
1.18M
  }
3349
3350
241k
  SourceLocation getOperatorLoc() const { return MemberExprBits.OperatorLoc; }
3351
3352
2.25M
  bool isArrow() const { return MemberExprBits.IsArrow; }
3353
0
  void setArrow(bool A) { MemberExprBits.IsArrow = A; }
3354
3355
  /// getMemberLoc - Return the location of the "member", in X->F, it is the
3356
  /// location of 'F'.
3357
2.86M
  SourceLocation getMemberLoc() const { return MemberLoc; }
3358
0
  void setMemberLoc(SourceLocation L) { MemberLoc = L; }
3359
3360
  SourceLocation getBeginLoc() const LLVM_READONLY;
3361
  SourceLocation getEndLoc() const LLVM_READONLY;
3362
3363
2.68M
  SourceLocation getExprLoc() const LLVM_READONLY { return MemberLoc; }
3364
3365
  /// Determine whether the base of this explicit is implicit.
3366
4.87M
  bool isImplicitAccess() const {
3367
4.87M
    return getBase() && getBase()->isImplicitCXXThis();
3368
4.87M
  }
3369
3370
  /// Returns true if this member expression refers to a method that
3371
  /// was resolved from an overloaded set having size greater than 1.
3372
91.3k
  bool hadMultipleCandidates() const {
3373
91.3k
    return MemberExprBits.HadMultipleCandidates;
3374
91.3k
  }
3375
  /// Sets the flag telling whether this expression refers to
3376
  /// a method that was resolved from an overloaded set having size
3377
  /// greater than 1.
3378
1.25M
  void setHadMultipleCandidates(bool V = true) {
3379
1.25M
    MemberExprBits.HadMultipleCandidates = V;
3380
1.25M
  }
3381
3382
  /// Returns true if virtual dispatch is performed.
3383
  /// If the member access is fully qualified, (i.e. X::f()), virtual
3384
  /// dispatching is not performed. In -fapple-kext mode qualified
3385
  /// calls to virtual method will still go through the vtable.
3386
1.26M
  bool performsVirtualDispatch(const LangOptions &LO) const {
3387
1.26M
    return LO.AppleKext || 
!hasQualifier()1.26M
;
3388
1.26M
  }
3389
3390
  /// Is this expression a non-odr-use reference, and if so, why?
3391
  /// This is only meaningful if the named member is a static member.
3392
242k
  NonOdrUseReason isNonOdrUse() const {
3393
242k
    return static_cast<NonOdrUseReason>(MemberExprBits.NonOdrUseReason);
3394
242k
  }
3395
3396
65.9M
  static bool classof(const Stmt *T) {
3397
65.9M
    return T->getStmtClass() == MemberExprClass;
3398
65.9M
  }
3399
3400
  // Iterators
3401
968k
  child_range children() { return child_range(&Base, &Base+1); }
3402
0
  const_child_range children() const {
3403
0
    return const_child_range(&Base, &Base + 1);
3404
0
  }
3405
};
3406
3407
/// CompoundLiteralExpr - [C99 6.5.2.5]
3408
///
3409
class CompoundLiteralExpr : public Expr {
3410
  /// LParenLoc - If non-null, this is the location of the left paren in a
3411
  /// compound literal like "(int){4}".  This can be null if this is a
3412
  /// synthesized compound expression.
3413
  SourceLocation LParenLoc;
3414
3415
  /// The type as written.  This can be an incomplete array type, in
3416
  /// which case the actual expression type will be different.
3417
  /// The int part of the pair stores whether this expr is file scope.
3418
  llvm::PointerIntPair<TypeSourceInfo *, 1, bool> TInfoAndScope;
3419
  Stmt *Init;
3420
public:
3421
  CompoundLiteralExpr(SourceLocation lparenloc, TypeSourceInfo *tinfo,
3422
                      QualType T, ExprValueKind VK, Expr *init, bool fileScope)
3423
      : Expr(CompoundLiteralExprClass, T, VK, OK_Ordinary),
3424
53.1k
        LParenLoc(lparenloc), TInfoAndScope(tinfo, fileScope), Init(init) {
3425
53.1k
    setDependence(computeDependence(this));
3426
53.1k
  }
3427
3428
  /// Construct an empty compound literal.
3429
  explicit CompoundLiteralExpr(EmptyShell Empty)
3430
9
    : Expr(CompoundLiteralExprClass, Empty) { }
3431
3432
23.9k
  const Expr *getInitializer() const { return cast<Expr>(Init); }
3433
54.9k
  Expr *getInitializer() { return cast<Expr>(Init); }
3434
9
  void setInitializer(Expr *E) { Init = E; }
3435
3436
3.45k
  bool isFileScope() const { return TInfoAndScope.getInt(); }
3437
9
  void setFileScope(bool FS) { TInfoAndScope.setInt(FS); }
3438
3439
1.12k
  SourceLocation getLParenLoc() const { return LParenLoc; }
3440
9
  void setLParenLoc(SourceLocation L) { LParenLoc = L; }
3441
3442
54.7k
  TypeSourceInfo *getTypeSourceInfo() const {
3443
54.7k
    return TInfoAndScope.getPointer();
3444
54.7k
  }
3445
9
  void setTypeSourceInfo(TypeSourceInfo *tinfo) {
3446
9
    TInfoAndScope.setPointer(tinfo);
3447
9
  }
3448
3449
134k
  SourceLocation getBeginLoc() const LLVM_READONLY {
3450
    // FIXME: Init should never be null.
3451
134k
    if (!Init)
3452
0
      return SourceLocation();
3453
134k
    if (LParenLoc.isInvalid())
3454
137
      return Init->getBeginLoc();
3455
134k
    return LParenLoc;
3456
134k
  }
3457
12.4k
  SourceLocation getEndLoc() const LLVM_READONLY {
3458
    // FIXME: Init should never be null.
3459
12.4k
    if (!Init)
3460
0
      return SourceLocation();
3461
12.4k
    return Init->getEndLoc();
3462
12.4k
  }
3463
3464
63.9k
  static bool classof(const Stmt *T) {
3465
63.9k
    return T->getStmtClass() == CompoundLiteralExprClass;
3466
63.9k
  }
3467
3468
  // Iterators
3469
109k
  child_range children() { return child_range(&Init, &Init+1); }
3470
0
  const_child_range children() const {
3471
0
    return const_child_range(&Init, &Init + 1);
3472
0
  }
3473
};
3474
3475
/// CastExpr - Base class for type casts, including both implicit
3476
/// casts (ImplicitCastExpr) and explicit casts that have some
3477
/// representation in the source code (ExplicitCastExpr's derived
3478
/// classes).
3479
class CastExpr : public Expr {
3480
  Stmt *Op;
3481
3482
  bool CastConsistency() const;
3483
3484
61.0k
  const CXXBaseSpecifier * const *path_buffer() const {
3485
61.0k
    return const_cast<CastExpr*>(this)->path_buffer();
3486
61.0k
  }
3487
  CXXBaseSpecifier **path_buffer();
3488
3489
  friend class ASTStmtReader;
3490
3491
protected:
3492
  CastExpr(StmtClass SC, QualType ty, ExprValueKind VK, const CastKind kind,
3493
           Expr *op, unsigned BasePathSize, bool HasFPFeatures)
3494
24.1M
      : Expr(SC, ty, VK, OK_Ordinary), Op(op) {
3495
24.1M
    CastExprBits.Kind = kind;
3496
24.1M
    CastExprBits.PartOfExplicitCast = false;
3497
24.1M
    CastExprBits.BasePathSize = BasePathSize;
3498
24.1M
    assert((CastExprBits.BasePathSize == BasePathSize) &&
3499
24.1M
           "BasePathSize overflow!");
3500
0
    setDependence(computeDependence(this));
3501
24.1M
    assert(CastConsistency());
3502
0
    CastExprBits.HasFPFeatures = HasFPFeatures;
3503
24.1M
  }
3504
3505
  /// Construct an empty cast.
3506
  CastExpr(StmtClass SC, EmptyShell Empty, unsigned BasePathSize,
3507
           bool HasFPFeatures)
3508
834k
      : Expr(SC, Empty) {
3509
834k
    CastExprBits.PartOfExplicitCast = false;
3510
834k
    CastExprBits.BasePathSize = BasePathSize;
3511
834k
    CastExprBits.HasFPFeatures = HasFPFeatures;
3512
834k
    assert((CastExprBits.BasePathSize == BasePathSize) &&
3513
834k
           "BasePathSize overflow!");
3514
834k
  }
3515
3516
  /// Return a pointer to the trailing FPOptions.
3517
  /// \pre hasStoredFPFeatures() == true
3518
  FPOptionsOverride *getTrailingFPFeatures();
3519
2.19k
  const FPOptionsOverride *getTrailingFPFeatures() const {
3520
2.19k
    return const_cast<CastExpr *>(this)->getTrailingFPFeatures();
3521
2.19k
  }
3522
3523
public:
3524
95.7M
  CastKind getCastKind() const { return (CastKind) CastExprBits.Kind; }
3525
834k
  void setCastKind(CastKind K) { CastExprBits.Kind = K; }
3526
3527
  static const char *getCastKindName(CastKind CK);
3528
7.52k
  const char *getCastKindName() const { return getCastKindName(getCastKind()); }
3529
3530
109M
  Expr *getSubExpr() { return cast<Expr>(Op); }
3531
108M
  const Expr *getSubExpr() const { return cast<Expr>(Op); }
3532
834k
  void setSubExpr(Expr *E) { Op = E; }
3533
3534
  /// Retrieve the cast subexpression as it was written in the source
3535
  /// code, looking through any implicit casts or other intermediate nodes
3536
  /// introduced by semantic analysis.
3537
  Expr *getSubExprAsWritten();
3538
377k
  const Expr *getSubExprAsWritten() const {
3539
377k
    return const_cast<CastExpr *>(this)->getSubExprAsWritten();
3540
377k
  }
3541
3542
  /// If this cast applies a user-defined conversion, retrieve the conversion
3543
  /// function that it invokes.
3544
  NamedDecl *getConversionFunction() const;
3545
3546
  typedef CXXBaseSpecifier **path_iterator;
3547
  typedef const CXXBaseSpecifier *const *path_const_iterator;
3548
24.1M
  bool path_empty() const { return path_size() == 0; }
3549
28.3M
  unsigned path_size() const { return CastExprBits.BasePathSize; }
3550
2.07M
  path_iterator path_begin() { return path_buffer(); }
3551
1.24M
  path_iterator path_end() { return path_buffer() + path_size(); }
3552
30.5k
  path_const_iterator path_begin() const { return path_buffer(); }
3553
30.5k
  path_const_iterator path_end() const { return path_buffer() + path_size(); }
3554
3555
55
  llvm::iterator_range<path_iterator> path() {
3556
55
    return llvm::make_range(path_begin(), path_end());
3557
55
  }
3558
85
  llvm::iterator_range<path_const_iterator> path() const {
3559
85
    return llvm::make_range(path_begin(), path_end());
3560
85
  }
3561
3562
4
  const FieldDecl *getTargetUnionField() const {
3563
4
    assert(getCastKind() == CK_ToUnion);
3564
0
    return getTargetFieldForToUnionCast(getType(), getSubExpr()->getType());
3565
4
  }
3566
3567
28.3M
  bool hasStoredFPFeatures() const { return CastExprBits.HasFPFeatures; }
3568
3569
  /// Get FPOptionsOverride from trailing storage.
3570
2.19k
  FPOptionsOverride getStoredFPFeatures() const {
3571
2.19k
    assert(hasStoredFPFeatures());
3572
0
    return *getTrailingFPFeatures();
3573
2.19k
  }
3574
3575
  // Get the FP features status of this operation. Only meaningful for
3576
  // operations on floating point types.
3577
139k
  FPOptions getFPFeaturesInEffect(const LangOptions &LO) const {
3578
139k
    if (hasStoredFPFeatures())
3579
2.09k
      return getStoredFPFeatures().applyOverrides(LO);
3580
137k
    return FPOptions::defaultWithoutTrailingStorage(LO);
3581
139k
  }
3582
3583
331k
  FPOptionsOverride getFPFeatures() const {
3584
331k
    if (hasStoredFPFeatures())
3585
100
      return getStoredFPFeatures();
3586
331k
    return FPOptionsOverride();
3587
331k
  }
3588
3589
  static const FieldDecl *getTargetFieldForToUnionCast(QualType unionType,
3590
                                                       QualType opType);
3591
  static const FieldDecl *getTargetFieldForToUnionCast(const RecordDecl *RD,
3592
                                                       QualType opType);
3593
3594
146M
  static bool classof(const Stmt *T) {
3595
146M
    return T->getStmtClass() >= firstCastExprConstant &&
3596
146M
           
T->getStmtClass() <= lastCastExprConstant129M
;
3597
146M
  }
3598
3599
  // Iterators
3600
24.8M
  child_range children() { return child_range(&Op, &Op+1); }
3601
0
  const_child_range children() const { return const_child_range(&Op, &Op + 1); }
3602
};
3603
3604
/// ImplicitCastExpr - Allows us to explicitly represent implicit type
3605
/// conversions, which have no direct representation in the original
3606
/// source code. For example: converting T[]->T*, void f()->void
3607
/// (*f)(), float->double, short->int, etc.
3608
///
3609
/// In C, implicit casts always produce rvalues. However, in C++, an
3610
/// implicit cast whose result is being bound to a reference will be
3611
/// an lvalue or xvalue. For example:
3612
///
3613
/// @code
3614
/// class Base { };
3615
/// class Derived : public Base { };
3616
/// Derived &&ref();
3617
/// void f(Derived d) {
3618
///   Base& b = d; // initializer is an ImplicitCastExpr
3619
///                // to an lvalue of type Base
3620
///   Base&& r = ref(); // initializer is an ImplicitCastExpr
3621
///                     // to an xvalue of type Base
3622
/// }
3623
/// @endcode
3624
class ImplicitCastExpr final
3625
    : public CastExpr,
3626
      private llvm::TrailingObjects<ImplicitCastExpr, CXXBaseSpecifier *,
3627
                                    FPOptionsOverride> {
3628
3629
  ImplicitCastExpr(QualType ty, CastKind kind, Expr *op,
3630
                   unsigned BasePathLength, FPOptionsOverride FPO,
3631
                   ExprValueKind VK)
3632
      : CastExpr(ImplicitCastExprClass, ty, VK, kind, op, BasePathLength,
3633
18.9M
                 FPO.requiresTrailingStorage()) {
3634
18.9M
    if (hasStoredFPFeatures())
3635
215k
      *getTrailingFPFeatures() = FPO;
3636
18.9M
  }
3637
3638
  /// Construct an empty implicit cast.
3639
  explicit ImplicitCastExpr(EmptyShell Shell, unsigned PathSize,
3640
                            bool HasFPFeatures)
3641
777k
      : CastExpr(ImplicitCastExprClass, Shell, PathSize, HasFPFeatures) {}
3642
3643
216k
  unsigned numTrailingObjects(OverloadToken<CXXBaseSpecifier *>) const {
3644
216k
    return path_size();
3645
216k
  }
3646
3647
public:
3648
  enum OnStack_t { OnStack };
3649
  ImplicitCastExpr(OnStack_t _, QualType ty, CastKind kind, Expr *op,
3650
                   ExprValueKind VK, FPOptionsOverride FPO)
3651
      : CastExpr(ImplicitCastExprClass, ty, VK, kind, op, 0,
3652
538k
                 FPO.requiresTrailingStorage()) {
3653
538k
    if (hasStoredFPFeatures())
3654
0
      *getTrailingFPFeatures() = FPO;
3655
538k
  }
3656
3657
900k
  bool isPartOfExplicitCast() const { return CastExprBits.PartOfExplicitCast; }
3658
3.45M
  void setIsPartOfExplicitCast(bool PartOfExplicitCast) {
3659
3.45M
    CastExprBits.PartOfExplicitCast = PartOfExplicitCast;
3660
3.45M
  }
3661
3662
  static ImplicitCastExpr *Create(const ASTContext &Context, QualType T,
3663
                                  CastKind Kind, Expr *Operand,
3664
                                  const CXXCastPath *BasePath,
3665
                                  ExprValueKind Cat, FPOptionsOverride FPO);
3666
3667
  static ImplicitCastExpr *CreateEmpty(const ASTContext &Context,
3668
                                       unsigned PathSize, bool HasFPFeatures);
3669
3670
52.5M
  SourceLocation getBeginLoc() const LLVM_READONLY {
3671
52.5M
    return getSubExpr()->getBeginLoc();
3672
52.5M
  }
3673
5.23M
  SourceLocation getEndLoc() const LLVM_READONLY {
3674
5.23M
    return getSubExpr()->getEndLoc();
3675
5.23M
  }
3676
3677
302M
  static bool classof(const Stmt *T) {
3678
302M
    return T->getStmtClass() == ImplicitCastExprClass;
3679
302M
  }
3680
3681
  friend TrailingObjects;
3682
  friend class CastExpr;
3683
};
3684
3685
/// ExplicitCastExpr - An explicit cast written in the source
3686
/// code.
3687
///
3688
/// This class is effectively an abstract class, because it provides
3689
/// the basic representation of an explicitly-written cast without
3690
/// specifying which kind of cast (C cast, functional cast, static
3691
/// cast, etc.) was written; specific derived classes represent the
3692
/// particular style of cast and its location information.
3693
///
3694
/// Unlike implicit casts, explicit cast nodes have two different
3695
/// types: the type that was written into the source code, and the
3696
/// actual type of the expression as determined by semantic
3697
/// analysis. These types may differ slightly. For example, in C++ one
3698
/// can cast to a reference type, which indicates that the resulting
3699
/// expression will be an lvalue or xvalue. The reference type, however,
3700
/// will not be used as the type of the expression.
3701
class ExplicitCastExpr : public CastExpr {
3702
  /// TInfo - Source type info for the (written) type
3703
  /// this expression is casting to.
3704
  TypeSourceInfo *TInfo;
3705
3706
protected:
3707
  ExplicitCastExpr(StmtClass SC, QualType exprTy, ExprValueKind VK,
3708
                   CastKind kind, Expr *op, unsigned PathSize,
3709
                   bool HasFPFeatures, TypeSourceInfo *writtenTy)
3710
      : CastExpr(SC, exprTy, VK, kind, op, PathSize, HasFPFeatures),
3711
4.70M
        TInfo(writtenTy) {}
3712
3713
  /// Construct an empty explicit cast.
3714
  ExplicitCastExpr(StmtClass SC, EmptyShell Shell, unsigned PathSize,
3715
                   bool HasFPFeatures)
3716
56.4k
      : CastExpr(SC, Shell, PathSize, HasFPFeatures) {}
3717
3718
public:
3719
  /// getTypeInfoAsWritten - Returns the type source info for the type
3720
  /// that this expression is casting to.
3721
944k
  TypeSourceInfo *getTypeInfoAsWritten() const { return TInfo; }
3722
56.4k
  void setTypeInfoAsWritten(TypeSourceInfo *writtenTy) { TInfo = writtenTy; }
3723
3724
  /// getTypeAsWritten - Returns the type that this expression is
3725
  /// casting to, as written in the source code.
3726
532k
  QualType getTypeAsWritten() const { return TInfo->getType(); }
3727
3728
49.1M
  static bool classof(const Stmt *T) {
3729
49.1M
     return T->getStmtClass() >= firstExplicitCastExprConstant &&
3730
49.1M
            
T->getStmtClass() <= lastExplicitCastExprConstant38.7M
;
3731
49.1M
  }
3732
};
3733
3734
/// CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style
3735
/// cast in C++ (C++ [expr.cast]), which uses the syntax
3736
/// (Type)expr. For example: @c (int)f.
3737
class CStyleCastExpr final
3738
    : public ExplicitCastExpr,
3739
      private llvm::TrailingObjects<CStyleCastExpr, CXXBaseSpecifier *,
3740
                                    FPOptionsOverride> {
3741
  SourceLocation LPLoc; // the location of the left paren
3742
  SourceLocation RPLoc; // the location of the right paren
3743
3744
  CStyleCastExpr(QualType exprTy, ExprValueKind vk, CastKind kind, Expr *op,
3745
                 unsigned PathSize, FPOptionsOverride FPO,
3746
                 TypeSourceInfo *writtenTy, SourceLocation l, SourceLocation r)
3747
      : ExplicitCastExpr(CStyleCastExprClass, exprTy, vk, kind, op, PathSize,
3748
                         FPO.requiresTrailingStorage(), writtenTy),
3749
4.38M
        LPLoc(l), RPLoc(r) {
3750
4.38M
    if (hasStoredFPFeatures())
3751
138k
      *getTrailingFPFeatures() = FPO;
3752
4.38M
  }
3753
3754
  /// Construct an empty C-style explicit cast.
3755
  explicit CStyleCastExpr(EmptyShell Shell, unsigned PathSize,
3756
                          bool HasFPFeatures)
3757
21.3k
      : ExplicitCastExpr(CStyleCastExprClass, Shell, PathSize, HasFPFeatures) {}
3758
3759
138k
  unsigned numTrailingObjects(OverloadToken<CXXBaseSpecifier *>) const {
3760
138k
    return path_size();
3761
138k
  }
3762
3763
public:
3764
  static CStyleCastExpr *
3765
  Create(const ASTContext &Context, QualType T, ExprValueKind VK, CastKind K,
3766
         Expr *Op, const CXXCastPath *BasePath, FPOptionsOverride FPO,
3767
         TypeSourceInfo *WrittenTy, SourceLocation L, SourceLocation R);
3768
3769
  static CStyleCastExpr *CreateEmpty(const ASTContext &Context,
3770
                                     unsigned PathSize, bool HasFPFeatures);
3771
3772
196k
  SourceLocation getLParenLoc() const { return LPLoc; }
3773
21.3k
  void setLParenLoc(SourceLocation L) { LPLoc = L; }
3774
3775
196k
  SourceLocation getRParenLoc() const { return RPLoc; }
3776
21.3k
  void setRParenLoc(SourceLocation L) { RPLoc = L; }
3777
3778
21.4M
  SourceLocation getBeginLoc() const LLVM_READONLY { return LPLoc; }
3779
94.6k
  SourceLocation getEndLoc() const LLVM_READONLY {
3780
94.6k
    return getSubExpr()->getEndLoc();
3781
94.6k
  }
3782
3783
62.5k
  static bool classof(const Stmt *T) {
3784
62.5k
    return T->getStmtClass() == CStyleCastExprClass;
3785
62.5k
  }
3786
3787
  friend TrailingObjects;
3788
  friend class CastExpr;
3789
};
3790
3791
/// A builtin binary operation expression such as "x + y" or "x <= y".
3792
///
3793
/// This expression node kind describes a builtin binary operation,
3794
/// such as "x + y" for integer values "x" and "y". The operands will
3795
/// already have been converted to appropriate types (e.g., by
3796
/// performing promotions or conversions).
3797
///
3798
/// In C++, where operators may be overloaded, a different kind of
3799
/// expression node (CXXOperatorCallExpr) is used to express the
3800
/// invocation of an overloaded operator with operator syntax. Within
3801
/// a C++ template, whether BinaryOperator or CXXOperatorCallExpr is
3802
/// used to store an expression "x + y" depends on the subexpressions
3803
/// for x and y. If neither x or y is type-dependent, and the "+"
3804
/// operator resolves to a built-in operation, BinaryOperator will be
3805
/// used to express the computation (x and y may still be
3806
/// value-dependent). If either x or y is type-dependent, or if the
3807
/// "+" resolves to an overloaded operator, CXXOperatorCallExpr will
3808
/// be used to express the computation.
3809
class BinaryOperator : public Expr {
3810
  enum { LHS, RHS, END_EXPR };
3811
  Stmt *SubExprs[END_EXPR];
3812
3813
public:
3814
  typedef BinaryOperatorKind Opcode;
3815
3816
protected:
3817
  size_t offsetOfTrailingStorage() const;
3818
3819
  /// Return a pointer to the trailing FPOptions
3820
14.0k
  FPOptionsOverride *getTrailingFPFeatures() {
3821
14.0k
    assert(BinaryOperatorBits.HasFPFeatures);
3822
0
    return reinterpret_cast<FPOptionsOverride *>(
3823
14.0k
        reinterpret_cast<char *>(this) + offsetOfTrailingStorage());
3824
14.0k
  }
3825
996
  const FPOptionsOverride *getTrailingFPFeatures() const {
3826
996
    assert(BinaryOperatorBits.HasFPFeatures);
3827
0
    return reinterpret_cast<const FPOptionsOverride *>(
3828
996
        reinterpret_cast<const char *>(this) + offsetOfTrailingStorage());
3829
996
  }
3830
3831
  /// Build a binary operator, assuming that appropriate storage has been
3832
  /// allocated for the trailing objects when needed.
3833
  BinaryOperator(const ASTContext &Ctx, Expr *lhs, Expr *rhs, Opcode opc,
3834
                 QualType ResTy, ExprValueKind VK, ExprObjectKind OK,
3835
                 SourceLocation opLoc, FPOptionsOverride FPFeatures);
3836
3837
  /// Construct an empty binary operator.
3838
496k
  explicit BinaryOperator(EmptyShell Empty) : Expr(BinaryOperatorClass, Empty) {
3839
496k
    BinaryOperatorBits.Opc = BO_Comma;
3840
496k
  }
3841
3842
public:
3843
  static BinaryOperator *CreateEmpty(const ASTContext &C, bool hasFPFeatures);
3844
3845
  static BinaryOperator *Create(const ASTContext &C, Expr *lhs, Expr *rhs,
3846
                                Opcode opc, QualType ResTy, ExprValueKind VK,
3847
                                ExprObjectKind OK, SourceLocation opLoc,
3848
                                FPOptionsOverride FPFeatures);
3849
10.8M
  SourceLocation getExprLoc() const { return getOperatorLoc(); }
3850
16.3M
  SourceLocation getOperatorLoc() const { return BinaryOperatorBits.OpLoc; }
3851
526k
  void setOperatorLoc(SourceLocation L) { BinaryOperatorBits.OpLoc = L; }
3852
3853
140M
  Opcode getOpcode() const {
3854
140M
    return static_cast<Opcode>(BinaryOperatorBits.Opc);
3855
140M
  }
3856
526k
  void setOpcode(Opcode Opc) { BinaryOperatorBits.Opc = Opc; }
3857
3858
63.9M
  Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); }
3859
526k
  void setLHS(Expr *E) { SubExprs[LHS] = E; }
3860
49.4M
  Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); }
3861
526k
  void setRHS(Expr *E) { SubExprs[RHS] = E; }
3862
3863
7.07M
  SourceLocation getBeginLoc() const LLVM_READONLY {
3864
7.07M
    return getLHS()->getBeginLoc();
3865
7.07M
  }
3866
658k
  SourceLocation getEndLoc() const LLVM_READONLY {
3867
658k
    return getRHS()->getEndLoc();
3868
658k
  }
3869
3870
  /// getOpcodeStr - Turn an Opcode enum value into the punctuation char it
3871
  /// corresponds to, e.g. "<<=".
3872
  static StringRef getOpcodeStr(Opcode Op);
3873
3874
3.40k
  StringRef getOpcodeStr() const { return getOpcodeStr(getOpcode()); }
3875
3876
  /// Retrieve the binary opcode that corresponds to the given
3877
  /// overloaded operator.
3878
  static Opcode getOverloadedOpcode(OverloadedOperatorKind OO);
3879
3880
  /// Retrieve the overloaded operator kind that corresponds to
3881
  /// the given binary opcode.
3882
  static OverloadedOperatorKind getOverloadedOperator(Opcode Opc);
3883
3884
  /// predicates to categorize the respective opcodes.
3885
62.8k
  static bool isPtrMemOp(Opcode Opc) {
3886
62.8k
    return Opc == BO_PtrMemD || 
Opc == BO_PtrMemI61.7k
;
3887
62.8k
  }
3888
62.8k
  bool isPtrMemOp() const { return isPtrMemOp(getOpcode()); }
3889
3890
201k
  static bool isMultiplicativeOp(Opcode Opc) {
3891
201k
    return Opc >= BO_Mul && Opc <= BO_Rem;
3892
201k
  }
3893
3.51k
  bool isMultiplicativeOp() const { return isMultiplicativeOp(getOpcode()); }
3894
4.31M
  static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || 
Opc==BO_Sub3.36M
; }
3895
4.10M
  bool isAdditiveOp() const { return isAdditiveOp(getOpcode()); }
3896
215k
  static bool isShiftOp(Opcode Opc) { return Opc == BO_Shl || 
Opc == BO_Shr215k
; }
3897
501
  bool isShiftOp() const { return isShiftOp(getOpcode()); }
3898
3899
3.47M
  static bool isBitwiseOp(Opcode Opc) { return Opc >= BO_And && 
Opc <= BO_Or1.51M
; }
3900
12.0k
  bool isBitwiseOp() const { return isBitwiseOp(getOpcode()); }
3901
3902
1.52M
  static bool isRelationalOp(Opcode Opc) { return Opc >= BO_LT && 
Opc<=BO_GE1.44M
; }
3903
354k
  bool isRelationalOp() const { return isRelationalOp(getOpcode()); }
3904
3905
690k
  static bool isEqualityOp(Opcode Opc) { return Opc == BO_EQ || 
Opc == BO_NE515k
; }
3906
561k
  bool isEqualityOp() const { return isEqualityOp(getOpcode()); }
3907
3908
9.46M
  static bool isComparisonOp(Opcode Opc) { return Opc >= BO_Cmp && 
Opc<=BO_NE5.29M
; }
3909
5.47M
  bool isComparisonOp() const { return isComparisonOp(getOpcode()); }
3910
3911
3.06k
  static bool isCommaOp(Opcode Opc) { return Opc == BO_Comma; }
3912
3.06k
  bool isCommaOp() const { return isCommaOp(getOpcode()); }
3913
3914
85.0k
  static Opcode negateComparisonOp(Opcode Opc) {
3915
85.0k
    switch (Opc) {
3916
0
    default:
3917
0
      llvm_unreachable("Not a comparison operator.");
3918
899
    case BO_LT: return BO_GE;
3919
1.49k
    case BO_GT: return BO_LE;
3920
6.50k
    case BO_LE: return BO_GT;
3921
6.00k
    case BO_GE: return BO_LT;
3922
3.38k
    case BO_EQ: return BO_NE;
3923
66.7k
    case BO_NE: return BO_EQ;
3924
85.0k
    }
3925
85.0k
  }
3926
3927
19.0k
  static Opcode reverseComparisonOp(Opcode Opc) {
3928
19.0k
    switch (Opc) {
3929
0
    default:
3930
0
      llvm_unreachable("Not a comparison operator.");
3931
3.82k
    case BO_LT: return BO_GT;
3932
2.89k
    case BO_GT: return BO_LT;
3933
2.90k
    case BO_LE: return BO_GE;
3934
2.94k
    case BO_GE: return BO_LE;
3935
3.39k
    case BO_EQ:
3936
6.45k
    case BO_NE:
3937
6.45k
      return Opc;
3938
19.0k
    }
3939
19.0k
  }
3940
3941
25.0M
  static bool isLogicalOp(Opcode Opc) { return Opc == BO_LAnd || 
Opc==BO_LOr24.0M
; }
3942
25.0M
  bool isLogicalOp() const { return isLogicalOp(getOpcode()); }
3943
3944
10.3M
  static bool isAssignmentOp(Opcode Opc) {
3945
10.3M
    return Opc >= BO_Assign && 
Opc <= BO_OrAssign1.83M
;
3946
10.3M
  }
3947
10.3M
  bool isAssignmentOp() const { return isAssignmentOp(getOpcode()); }
3948
3949
9.08M
  static bool isCompoundAssignmentOp(Opcode Opc) {
3950
9.08M
    return Opc > BO_Assign && 
Opc <= BO_OrAssign555k
;
3951
9.08M
  }
3952
8.23M
  bool isCompoundAssignmentOp() const {
3953
8.23M
    return isCompoundAssignmentOp(getOpcode());
3954
8.23M
  }
3955
36.7k
  static Opcode getOpForCompoundAssignment(Opcode Opc) {
3956
36.7k
    assert(isCompoundAssignmentOp(Opc));
3957
36.7k
    if (Opc >= BO_AndAssign)
3958
5.61k
      return Opcode(unsigned(Opc) - BO_AndAssign + BO_And);
3959
31.1k
    else
3960
31.1k
      return Opcode(unsigned(Opc) - BO_MulAssign + BO_Mul);
3961
36.7k
  }
3962
3963
382
  static bool isShiftAssignOp(Opcode Opc) {
3964
382
    return Opc == BO_ShlAssign || 
Opc == BO_ShrAssign378
;
3965
382
  }
3966
0
  bool isShiftAssignOp() const {
3967
0
    return isShiftAssignOp(getOpcode());
3968
0
  }
3969
3970
  // Return true if a binary operator using the specified opcode and operands
3971
  // would match the 'p = (i8*)nullptr + n' idiom for casting a pointer-sized
3972
  // integer to a pointer.
3973
  static bool isNullPointerArithmeticExtension(ASTContext &Ctx, Opcode Opc,
3974
                                               Expr *LHS, Expr *RHS);
3975
3976
381M
  static bool classof(const Stmt *S) {
3977
381M
    return S->getStmtClass() >= firstBinaryOperatorConstant &&
3978
381M
           
S->getStmtClass() <= lastBinaryOperatorConstant375M
;
3979
381M
  }
3980
3981
  // Iterators
3982
9.32M
  child_range children() {
3983
9.32M
    return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR);
3984
9.32M
  }
3985
0
  const_child_range children() const {
3986
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
3987
0
  }
3988
3989
  /// Set and fetch the bit that shows whether FPFeatures needs to be
3990
  /// allocated in Trailing Storage
3991
526k
  void setHasStoredFPFeatures(bool B) { BinaryOperatorBits.HasFPFeatures = B; }
3992
7.52M
  bool hasStoredFPFeatures() const { return BinaryOperatorBits.HasFPFeatures; }
3993
3994
  /// Get FPFeatures from trailing storage
3995
996
  FPOptionsOverride getStoredFPFeatures() const {
3996
996
    assert(hasStoredFPFeatures());
3997
0
    return *getTrailingFPFeatures();
3998
996
  }
3999
  /// Set FPFeatures in trailing storage, used only by Serialization
4000
14.0k
  void setStoredFPFeatures(FPOptionsOverride F) {
4001
14.0k
    assert(BinaryOperatorBits.HasFPFeatures);
4002
0
    *getTrailingFPFeatures() = F;
4003
14.0k
  }
4004
4005
  // Get the FP features status of this operator. Only meaningful for
4006
  // operations on floating point types.
4007
570k
  FPOptions getFPFeaturesInEffect(const LangOptions &LO) const {
4008
570k
    if (BinaryOperatorBits.HasFPFeatures)
4009
943
      return getStoredFPFeatures().applyOverrides(LO);
4010
569k
    return FPOptions::defaultWithoutTrailingStorage(LO);
4011
570k
  }
4012
4013
  // This is used in ASTImporter
4014
927k
  FPOptionsOverride getFPFeatures(const LangOptions &LO) const {
4015
927k
    if (BinaryOperatorBits.HasFPFeatures)
4016
26
      return getStoredFPFeatures();
4017
927k
    return FPOptionsOverride();
4018
927k
  }
4019
4020
  // Get the FP contractability status of this operator. Only meaningful for
4021
  // operations on floating point types.
4022
0
  bool isFPContractableWithinStatement(const LangOptions &LO) const {
4023
0
    return getFPFeaturesInEffect(LO).allowFPContractWithinStatement();
4024
0
  }
4025
4026
  // Get the FENV_ACCESS status of this operator. Only meaningful for
4027
  // operations on floating point types.
4028
0
  bool isFEnvAccessOn(const LangOptions &LO) const {
4029
0
    return getFPFeaturesInEffect(LO).getAllowFEnvAccess();
4030
0
  }
4031
4032
protected:
4033
  BinaryOperator(const ASTContext &Ctx, Expr *lhs, Expr *rhs, Opcode opc,
4034
                 QualType ResTy, ExprValueKind VK, ExprObjectKind OK,
4035
                 SourceLocation opLoc, FPOptionsOverride FPFeatures,
4036
                 bool dead2);
4037
4038
  /// Construct an empty BinaryOperator, SC is CompoundAssignOperator.
4039
29.5k
  BinaryOperator(StmtClass SC, EmptyShell Empty) : Expr(SC, Empty) {
4040
29.5k
    BinaryOperatorBits.Opc = BO_MulAssign;
4041
29.5k
  }
4042
4043
  /// Return the size in bytes needed for the trailing objects.
4044
  /// Used to allocate the right amount of storage.
4045
7.71M
  static unsigned sizeOfTrailingObjects(bool HasFPFeatures) {
4046
7.71M
    return HasFPFeatures * sizeof(FPOptionsOverride);
4047
7.71M
  }
4048
};
4049
4050
/// CompoundAssignOperator - For compound assignments (e.g. +=), we keep
4051
/// track of the type the operation is performed in.  Due to the semantics of
4052
/// these operators, the operands are promoted, the arithmetic performed, an
4053
/// implicit conversion back to the result type done, then the assignment takes
4054
/// place.  This captures the intermediate type which the computation is done
4055
/// in.
4056
class CompoundAssignOperator : public BinaryOperator {
4057
  QualType ComputationLHSType;
4058
  QualType ComputationResultType;
4059
4060
  /// Construct an empty CompoundAssignOperator.
4061
  explicit CompoundAssignOperator(const ASTContext &C, EmptyShell Empty,
4062
                                  bool hasFPFeatures)
4063
29.5k
      : BinaryOperator(CompoundAssignOperatorClass, Empty) {}
4064
4065
protected:
4066
  CompoundAssignOperator(const ASTContext &C, Expr *lhs, Expr *rhs, Opcode opc,
4067
                         QualType ResType, ExprValueKind VK, ExprObjectKind OK,
4068
                         SourceLocation OpLoc, FPOptionsOverride FPFeatures,
4069
                         QualType CompLHSType, QualType CompResultType)
4070
      : BinaryOperator(C, lhs, rhs, opc, ResType, VK, OK, OpLoc, FPFeatures,
4071
                       true),
4072
165k
        ComputationLHSType(CompLHSType), ComputationResultType(CompResultType) {
4073
165k
    assert(isCompoundAssignmentOp() &&
4074
165k
           "Only should be used for compound assignments");
4075
165k
  }
4076
4077
public:
4078
  static CompoundAssignOperator *CreateEmpty(const ASTContext &C,
4079
                                             bool hasFPFeatures);
4080
4081
  static CompoundAssignOperator *
4082
  Create(const ASTContext &C, Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy,
4083
         ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc,
4084
         FPOptionsOverride FPFeatures, QualType CompLHSType = QualType(),
4085
         QualType CompResultType = QualType());
4086
4087
  // The two computation types are the type the LHS is converted
4088
  // to for the computation and the type of the result; the two are
4089
  // distinct in a few cases (specifically, int+=ptr and ptr-=ptr).
4090
94.2k
  QualType getComputationLHSType() const { return ComputationLHSType; }
4091
29.5k
  void setComputationLHSType(QualType T) { ComputationLHSType = T; }
4092
4093
162k
  QualType getComputationResultType() const { return ComputationResultType; }
4094
29.5k
  void setComputationResultType(QualType T) { ComputationResultType = T; }
4095
4096
1.49M
  static bool classof(const Stmt *S) {
4097
1.49M
    return S->getStmtClass() == CompoundAssignOperatorClass;
4098
1.49M
  }
4099
};
4100
4101
15.0k
inline size_t BinaryOperator::offsetOfTrailingStorage() const {
4102
15.0k
  assert(BinaryOperatorBits.HasFPFeatures);
4103
15.0k
  return isa<CompoundAssignOperator>(this) ? 
sizeof(CompoundAssignOperator)416
4104
15.0k
                                           : 
sizeof(BinaryOperator)14.6k
;
4105
15.0k
}
4106
4107
/// AbstractConditionalOperator - An abstract base class for
4108
/// ConditionalOperator and BinaryConditionalOperator.
4109
class AbstractConditionalOperator : public Expr {
4110
  SourceLocation QuestionLoc, ColonLoc;
4111
  friend class ASTStmtReader;
4112
4113
protected:
4114
  AbstractConditionalOperator(StmtClass SC, QualType T, ExprValueKind VK,
4115
                              ExprObjectKind OK, SourceLocation qloc,
4116
                              SourceLocation cloc)
4117
250k
      : Expr(SC, T, VK, OK), QuestionLoc(qloc), ColonLoc(cloc) {}
4118
4119
  AbstractConditionalOperator(StmtClass SC, EmptyShell Empty)
4120
16.4k
    : Expr(SC, Empty) { }
4121
4122
public:
4123
  // getCond - Return the expression representing the condition for
4124
  //   the ?: operator.
4125
  Expr *getCond() const;
4126
4127
  // getTrueExpr - Return the subexpression representing the value of
4128
  //   the expression if the condition evaluates to true.
4129
  Expr *getTrueExpr() const;
4130
4131
  // getFalseExpr - Return the subexpression representing the value of
4132
  //   the expression if the condition evaluates to false.  This is
4133
  //   the same as getRHS.
4134
  Expr *getFalseExpr() const;
4135
4136
253k
  SourceLocation getQuestionLoc() const { return QuestionLoc; }
4137
59.1k
  SourceLocation getColonLoc() const { return ColonLoc; }
4138
4139
37.9M
  static bool classof(const Stmt *T) {
4140
37.9M
    return T->getStmtClass() == ConditionalOperatorClass ||
4141
37.9M
           
T->getStmtClass() == BinaryConditionalOperatorClass37.4M
;
4142
37.9M
  }
4143
};
4144
4145
/// ConditionalOperator - The ?: ternary operator.  The GNU "missing
4146
/// middle" extension is a BinaryConditionalOperator.
4147
class ConditionalOperator : public AbstractConditionalOperator {
4148
  enum { COND, LHS, RHS, END_EXPR };
4149
  Stmt* SubExprs[END_EXPR]; // Left/Middle/Right hand sides.
4150
4151
  friend class ASTStmtReader;
4152
public:
4153
  ConditionalOperator(Expr *cond, SourceLocation QLoc, Expr *lhs,
4154
                      SourceLocation CLoc, Expr *rhs, QualType t,
4155
                      ExprValueKind VK, ExprObjectKind OK)
4156
      : AbstractConditionalOperator(ConditionalOperatorClass, t, VK, OK, QLoc,
4157
249k
                                    CLoc) {
4158
249k
    SubExprs[COND] = cond;
4159
249k
    SubExprs[LHS] = lhs;
4160
249k
    SubExprs[RHS] = rhs;
4161
249k
    setDependence(computeDependence(this));
4162
249k
  }
4163
4164
  /// Build an empty conditional operator.
4165
  explicit ConditionalOperator(EmptyShell Empty)
4166
16.4k
    : AbstractConditionalOperator(ConditionalOperatorClass, Empty) { }
4167
4168
  // getCond - Return the expression representing the condition for
4169
  //   the ?: operator.
4170
2.01M
  Expr *getCond() const { return cast<Expr>(SubExprs[COND]); }
4171
4172
  // getTrueExpr - Return the subexpression representing the value of
4173
  //   the expression if the condition evaluates to true.
4174
665k
  Expr *getTrueExpr() const { return cast<Expr>(SubExprs[LHS]); }
4175
4176
  // getFalseExpr - Return the subexpression representing the value of
4177
  //   the expression if the condition evaluates to false.  This is
4178
  //   the same as getRHS.
4179
716k
  Expr *getFalseExpr() const { return cast<Expr>(SubExprs[RHS]); }
4180
4181
518k
  Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); }
4182
525k
  Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); }
4183
4184
566k
  SourceLocation getBeginLoc() const LLVM_READONLY {
4185
566k
    return getCond()->getBeginLoc();
4186
566k
  }
4187
11.6k
  SourceLocation getEndLoc() const LLVM_READONLY {
4188
11.6k
    return getRHS()->getEndLoc();
4189
11.6k
  }
4190
4191
4.63M
  static bool classof(const Stmt *T) {
4192
4.63M
    return T->getStmtClass() == ConditionalOperatorClass;
4193
4.63M
  }
4194
4195
  // Iterators
4196
45.5k
  child_range children() {
4197
45.5k
    return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR);
4198
45.5k
  }
4199
0
  const_child_range children() const {
4200
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
4201
0
  }
4202
};
4203
4204
/// BinaryConditionalOperator - The GNU extension to the conditional
4205
/// operator which allows the middle operand to be omitted.
4206
///
4207
/// This is a different expression kind on the assumption that almost
4208
/// every client ends up needing to know that these are different.
4209
class BinaryConditionalOperator : public AbstractConditionalOperator {
4210
  enum { COMMON, COND, LHS, RHS, NUM_SUBEXPRS };
4211
4212
  /// - the common condition/left-hand-side expression, which will be
4213
  ///   evaluated as the opaque value
4214
  /// - the condition, expressed in terms of the opaque value
4215
  /// - the left-hand-side, expressed in terms of the opaque value
4216
  /// - the right-hand-side
4217
  Stmt *SubExprs[NUM_SUBEXPRS];
4218
  OpaqueValueExpr *OpaqueValue;
4219
4220
  friend class ASTStmtReader;
4221
public:
4222
  BinaryConditionalOperator(Expr *common, OpaqueValueExpr *opaqueValue,
4223
                            Expr *cond, Expr *lhs, Expr *rhs,
4224
                            SourceLocation qloc, SourceLocation cloc,
4225
                            QualType t, ExprValueKind VK, ExprObjectKind OK)
4226
      : AbstractConditionalOperator(BinaryConditionalOperatorClass, t, VK, OK,
4227
                                    qloc, cloc),
4228
275
        OpaqueValue(opaqueValue) {
4229
275
    SubExprs[COMMON] = common;
4230
275
    SubExprs[COND] = cond;
4231
275
    SubExprs[LHS] = lhs;
4232
275
    SubExprs[RHS] = rhs;
4233
275
    assert(OpaqueValue->getSourceExpr() == common && "Wrong opaque value");
4234
0
    setDependence(computeDependence(this));
4235
275
  }
4236
4237
  /// Build an empty conditional operator.
4238
  explicit BinaryConditionalOperator(EmptyShell Empty)
4239
3
    : AbstractConditionalOperator(BinaryConditionalOperatorClass, Empty) { }
4240
4241
  /// getCommon - Return the common expression, written to the
4242
  ///   left of the condition.  The opaque value will be bound to the
4243
  ///   result of this expression.
4244
3.58k
  Expr *getCommon() const { return cast<Expr>(SubExprs[COMMON]); }
4245
4246
  /// getOpaqueValue - Return the opaque value placeholder.
4247
3.06k
  OpaqueValueExpr *getOpaqueValue() const { return OpaqueValue; }
4248
4249
  /// getCond - Return the condition expression; this is defined
4250
  ///   in terms of the opaque value.
4251
2.91k
  Expr *getCond() const { return cast<Expr>(SubExprs[COND]); }
4252
4253
  /// getTrueExpr - Return the subexpression which will be
4254
  ///   evaluated if the condition evaluates to true;  this is defined
4255
  ///   in terms of the opaque value.
4256
2.43k
  Expr *getTrueExpr() const {
4257
2.43k
    return cast<Expr>(SubExprs[LHS]);
4258
2.43k
  }
4259
4260
  /// getFalseExpr - Return the subexpression which will be
4261
  ///   evaluated if the condnition evaluates to false; this is
4262
  ///   defined in terms of the opaque value.
4263
2.11k
  Expr *getFalseExpr() const {
4264
2.11k
    return cast<Expr>(SubExprs[RHS]);
4265
2.11k
  }
4266
4267
1.28k
  SourceLocation getBeginLoc() const LLVM_READONLY {
4268
1.28k
    return getCommon()->getBeginLoc();
4269
1.28k
  }
4270
322
  SourceLocation getEndLoc() const LLVM_READONLY {
4271
322
    return getFalseExpr()->getEndLoc();
4272
322
  }
4273
4274
232k
  static bool classof(const Stmt *T) {
4275
232k
    return T->getStmtClass() == BinaryConditionalOperatorClass;
4276
232k
  }
4277
4278
  // Iterators
4279
344
  child_range children() {
4280
344
    return child_range(SubExprs, SubExprs + NUM_SUBEXPRS);
4281
344
  }
4282
0
  const_child_range children() const {
4283
0
    return const_child_range(SubExprs, SubExprs + NUM_SUBEXPRS);
4284
0
  }
4285
};
4286
4287
602k
inline Expr *AbstractConditionalOperator::getCond() const {
4288
602k
  if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this))
4289
601k
    return co->getCond();
4290
1.37k
  return cast<BinaryConditionalOperator>(this)->getCond();
4291
602k
}
4292
4293
476k
inline Expr *AbstractConditionalOperator::getTrueExpr() const {
4294
476k
  if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this))
4295
474k
    return co->getTrueExpr();
4296
1.07k
  return cast<BinaryConditionalOperator>(this)->getTrueExpr();
4297
476k
}
4298
4299
489k
inline Expr *AbstractConditionalOperator::getFalseExpr() const {
4300
489k
  if (const ConditionalOperator *co = dyn_cast<ConditionalOperator>(this))
4301
488k
    return co->getFalseExpr();
4302
993
  return cast<BinaryConditionalOperator>(this)->getFalseExpr();
4303
489k
}
4304
4305
/// AddrLabelExpr - The GNU address of label extension, representing &&label.
4306
class AddrLabelExpr : public Expr {
4307
  SourceLocation AmpAmpLoc, LabelLoc;
4308
  LabelDecl *Label;
4309
public:
4310
  AddrLabelExpr(SourceLocation AALoc, SourceLocation LLoc, LabelDecl *L,
4311
                QualType t)
4312
      : Expr(AddrLabelExprClass, t, VK_PRValue, OK_Ordinary), AmpAmpLoc(AALoc),
4313
520
        LabelLoc(LLoc), Label(L) {
4314
520
    setDependence(ExprDependence::None);
4315
520
  }
4316
4317
  /// Build an empty address of a label expression.
4318
  explicit AddrLabelExpr(EmptyShell Empty)
4319
6
    : Expr(AddrLabelExprClass, Empty) { }
4320
4321
18
  SourceLocation getAmpAmpLoc() const { return AmpAmpLoc; }
4322
6
  void setAmpAmpLoc(SourceLocation L) { AmpAmpLoc = L; }
4323
19
  SourceLocation getLabelLoc() const { return LabelLoc; }
4324
6
  void setLabelLoc(SourceLocation L) { LabelLoc = L; }
4325
4326
2.36k
  SourceLocation getBeginLoc() const LLVM_READONLY { return AmpAmpLoc; }
4327
822
  SourceLocation getEndLoc() const LLVM_READONLY { return LabelLoc; }
4328
4329
1.29k
  LabelDecl *getLabel() const { return Label; }
4330
6
  void setLabel(LabelDecl *L) { Label = L; }
4331
4332
2.42k
  static bool classof(const Stmt *T) {
4333
2.42k
    return T->getStmtClass() == AddrLabelExprClass;
4334
2.42k
  }
4335
4336
  // Iterators
4337
1.38k
  child_range children() {
4338
1.38k
    return child_range(child_iterator(), child_iterator());
4339
1.38k
  }
4340
0
  const_child_range children() const {
4341
0
    return const_child_range(const_child_iterator(), const_child_iterator());
4342
0
  }
4343
};
4344
4345
/// StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
4346
/// The StmtExpr contains a single CompoundStmt node, which it evaluates and
4347
/// takes the value of the last subexpression.
4348
///
4349
/// A StmtExpr is always an r-value; values "returned" out of a
4350
/// StmtExpr will be copied.
4351
class StmtExpr : public Expr {
4352
  Stmt *SubStmt;
4353
  SourceLocation LParenLoc, RParenLoc;
4354
public:
4355
  StmtExpr(CompoundStmt *SubStmt, QualType T, SourceLocation LParenLoc,
4356
           SourceLocation RParenLoc, unsigned TemplateDepth)
4357
      : Expr(StmtExprClass, T, VK_PRValue, OK_Ordinary), SubStmt(SubStmt),
4358
8.94k
        LParenLoc(LParenLoc), RParenLoc(RParenLoc) {
4359
8.94k
    setDependence(computeDependence(this, TemplateDepth));
4360
    // FIXME: A templated statement expression should have an associated
4361
    // DeclContext so that nested declarations always have a dependent context.
4362
8.94k
    StmtExprBits.TemplateDepth = TemplateDepth;
4363
8.94k
  }
4364
4365
  /// Build an empty statement expression.
4366
27
  explicit StmtExpr(EmptyShell Empty) : Expr(StmtExprClass, Empty) { }
4367
4368
13.6k
  CompoundStmt *getSubStmt() { return cast<CompoundStmt>(SubStmt); }
4369
12.1k
  const CompoundStmt *getSubStmt() const { return cast<CompoundStmt>(SubStmt); }
4370
27
  void setSubStmt(CompoundStmt *S) { SubStmt = S; }
4371
4372
12.6k
  SourceLocation getBeginLoc() const LLVM_READONLY { return LParenLoc; }
4373
361
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
4374
4375
818
  SourceLocation getLParenLoc() const { return LParenLoc; }
4376
27
  void setLParenLoc(SourceLocation L) { LParenLoc = L; }
4377
814
  SourceLocation getRParenLoc() const { return RParenLoc; }
4378
27
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
4379
4380
818
  unsigned getTemplateDepth() const { return StmtExprBits.TemplateDepth; }
4381
4382
31.9M
  static bool classof(const Stmt *T) {
4383
31.9M
    return T->getStmtClass() == StmtExprClass;
4384
31.9M
  }
4385
4386
  // Iterators
4387
11.8k
  child_range children() { return child_range(&SubStmt, &SubStmt+1); }
4388
0
  const_child_range children() const {
4389
0
    return const_child_range(&SubStmt, &SubStmt + 1);
4390
0
  }
4391
};
4392
4393
/// ShuffleVectorExpr - clang-specific builtin-in function
4394
/// __builtin_shufflevector.
4395
/// This AST node represents a operator that does a constant
4396
/// shuffle, similar to LLVM's shufflevector instruction. It takes
4397
/// two vectors and a variable number of constant indices,
4398
/// and returns the appropriately shuffled vector.
4399
class ShuffleVectorExpr : public Expr {
4400
  SourceLocation BuiltinLoc, RParenLoc;
4401
4402
  // SubExprs - the list of values passed to the __builtin_shufflevector
4403
  // function. The first two are vectors, and the rest are constant
4404
  // indices.  The number of values in this list is always
4405
  // 2+the number of indices in the vector type.
4406
  Stmt **SubExprs;
4407
  unsigned NumExprs;
4408
4409
public:
4410
  ShuffleVectorExpr(const ASTContext &C, ArrayRef<Expr*> args, QualType Type,
4411
                    SourceLocation BLoc, SourceLocation RP);
4412
4413
  /// Build an empty vector-shuffle expression.
4414
  explicit ShuffleVectorExpr(EmptyShell Empty)
4415
2
    : Expr(ShuffleVectorExprClass, Empty), SubExprs(nullptr) { }
4416
4417
2.13k
  SourceLocation getBuiltinLoc() const { return BuiltinLoc; }
4418
2
  void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; }
4419
4420
2.13k
  SourceLocation getRParenLoc() const { return RParenLoc; }
4421
2
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
4422
4423
486k
  SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; }
4424
29.3k
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
4425
4426
52
  static bool classof(const Stmt *T) {
4427
52
    return T->getStmtClass() == ShuffleVectorExprClass;
4428
52
  }
4429
4430
  /// getNumSubExprs - Return the size of the SubExprs array.  This includes the
4431
  /// constant expression, the actual arguments passed in, and the function
4432
  /// pointers.
4433
162k
  unsigned getNumSubExprs() const { return NumExprs; }
4434
4435
  /// Retrieve the array of expressions.
4436
149k
  Expr **getSubExprs() { return reinterpret_cast<Expr **>(SubExprs); }
4437
4438
  /// getExpr - Return the Expr at the specified index.
4439
24.6k
  Expr *getExpr(unsigned Index) {
4440
24.6k
    assert((Index < NumExprs) && "Arg access out of range!");
4441
0
    return cast<Expr>(SubExprs[Index]);
4442
24.6k
  }
4443
6.46k
  const Expr *getExpr(unsigned Index) const {
4444
6.46k
    assert((Index < NumExprs) && "Arg access out of range!");
4445
0
    return cast<Expr>(SubExprs[Index]);
4446
6.46k
  }
4447
4448
  void setExprs(const ASTContext &C, ArrayRef<Expr *> Exprs);
4449
4450
6.46k
  llvm::APSInt getShuffleMaskIdx(const ASTContext &Ctx, unsigned N) const {
4451
6.46k
    assert((N < NumExprs - 2) && "Shuffle idx out of range!");
4452
0
    return getExpr(N+2)->EvaluateKnownConstInt(Ctx);
4453
6.46k
  }
4454
4455
  // Iterators
4456
302k
  child_range children() {
4457
302k
    return child_range(&SubExprs[0], &SubExprs[0]+NumExprs);
4458
302k
  }
4459
0
  const_child_range children() const {
4460
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + NumExprs);
4461
0
  }
4462
};
4463
4464
/// ConvertVectorExpr - Clang builtin function __builtin_convertvector
4465
/// This AST node provides support for converting a vector type to another
4466
/// vector type of the same arity.
4467
class ConvertVectorExpr : public Expr {
4468
private:
4469
  Stmt *SrcExpr;
4470
  TypeSourceInfo *TInfo;
4471
  SourceLocation BuiltinLoc, RParenLoc;
4472
4473
  friend class ASTReader;
4474
  friend class ASTStmtReader;
4475
0
  explicit ConvertVectorExpr(EmptyShell Empty) : Expr(ConvertVectorExprClass, Empty) {}
4476
4477
public:
4478
  ConvertVectorExpr(Expr *SrcExpr, TypeSourceInfo *TI, QualType DstType,
4479
                    ExprValueKind VK, ExprObjectKind OK,
4480
                    SourceLocation BuiltinLoc, SourceLocation RParenLoc)
4481
      : Expr(ConvertVectorExprClass, DstType, VK, OK), SrcExpr(SrcExpr),
4482
19.7k
        TInfo(TI), BuiltinLoc(BuiltinLoc), RParenLoc(RParenLoc) {
4483
19.7k
    setDependence(computeDependence(this));
4484
19.7k
  }
4485
4486
  /// getSrcExpr - Return the Expr to be converted.
4487
20.9k
  Expr *getSrcExpr() const { return cast<Expr>(SrcExpr); }
4488
4489
  /// getTypeSourceInfo - Return the destination type.
4490
784
  TypeSourceInfo *getTypeSourceInfo() const {
4491
784
    return TInfo;
4492
784
  }
4493
0
  void setTypeSourceInfo(TypeSourceInfo *ti) {
4494
0
    TInfo = ti;
4495
0
  }
4496
4497
  /// getBuiltinLoc - Return the location of the __builtin_convertvector token.
4498
783
  SourceLocation getBuiltinLoc() const { return BuiltinLoc; }
4499
4500
  /// getRParenLoc - Return the location of final right parenthesis.
4501
783
  SourceLocation getRParenLoc() const { return RParenLoc; }
4502
4503
24.5k
  SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; }
4504
18.8k
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
4505
4506
1
  static bool classof(const Stmt *T) {
4507
1
    return T->getStmtClass() == ConvertVectorExprClass;
4508
1
  }
4509
4510
  // Iterators
4511
40.7k
  child_range children() { return child_range(&SrcExpr, &SrcExpr+1); }
4512
0
  const_child_range children() const {
4513
0
    return const_child_range(&SrcExpr, &SrcExpr + 1);
4514
0
  }
4515
};
4516
4517
/// ChooseExpr - GNU builtin-in function __builtin_choose_expr.
4518
/// This AST node is similar to the conditional operator (?:) in C, with
4519
/// the following exceptions:
4520
/// - the test expression must be a integer constant expression.
4521
/// - the expression returned acts like the chosen subexpression in every
4522
///   visible way: the type is the same as that of the chosen subexpression,
4523
///   and all predicates (whether it's an l-value, whether it's an integer
4524
///   constant expression, etc.) return the same result as for the chosen
4525
///   sub-expression.
4526
class ChooseExpr : public Expr {
4527
  enum { COND, LHS, RHS, END_EXPR };
4528
  Stmt* SubExprs[END_EXPR]; // Left/Middle/Right hand sides.
4529
  SourceLocation BuiltinLoc, RParenLoc;
4530
  bool CondIsTrue;
4531
public:
4532
  ChooseExpr(SourceLocation BLoc, Expr *cond, Expr *lhs, Expr *rhs, QualType t,
4533
             ExprValueKind VK, ExprObjectKind OK, SourceLocation RP,
4534
             bool condIsTrue)
4535
      : Expr(ChooseExprClass, t, VK, OK), BuiltinLoc(BLoc), RParenLoc(RP),
4536
76
        CondIsTrue(condIsTrue) {
4537
76
    SubExprs[COND] = cond;
4538
76
    SubExprs[LHS] = lhs;
4539
76
    SubExprs[RHS] = rhs;
4540
4541
76
    setDependence(computeDependence(this));
4542
76
  }
4543
4544
  /// Build an empty __builtin_choose_expr.
4545
3
  explicit ChooseExpr(EmptyShell Empty) : Expr(ChooseExprClass, Empty) { }
4546
4547
  /// isConditionTrue - Return whether the condition is true (i.e. not
4548
  /// equal to zero).
4549
447
  bool isConditionTrue() const {
4550
447
    assert(!isConditionDependent() &&
4551
447
           "Dependent condition isn't true or false");
4552
0
    return CondIsTrue;
4553
447
  }
4554
3
  void setIsConditionTrue(bool isTrue) { CondIsTrue = isTrue; }
4555
4556
823
  bool isConditionDependent() const {
4557
823
    return getCond()->isTypeDependent() || getCond()->isValueDependent();
4558
823
  }
4559
4560
  /// getChosenSubExpr - Return the subexpression chosen according to the
4561
  /// condition.
4562
352
  Expr *getChosenSubExpr() const {
4563
352
    return isConditionTrue() ? 
getLHS()216
:
getRHS()136
;
4564
352
  }
4565
4566
1.79k
  Expr *getCond() const { return cast<Expr>(SubExprs[COND]); }
4567
3
  void setCond(Expr *E) { SubExprs[COND] = E; }
4568
325
  Expr *getLHS() const { return cast<Expr>(SubExprs[LHS]); }
4569
3
  void setLHS(Expr *E) { SubExprs[LHS] = E; }
4570
235
  Expr *getRHS() const { return cast<Expr>(SubExprs[RHS]); }
4571
3
  void setRHS(Expr *E) { SubExprs[RHS] = E; }
4572
4573
19
  SourceLocation getBuiltinLoc() const { return BuiltinLoc; }
4574
3
  void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; }
4575
4576
19
  SourceLocation getRParenLoc() const { return RParenLoc; }
4577
3
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
4578
4579
79
  SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; }
4580
44
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
4581
4582
336M
  static bool classof(const Stmt *T) {
4583
336M
    return T->getStmtClass() == ChooseExprClass;
4584
336M
  }
4585
4586
  // Iterators
4587
55
  child_range children() {
4588
55
    return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR);
4589
55
  }
4590
0
  const_child_range children() const {
4591
0
    return const_child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
4592
0
  }
4593
};
4594
4595
/// GNUNullExpr - Implements the GNU __null extension, which is a name
4596
/// for a null pointer constant that has integral type (e.g., int or
4597
/// long) and is the same size and alignment as a pointer. The __null
4598
/// extension is typically only used by system headers, which define
4599
/// NULL as __null in C++ rather than using 0 (which is an integer
4600
/// that may not match the size of a pointer).
4601
class GNUNullExpr : public Expr {
4602
  /// TokenLoc - The location of the __null keyword.
4603
  SourceLocation TokenLoc;
4604
4605
public:
4606
  GNUNullExpr(QualType Ty, SourceLocation Loc)
4607
4.57k
      : Expr(GNUNullExprClass, Ty, VK_PRValue, OK_Ordinary), TokenLoc(Loc) {
4608
4.57k
    setDependence(ExprDependence::None);
4609
4.57k
  }
4610
4611
  /// Build an empty GNU __null expression.
4612
0
  explicit GNUNullExpr(EmptyShell Empty) : Expr(GNUNullExprClass, Empty) { }
4613
4614
  /// getTokenLocation - The location of the __null token.
4615
75
  SourceLocation getTokenLocation() const { return TokenLoc; }
4616
0
  void setTokenLocation(SourceLocation L) { TokenLoc = L; }
4617
4618
14.6k
  SourceLocation getBeginLoc() const LLVM_READONLY { return TokenLoc; }
4619
657
  SourceLocation getEndLoc() const LLVM_READONLY { return TokenLoc; }
4620
4621
10.8M
  static bool classof(const Stmt *T) {
4622
10.8M
    return T->getStmtClass() == GNUNullExprClass;
4623
10.8M
  }
4624
4625
  // Iterators
4626
13.3k
  child_range children() {
4627
13.3k
    return child_range(child_iterator(), child_iterator());
4628
13.3k
  }
4629
0
  const_child_range children() const {
4630
0
    return const_child_range(const_child_iterator(), const_child_iterator());
4631
0
  }
4632
};
4633
4634
/// Represents a call to the builtin function \c __builtin_va_arg.
4635
class VAArgExpr : public Expr {
4636
  Stmt *Val;
4637
  llvm::PointerIntPair<TypeSourceInfo *, 1, bool> TInfo;
4638
  SourceLocation BuiltinLoc, RParenLoc;
4639
public:
4640
  VAArgExpr(SourceLocation BLoc, Expr *e, TypeSourceInfo *TInfo,
4641
            SourceLocation RPLoc, QualType t, bool IsMS)
4642
      : Expr(VAArgExprClass, t, VK_PRValue, OK_Ordinary), Val(e),
4643
1.07k
        TInfo(TInfo, IsMS), BuiltinLoc(BLoc), RParenLoc(RPLoc) {
4644
1.07k
    setDependence(computeDependence(this));
4645
1.07k
  }
4646
4647
  /// Create an empty __builtin_va_arg expression.
4648
  explicit VAArgExpr(EmptyShell Empty)
4649
2
      : Expr(VAArgExprClass, Empty), Val(nullptr), TInfo(nullptr, false) {}
4650
4651
52
  const Expr *getSubExpr() const { return cast<Expr>(Val); }
4652
1.91k
  Expr *getSubExpr() { return cast<Expr>(Val); }
4653
2
  void setSubExpr(Expr *E) { Val = E; }
4654
4655
  /// Returns whether this is really a Win64 ABI va_arg expression.
4656
1.65k
  bool isMicrosoftABI() const { return TInfo.getInt(); }
4657
2
  void setIsMicrosoftABI(bool IsMS) { TInfo.setInt(IsMS); }
4658
4659
1.17k
  TypeSourceInfo *getWrittenTypeInfo() const { return TInfo.getPointer(); }
4660
2
  void setWrittenTypeInfo(TypeSourceInfo *TI) { TInfo.setPointer(TI); }
4661
4662
15
  SourceLocation getBuiltinLoc() const { return BuiltinLoc; }
4663
2
  void setBuiltinLoc(SourceLocation L) { BuiltinLoc = L; }
4664
4665
15
  SourceLocation getRParenLoc() const { return RParenLoc; }
4666
2
  void setRParenLoc(SourceLocation L) { RParenLoc = L; }
4667
4668
5.04k
  SourceLocation getBeginLoc() const LLVM_READONLY { return BuiltinLoc; }
4669
493
  SourceLocation getEndLoc() const LLVM_READONLY { return RParenLoc; }
4670
4671
120
  static bool classof(const Stmt *T) {
4672
120
    return T->getStmtClass() == VAArgExprClass;
4673
120
  }
4674
4675
  // Iterators
4676
3.27k
  child_range children() { return child_range(&Val, &Val+1); }
4677
0
  const_child_range children() const {
4678
0
    return const_child_range(&Val, &Val + 1);
4679
0
  }
4680
};
4681
4682
/// Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(),
4683
/// __builtin_FUNCTION(), or __builtin_FILE().
4684
class SourceLocExpr final : public Expr {
4685
  SourceLocation BuiltinLoc, RParenLoc;
4686
  DeclContext *ParentContext;
4687
4688
public:
4689
  enum IdentKind { Function, File, Line, Column };
4690
4691
  SourceLocExpr(const ASTContext &Ctx, IdentKind Type, SourceLocation BLoc,
4692
                SourceLocation RParenLoc, DeclContext *Context);
4693
4694
  /// Build an empty call expression.
4695
0
  explicit SourceLocExpr(EmptyShell Empty) : Expr(SourceLocExprClass, Empty) {}
4696
4697
  /// Return the result of evaluating this SourceLocExpr in the specified
4698
  /// (and possibly null) default argument or initialization context.
4699
  APValue EvaluateInContext(const ASTContext &Ctx,
4700
                            const Expr *DefaultExpr) const;
4701
4702
  /// Return a string representing the name of the specific builtin function.
4703
  StringRef getBuiltinStr() const;
4704
4705
1.46k
  IdentKind getIdentKind() const {
4706
1.46k
    return static_cast<IdentKind>(SourceLocExprBits.Kind);
4707
1.46k
  }
4708
4709
261
  bool isStringType() const {
4710
261
    switch (getIdentKind()) {
4711
126
    case File:
4712
261
    case Function:
4713
261
      return true;
4714
0
    case Line:
4715
0
    case Column:
4716
0
      return false;
4717
261
    }
4718
0
    llvm_unreachable("unknown source location expression kind");
4719
0
  }
4720
0
  bool isIntType() const LLVM_READONLY { return !isStringType(); }
4721
4722
  /// If the SourceLocExpr has been resolved return the subexpression
4723
  /// representing the resolved value. Otherwise return null.
4724
135
  const DeclContext *getParentContext() const { return ParentContext; }
4725
8
  DeclContext *getParentContext() { return ParentContext; }
4726
4727
276
  SourceLocation getLocation() const { return BuiltinLoc; }
4728
787
  SourceLocation getBeginLoc() const { return BuiltinLoc; }
4729
63
  SourceLocation getEndLoc() const { return RParenLoc; }
4730
4731
705
  child_range children() {
4732
705
    return child_range(child_iterator(), child_iterator());
4733
705
  }
4734
4735
0
  const_child_range children() const {
4736
0
    return const_child_range(child_iterator(), child_iterator());
4737
0
  }
4738
4739
23.2k
  static bool classof(const Stmt *T) {
4740
23.2k
    return T->getStmtClass() == SourceLocExprClass;
4741
23.2k
  }
4742
4743
private:
4744
  friend class ASTStmtReader;
4745
};
4746
4747
/// Describes an C or C++ initializer list.
4748
///
4749
/// InitListExpr describes an initializer list, which can be used to
4750
/// initialize objects of different types, including
4751
/// struct/class/union types, arrays, and vectors. For example:
4752
///
4753
/// @code
4754
/// struct foo x = { 1, { 2, 3 } };
4755
/// @endcode
4756
///
4757
/// Prior to semantic analysis, an initializer list will represent the
4758
/// initializer list as written by the user, but will have the
4759
/// placeholder type "void". This initializer list is called the
4760
/// syntactic form of the initializer, and may contain C99 designated
4761
/// initializers (represented as DesignatedInitExprs), initializations
4762
/// of subobject members without explicit braces, and so on. Clients
4763
/// interested in the original syntax of the initializer list should
4764
/// use the syntactic form of the initializer list.
4765
///
4766
/// After semantic analysis, the initializer list will represent the
4767
/// semantic form of the initializer, where the initializations of all
4768
/// subobjects are made explicit with nested InitListExpr nodes and
4769
/// C99 designators have been eliminated by placing the designated
4770
/// initializations into the subobject they initialize. Additionally,
4771
/// any "holes" in the initialization, where no initializer has been
4772
/// specified for a particular subobject, will be replaced with
4773
/// implicitly-generated ImplicitValueInitExpr expressions that
4774
/// value-initialize the subobjects. Note, however, that the
4775
/// initializer lists may still have fewer initializers than there are
4776
/// elements to initialize within the object.
4777
///
4778
/// After semantic analysis has completed, given an initializer list,
4779
/// method isSemanticForm() returns true if and only if this is the
4780
/// semantic form of the initializer list (note: the same AST node
4781
/// may at the same time be the syntactic form).
4782
/// Given the semantic form of the initializer list, one can retrieve
4783
/// the syntactic form of that initializer list (when different)
4784
/// using method getSyntacticForm(); the method returns null if applied
4785
/// to a initializer list which is already in syntactic form.
4786
/// Similarly, given the syntactic form (i.e., an initializer list such
4787
/// that isSemanticForm() returns false), one can retrieve the semantic
4788
/// form using method getSemanticForm().
4789
/// Since many initializer lists have the same syntactic and semantic forms,
4790
/// getSyntacticForm() may return NULL, indicating that the current
4791
/// semantic initializer list also serves as its syntactic form.
4792
class InitListExpr : public Expr {
4793
  // FIXME: Eliminate this vector in favor of ASTContext allocation
4794
  typedef ASTVector<Stmt *> InitExprsTy;
4795
  InitExprsTy InitExprs;
4796
  SourceLocation LBraceLoc, RBraceLoc;
4797
4798
  /// The alternative form of the initializer list (if it exists).
4799
  /// The int part of the pair stores whether this initializer list is
4800
  /// in semantic form. If not null, the pointer points to:
4801
  ///   - the syntactic form, if this is in semantic form;
4802
  ///   - the semantic form, if this is in syntactic form.
4803
  llvm::PointerIntPair<InitListExpr *, 1, bool> AltForm;
4804
4805
  /// Either:
4806
  ///  If this initializer list initializes an array with more elements than
4807
  ///  there are initializers in the list, specifies an expression to be used
4808
  ///  for value initialization of the rest of the elements.
4809
  /// Or
4810
  ///  If this initializer list initializes a union, specifies which
4811
  ///  field within the union will be initialized.
4812
  llvm::PointerUnion<Expr *, FieldDecl *> ArrayFillerOrUnionFieldInit;
4813
4814
public:
4815
  InitListExpr(const ASTContext &C, SourceLocation lbraceloc,
4816
               ArrayRef<Expr*> initExprs, SourceLocation rbraceloc);
4817
4818
  /// Build an empty initializer list.
4819
  explicit InitListExpr(EmptyShell Empty)
4820
3.46k
    : Expr(InitListExprClass, Empty), AltForm(nullptr, true) { }
4821
4822
6.19M
  unsigned getNumInits() const { return InitExprs.size(); }
4823
4824
  /// Retrieve the set of initializers.
4825
324k
  Expr **getInits() { return reinterpret_cast<Expr **>(InitExprs.data()); }
4826
4827
  /// Retrieve the set of initializers.
4828
25
  Expr * const *getInits() const {
4829
25
    return reinterpret_cast<Expr * const *>(InitExprs.data());
4830
25
  }
4831
4832
294k
  ArrayRef<Expr *> inits() {
4833
294k
    return llvm::makeArrayRef(getInits(), getNumInits());
4834
294k
  }
4835
4836
25
  ArrayRef<Expr *> inits() const {
4837
25
    return llvm::makeArrayRef(getInits(), getNumInits());
4838
25
  }
4839
4840
317k
  const Expr *getInit(unsigned Init) const {
4841
317k
    assert(Init < getNumInits() && "Initializer access out of range!");
4842
0
    return cast_or_null<Expr>(InitExprs[Init]);
4843
317k
  }
4844
4845
2.31M
  Expr *getInit(unsigned Init) {
4846
2.31M
    assert(Init < getNumInits() && "Initializer access out of range!");
4847
0
    return cast_or_null<Expr>(InitExprs[Init]);
4848
2.31M
  }
4849
4850
701k
  void setInit(unsigned Init, Expr *expr) {
4851
701k
    assert(Init < getNumInits() && "Initializer access out of range!");
4852
0
    InitExprs[Init] = expr;
4853
4854
701k
    if (expr)
4855
700k
      setDependence(getDependence() | expr->getDependence());
4856
701k
  }
4857
4858
  /// Mark the semantic form of the InitListExpr as error when the semantic
4859
  /// analysis fails.
4860
698
  void markError() {
4861
698
    assert(isSemanticForm());
4862
0
    setDependence(getDependence() | ExprDependence::ErrorDependent);
4863
698
  }
4864
4865
  /// Reserve space for some number of initializers.
4866
  void reserveInits(const ASTContext &C, unsigned NumInits);
4867
4868
  /// Specify the number of initializers
4869
  ///
4870
  /// If there are more than @p NumInits initializers, the remaining
4871
  /// initializers will be destroyed. If there are fewer than @p
4872
  /// NumInits initializers, NULL expressions will be added for the
4873
  /// unknown initializers.
4874
  void resizeInits(const ASTContext &Context, unsigned NumInits);
4875
4876
  /// Updates the initializer at index @p Init with the new
4877
  /// expression @p expr, and returns the old expression at that
4878
  /// location.
4879
  ///
4880
  /// When @p Init is out of range for this initializer list, the
4881
  /// initializer list will be extended with NULL expressions to
4882
  /// accommodate the new entry.
4883
  Expr *updateInit(const ASTContext &C, unsigned Init, Expr *expr);
4884
4885
  /// If this initializer list initializes an array with more elements
4886
  /// than there are initializers in the list, specifies an expression to be
4887
  /// used for value initialization of the rest of the elements.
4888
91.5k
  Expr *getArrayFiller() {
4889
91.5k
    return ArrayFillerOrUnionFieldInit.dyn_cast<Expr *>();
4890
91.5k
  }
4891
73.8k
  const Expr *getArrayFiller() const {
4892
73.8k
    return const_cast<InitListExpr *>(this)->getArrayFiller();
4893
73.8k
  }
4894
  void setArrayFiller(Expr *filler);
4895
4896
  /// Return true if this is an array initializer and its array "filler"
4897
  /// has been set.
4898
52.8k
  bool hasArrayFiller() const { return getArrayFiller(); }
4899
4900
  /// If this initializes a union, specifies which field in the
4901
  /// union to initialize.
4902
  ///
4903
  /// Typically, this field is the first named field within the
4904
  /// union. However, a designated initializer can specify the
4905
  /// initialization of a different field within the union.
4906
9.64k
  FieldDecl *getInitializedFieldInUnion() {
4907
9.64k
    return ArrayFillerOrUnionFieldInit.dyn_cast<FieldDecl *>();
4908
9.64k
  }
4909
2.23k
  const FieldDecl *getInitializedFieldInUnion() const {
4910
2.23k
    return const_cast<InitListExpr *>(this)->getInitializedFieldInUnion();
4911
2.23k
  }
4912
1.54k
  void setInitializedFieldInUnion(FieldDecl *FD) {
4913
1.54k
    assert((FD == nullptr
4914
1.54k
            || getInitializedFieldInUnion() == nullptr
4915
1.54k
            || getInitializedFieldInUnion() == FD)
4916
1.54k
           && "Only one field of a union may be initialized at a time!");
4917
0
    ArrayFillerOrUnionFieldInit = FD;
4918
1.54k
  }
4919
4920
  // Explicit InitListExpr's originate from source code (and have valid source
4921
  // locations). Implicit InitListExpr's are created by the semantic analyzer.
4922
  // FIXME: This is wrong; InitListExprs created by semantic analysis have
4923
  // valid source locations too!
4924
0
  bool isExplicit() const {
4925
0
    return LBraceLoc.isValid() && RBraceLoc.isValid();
4926
0
  }
4927
4928
  // Is this an initializer for an array of characters, initialized by a string
4929
  // literal or an @encode?
4930
  bool isStringLiteralInit() const;
4931
4932
  /// Is this a transparent initializer list (that is, an InitListExpr that is
4933
  /// purely syntactic, and whose semantics are that of the sole contained
4934
  /// initializer)?
4935
  bool isTransparent() const;
4936
4937
  /// Is this the zero initializer {0} in a language which considers it
4938
  /// idiomatic?
4939
  bool isIdiomaticZeroInitializer(const LangOptions &LangOpts) const;
4940
4941
21.3k
  SourceLocation getLBraceLoc() const { return LBraceLoc; }
4942
3.46k
  void setLBraceLoc(SourceLocation Loc) { LBraceLoc = Loc; }
4943
21.3k
  SourceLocation getRBraceLoc() const { return RBraceLoc; }
4944
4.60k
  void setRBraceLoc(SourceLocation Loc) { RBraceLoc = Loc; }
4945
4946
1.12M
  bool isSemanticForm() const { return AltForm.getInt(); }
4947
17
  InitListExpr *getSemanticForm() const {
4948
17
    return isSemanticForm() ? 
nullptr0
: AltForm.getPointer();
4949
17
  }
4950
53.4k
  bool isSyntacticForm() const {
4951
53.4k
    return !AltForm.getInt() || 
!AltForm.getPointer()31.1k
;
4952
53.4k
  }
4953
980k
  InitListExpr *getSyntacticForm() const {
4954
980k
    return isSemanticForm() ? 
AltForm.getPointer()723k
:
nullptr256k
;
4955
980k
  }
4956
4957
92.5k
  void setSyntacticForm(InitListExpr *Init) {
4958
92.5k
    AltForm.setPointer(Init);
4959
92.5k
    AltForm.setInt(true);
4960
92.5k
    Init->AltForm.setPointer(this);
4961
92.5k
    Init->AltForm.setInt(false);
4962
92.5k
  }
4963
4964
13.1k
  bool hadArrayRangeDesignator() const {
4965
13.1k
    return InitListExprBits.HadArrayRangeDesignator != 0;
4966
13.1k
  }
4967
238k
  void sawArrayRangeDesignator(bool ARD = true) {
4968
238k
    InitListExprBits.HadArrayRangeDesignator = ARD;
4969
238k
  }
4970
4971
  SourceLocation getBeginLoc() const LLVM_READONLY;
4972
  SourceLocation getEndLoc() const LLVM_READONLY;
4973
4974
123M
  static bool classof(const Stmt *T) {
4975
123M
    return T->getStmtClass() == InitListExprClass;
4976
123M
  }
4977
4978
  // Iterators
4979
226k
  child_range children() {
4980
226k
    const_child_range CCR = const_cast<const InitListExpr *>(this)->children();
4981
226k
    return child_range(cast_away_const(CCR.begin()),
4982
226k
                       cast_away_const(CCR.end()));
4983
226k
  }
4984
4985
226k
  const_child_range children() const {
4986
    // FIXME: This does not include the array filler expression.
4987
226k
    if (InitExprs.empty())
4988
45.6k
      return const_child_range(const_child_iterator(), const_child_iterator());
4989
180k
    return const_child_range(&InitExprs[0], &InitExprs[0] + InitExprs.size());
4990
226k
  }
4991
4992
  typedef InitExprsTy::iterator iterator;
4993
  typedef InitExprsTy::const_iterator const_iterator;
4994
  typedef InitExprsTy::reverse_iterator reverse_iterator;
4995
  typedef InitExprsTy::const_reverse_iterator const_reverse_iterator;
4996
4997
0
  iterator begin() { return InitExprs.begin(); }
4998
97.6k
  const_iterator begin() const { return InitExprs.begin(); }
4999
0
  iterator end() { return InitExprs.end(); }
5000
97.6k
  const_iterator end() const { return InitExprs.end(); }
5001
0
  reverse_iterator rbegin() { return InitExprs.rbegin(); }
5002
1.04k
  const_reverse_iterator rbegin() const { return InitExprs.rbegin(); }
5003
0
  reverse_iterator rend() { return InitExprs.rend(); }
5004
1.04k
  const_reverse_iterator rend() const { return InitExprs.rend(); }
5005
5006
  friend class ASTStmtReader;
5007
  friend class ASTStmtWriter;
5008
};
5009
5010
/// Represents a C99 designated initializer expression.
5011
///
5012
/// A designated initializer expression (C99 6.7.8) contains one or
5013
/// more designators (which can be field designators, array
5014
/// designators, or GNU array-range designators) followed by an
5015
/// expression that initializes the field or element(s) that the
5016
/// designators refer to. For example, given:
5017
///
5018
/// @code
5019
/// struct point {
5020
///   double x;
5021
///   double y;
5022
/// };
5023
/// struct point ptarray[10] = { [2].y = 1.0, [2].x = 2.0, [0].x = 1.0 };
5024
/// @endcode
5025
///
5026
/// The InitListExpr contains three DesignatedInitExprs, the first of
5027
/// which covers @c [2].y=1.0. This DesignatedInitExpr will have two
5028
/// designators, one array designator for @c [2] followed by one field
5029
/// designator for @c .y. The initialization expression will be 1.0.
5030
class DesignatedInitExpr final
5031
    : public Expr,
5032
      private llvm::TrailingObjects<DesignatedInitExpr, Stmt *> {
5033
public:
5034
  /// Forward declaration of the Designator class.
5035
  class Designator;
5036
5037
private:
5038
  /// The location of the '=' or ':' prior to the actual initializer
5039
  /// expression.
5040
  SourceLocation EqualOrColonLoc;
5041
5042
  /// Whether this designated initializer used the GNU deprecated
5043
  /// syntax rather than the C99 '=' syntax.
5044
  unsigned GNUSyntax : 1;
5045
5046
  /// The number of designators in this initializer expression.
5047
  unsigned NumDesignators : 15;
5048
5049
  /// The number of subexpressions of this initializer expression,
5050
  /// which contains both the initializer and any additional
5051
  /// expressions used by array and array-range designators.
5052
  unsigned NumSubExprs : 16;
5053
5054
  /// The designators in this designated initialization
5055
  /// expression.
5056
  Designator *Designators;
5057
5058
  DesignatedInitExpr(const ASTContext &C, QualType Ty,
5059
                     llvm::ArrayRef<Designator> Designators,
5060
                     SourceLocation EqualOrColonLoc, bool GNUSyntax,
5061
                     ArrayRef<Expr *> IndexExprs, Expr *Init);
5062
5063
  explicit DesignatedInitExpr(unsigned NumSubExprs)
5064
    : Expr(DesignatedInitExprClass, EmptyShell()),
5065
38
      NumDesignators(0), NumSubExprs(NumSubExprs), Designators(nullptr) { }
5066
5067
public:
5068
  /// A field designator, e.g., ".x".
5069
  struct FieldDesignator {
5070
    /// Refers to the field that is being initialized. The low bit
5071
    /// of this field determines whether this is actually a pointer
5072
    /// to an IdentifierInfo (if 1) or a FieldDecl (if 0). When
5073
    /// initially constructed, a field designator will store an
5074
    /// IdentifierInfo*. After semantic analysis has resolved that
5075
    /// name, the field designator will instead store a FieldDecl*.
5076
    uintptr_t NameOrField;
5077
5078
    /// The location of the '.' in the designated initializer.
5079
    SourceLocation DotLoc;
5080
5081
    /// The location of the field name in the designated initializer.
5082
    SourceLocation FieldLoc;
5083
  };
5084
5085
  /// An array or GNU array-range designator, e.g., "[9]" or "[10..15]".
5086
  struct ArrayOrRangeDesignator {
5087
    /// Location of the first index expression within the designated
5088
    /// initializer expression's list of subexpressions.
5089
    unsigned Index;
5090
    /// The location of the '[' starting the array range designator.
5091
    SourceLocation LBracketLoc;
5092
    /// The location of the ellipsis separating the start and end
5093
    /// indices. Only valid for GNU array-range designators.
5094
    SourceLocation EllipsisLoc;
5095
    /// The location of the ']' terminating the array range designator.
5096
    SourceLocation RBracketLoc;
5097
  };
5098
5099
  /// Represents a single C99 designator.
5100
  ///
5101
  /// @todo This class is infuriatingly similar to clang::Designator,
5102
  /// but minor differences (storing indices vs. storing pointers)
5103
  /// keep us from reusing it. Try harder, later, to rectify these
5104
  /// differences.
5105
  class Designator {
5106
    /// The kind of designator this describes.
5107
    enum {
5108
      FieldDesignator,
5109
      ArrayDesignator,
5110
      ArrayRangeDesignator
5111
    } Kind;
5112
5113
    union {
5114
      /// A field designator, e.g., ".x".
5115
      struct FieldDesignator Field;
5116
      /// An array or GNU array-range designator, e.g., "[9]" or "[10..15]".
5117
      struct ArrayOrRangeDesignator ArrayOrRange;
5118
    };
5119
    friend class DesignatedInitExpr;
5120
5121
  public:
5122
2.68k
    Designator() {}
5123
5124
    /// Initializes a field designator.
5125
    Designator(const IdentifierInfo *FieldName, SourceLocation DotLoc,
5126
               SourceLocation FieldLoc)
5127
2.19k
      : Kind(FieldDesignator) {
5128
2.19k
      new (&Field) DesignatedInitExpr::FieldDesignator;
5129
2.19k
      Field.NameOrField = reinterpret_cast<uintptr_t>(FieldName) | 0x01;
5130
2.19k
      Field.DotLoc = DotLoc;
5131
2.19k
      Field.FieldLoc = FieldLoc;
5132
2.19k
    }
5133
5134
    /// Initializes an array designator.
5135
    Designator(unsigned Index, SourceLocation LBracketLoc,
5136
               SourceLocation RBracketLoc)
5137
391
      : Kind(ArrayDesignator) {
5138
391
      new (&ArrayOrRange) DesignatedInitExpr::ArrayOrRangeDesignator;
5139
391
      ArrayOrRange.Index = Index;
5140
391
      ArrayOrRange.LBracketLoc = LBracketLoc;
5141
391
      ArrayOrRange.EllipsisLoc = SourceLocation();
5142
391
      ArrayOrRange.RBracketLoc = RBracketLoc;
5143
391
    }
5144
5145
    /// Initializes a GNU array-range designator.
5146
    Designator(unsigned Index, SourceLocation LBracketLoc,
5147
               SourceLocation EllipsisLoc, SourceLocation RBracketLoc)
5148
27
      : Kind(ArrayRangeDesignator) {
5149
27
      new (&ArrayOrRange) DesignatedInitExpr::ArrayOrRangeDesignator;
5150
27
      ArrayOrRange.Index = Index;
5151
27
      ArrayOrRange.LBracketLoc = LBracketLoc;
5152
27
      ArrayOrRange.EllipsisLoc = EllipsisLoc;
5153
27
      ArrayOrRange.RBracketLoc = RBracketLoc;
5154
27
    }
5155
5156
12.8k
    bool isFieldDesignator() const { return Kind == FieldDesignator; }
5157
5.88k
    bool isArrayDesignator() const { return Kind == ArrayDesignator; }
5158
4.31k
    bool isArrayRangeDesignator() const { return Kind == ArrayRangeDesignator; }
5159
5160
    IdentifierInfo *getFieldName() const;
5161
5162
4.86k
    FieldDecl *getField() const {
5163
4.86k
      assert(Kind == FieldDesignator && "Only valid on a field designator");
5164
4.86k
      if (Field.NameOrField & 0x01)
5165
4.30k
        return nullptr;
5166
553
      else
5167
553
        return reinterpret_cast<FieldDecl *>(Field.NameOrField);
5168
4.86k
    }
5169
5170
2.02k
    void setField(FieldDecl *FD) {
5171
2.02k
      assert(Kind == FieldDesignator && "Only valid on a field designator");
5172
0
      Field.NameOrField = reinterpret_cast<uintptr_t>(FD);
5173
2.02k
    }
5174
5175
1.79k
    SourceLocation getDotLoc() const {
5176
1.79k
      assert(Kind == FieldDesignator && "Only valid on a field designator");
5177
0
      return Field.DotLoc;
5178
1.79k
    }
5179
5180
2.53k
    SourceLocation getFieldLoc() const {
5181
2.53k
      assert(Kind == FieldDesignator && "Only valid on a field designator");
5182
0
      return Field.FieldLoc;
5183
2.53k
    }
5184
5185
402
    SourceLocation getLBracketLoc() const {
5186
402
      assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) &&
5187
402
             "Only valid on an array or array-range designator");
5188
0
      return ArrayOrRange.LBracketLoc;
5189
402
    }
5190
5191
157
    SourceLocation getRBracketLoc() const {
5192
157
      assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) &&
5193
157
             "Only valid on an array or array-range designator");
5194
0
      return ArrayOrRange.RBracketLoc;
5195
157
    }
5196
5197
8
    SourceLocation getEllipsisLoc() const {
5198
8
      assert(Kind == ArrayRangeDesignator &&
5199
8
             "Only valid on an array-range designator");
5200
0
      return ArrayOrRange.EllipsisLoc;
5201
8
    }
5202
5203
61
    unsigned getFirstExprIndex() const {
5204
61
      assert((Kind == ArrayDesignator || Kind == ArrayRangeDesignator) &&
5205
61
             "Only valid on an array or array-range designator");
5206
0
      return ArrayOrRange.Index;
5207
61
    }
5208
5209
960
    SourceLocation getBeginLoc() const LLVM_READONLY {
5210
960
      if (Kind == FieldDesignator)
5211
643
        return getDotLoc().isInvalid()? 
getFieldLoc()18
:
getDotLoc()625
;
5212
317
      else
5213
317
        return getLBracketLoc();
5214
960
    }
5215
163
    SourceLocation getEndLoc() const LLVM_READONLY {
5216
163
      return Kind == FieldDesignator ? 
getFieldLoc()58
:
getRBracketLoc()105
;
5217
163
    }
5218
92
    SourceRange getSourceRange() const LLVM_READONLY {
5219
92
      return SourceRange(getBeginLoc(), getEndLoc());
5220
92
    }
5221
  };
5222
5223
  static DesignatedInitExpr *Create(const ASTContext &C,
5224
                                    llvm::ArrayRef<Designator> Designators,
5225
                                    ArrayRef<Expr*> IndexExprs,
5226
                                    SourceLocation EqualOrColonLoc,
5227
                                    bool GNUSyntax, Expr *Init);
5228
5229
  static DesignatedInitExpr *CreateEmpty(const ASTContext &C,
5230
                                         unsigned NumIndexExprs);
5231
5232
  /// Returns the number of designators in this initializer.
5233
10.6k
  unsigned size() const { return NumDesignators; }
5234
5235
  // Iterator access to the designators.
5236
14.8k
  llvm::MutableArrayRef<Designator> designators() {
5237
14.8k
    return {Designators, NumDesignators};
5238
14.8k
  }
5239
5240
222
  llvm::ArrayRef<Designator> designators() const {
5241
222
    return {Designators, NumDesignators};
5242
222
  }
5243
5244
10.8k
  Designator *getDesignator(unsigned Idx) { return &designators()[Idx]; }
5245
10
  const Designator *getDesignator(unsigned Idx) const {
5246
10
    return &designators()[Idx];
5247
10
  }
5248
5249
  void setDesignators(const ASTContext &C, const Designator *Desigs,
5250
                      unsigned NumDesigs);
5251
5252
  Expr *getArrayIndex(const Designator &D) const;
5253
  Expr *getArrayRangeStart(const Designator &D) const;
5254
  Expr *getArrayRangeEnd(const Designator &D) const;
5255
5256
  /// Retrieve the location of the '=' that precedes the
5257
  /// initializer value itself, if present.
5258
513
  SourceLocation getEqualOrColonLoc() const { return EqualOrColonLoc; }
5259
38
  void setEqualOrColonLoc(SourceLocation L) { EqualOrColonLoc = L; }
5260
5261
  /// Whether this designated initializer should result in direct-initialization
5262
  /// of the designated subobject (eg, '{.foo{1, 2, 3}}').
5263
4.24k
  bool isDirectInit() const { return EqualOrColonLoc.isInvalid(); }
5264
5265
  /// Determines whether this designated initializer used the
5266
  /// deprecated GNU syntax for designated initializers.
5267
709
  bool usesGNUSyntax() const { return GNUSyntax; }
5268
38
  void setGNUSyntax(bool GNU) { GNUSyntax = GNU; }
5269
5270
  /// Retrieve the initializer value.
5271
12.3k
  Expr *getInit() const {
5272
12.3k
    return cast<Expr>(*const_cast<DesignatedInitExpr*>(this)->child_begin());
5273
12.3k
  }
5274
5275
229
  void setInit(Expr *init) {
5276
229
    *child_begin() = init;
5277
229
  }
5278
5279
  /// Retrieve the total number of subexpressions in this
5280
  /// designated initializer expression, including the actual
5281
  /// initialized value and any expressions that occur within array
5282
  /// and array-range designators.
5283
546
  unsigned getNumSubExprs() const { return NumSubExprs; }
5284
5285
1.61k
  Expr *getSubExpr(unsigned Idx) const {
5286
1.61k
    assert(Idx < NumSubExprs && "Subscript out of range");
5287
0
    return cast<Expr>(getTrailingObjects<Stmt *>()[Idx]);
5288
1.61k
  }
5289
5290
43
  void setSubExpr(unsigned Idx, Expr *E) {
5291
43
    assert(Idx < NumSubExprs && "Subscript out of range");
5292
0
    getTrailingObjects<Stmt *>()[Idx] = E;
5293
43
  }
5294
5295
  /// Replaces the designator at index @p Idx with the series
5296
  /// of designators in [First, Last).
5297
  void ExpandDesignator(const ASTContext &C, unsigned Idx,
5298
                        const Designator *First, const Designator *Last);
5299
5300
  SourceRange getDesignatorsSourceRange() const;
5301
5302
  SourceLocation getBeginLoc() const LLVM_READONLY;
5303
  SourceLocation getEndLoc() const LLVM_READONLY;
5304
5305
1.60M
  static bool classof(const Stmt *T) {
5306
1.60M
    return T->getStmtClass() == DesignatedInitExprClass;
5307
1.60M
  }
5308
5309
  // Iterators
5310
15.5k
  child_range children() {
5311
15.5k
    Stmt **begin = getTrailingObjects<Stmt *>();
5312
15.5k
    return child_range(begin, begin + NumSubExprs);
5313
15.5k
  }
5314
0
  const_child_range children() const {
5315
0
    Stmt * const *begin = getTrailingObjects<Stmt *>();
5316
0
    return const_child_range(begin, begin + NumSubExprs);
5317
0
  }
5318
5319
  friend TrailingObjects;
5320
};
5321
5322
/// Represents a place-holder for an object not to be initialized by
5323
/// anything.
5324
///
5325
/// This only makes sense when it appears as part of an updater of a
5326
/// DesignatedInitUpdateExpr (see below). The base expression of a DIUE
5327
/// initializes a big object, and the NoInitExpr's mark the spots within the
5328
/// big object not to be overwritten by the updater.
5329
///
5330
/// \see DesignatedInitUpdateExpr
5331
class NoInitExpr : public Expr {