Coverage Report

Created: 2022-05-21 09:15

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/AST/StmtCXX.h
Line
Count
Source (jump to first uncovered line)
1
//===--- StmtCXX.h - Classes for representing C++ statements ----*- 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 C++ statement AST node classes.
10
//
11
//===----------------------------------------------------------------------===//
12
13
#ifndef LLVM_CLANG_AST_STMTCXX_H
14
#define LLVM_CLANG_AST_STMTCXX_H
15
16
#include "clang/AST/DeclarationName.h"
17
#include "clang/AST/Expr.h"
18
#include "clang/AST/NestedNameSpecifier.h"
19
#include "clang/AST/Stmt.h"
20
#include "llvm/Support/Compiler.h"
21
22
namespace clang {
23
24
class VarDecl;
25
26
/// CXXCatchStmt - This represents a C++ catch block.
27
///
28
class CXXCatchStmt : public Stmt {
29
  SourceLocation CatchLoc;
30
  /// The exception-declaration of the type.
31
  VarDecl *ExceptionDecl;
32
  /// The handler block.
33
  Stmt *HandlerBlock;
34
35
public:
36
  CXXCatchStmt(SourceLocation catchLoc, VarDecl *exDecl, Stmt *handlerBlock)
37
  : Stmt(CXXCatchStmtClass), CatchLoc(catchLoc), ExceptionDecl(exDecl),
38
12.1k
    HandlerBlock(handlerBlock) {}
39
40
  CXXCatchStmt(EmptyShell Empty)
41
22
  : Stmt(CXXCatchStmtClass), ExceptionDecl(nullptr), HandlerBlock(nullptr) {}
42
43
259
  SourceLocation getBeginLoc() const LLVM_READONLY { return CatchLoc; }
44
573
  SourceLocation getEndLoc() const LLVM_READONLY {
45
573
    return HandlerBlock->getEndLoc();
46
573
  }
47
48
1.13k
  SourceLocation getCatchLoc() const { return CatchLoc; }
49
16.3k
  VarDecl *getExceptionDecl() const { return ExceptionDecl; }
50
  QualType getCaughtType() const;
51
2.19k
  Stmt *getHandlerBlock() const { return HandlerBlock; }
52
53
75
  static bool classof(const Stmt *T) {
54
75
    return T->getStmtClass() == CXXCatchStmtClass;
55
75
  }
56
57
2.33k
  child_range children() { return child_range(&HandlerBlock, &HandlerBlock+1); }
58
59
0
  const_child_range children() const {
60
0
    return const_child_range(&HandlerBlock, &HandlerBlock + 1);
61
0
  }
62
63
  friend class ASTStmtReader;
64
};
65
66
/// CXXTryStmt - A C++ try block, including all handlers.
67
///
68
class CXXTryStmt final : public Stmt,
69
                         private llvm::TrailingObjects<CXXTryStmt, Stmt *> {
70
71
  friend TrailingObjects;
72
  friend class ASTStmtReader;
73
74
  SourceLocation TryLoc;
75
  unsigned NumHandlers;
76
0
  size_t numTrailingObjects(OverloadToken<Stmt *>) const { return NumHandlers; }
77
78
  CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock, ArrayRef<Stmt*> handlers);
79
  CXXTryStmt(EmptyShell Empty, unsigned numHandlers)
80
22
    : Stmt(CXXTryStmtClass), NumHandlers(numHandlers) { }
81
82
1.38k
  Stmt *const *getStmts() const { return getTrailingObjects<Stmt *>(); }
83
20.2k
  Stmt **getStmts() { return getTrailingObjects<Stmt *>(); }
84
85
public:
86
  static CXXTryStmt *Create(const ASTContext &C, SourceLocation tryLoc,
87
                            Stmt *tryBlock, ArrayRef<Stmt*> handlers);
88
89
  static CXXTryStmt *Create(const ASTContext &C, EmptyShell Empty,
90
                            unsigned numHandlers);
91
92
370
  SourceLocation getBeginLoc() const LLVM_READONLY { return getTryLoc(); }
93
94
1.51k
  SourceLocation getTryLoc() const { return TryLoc; }
95
414
  SourceLocation getEndLoc() const {
96
414
    return getStmts()[NumHandlers]->getEndLoc();
97
414
  }
98
99
1.89k
  CompoundStmt *getTryBlock() {
100
1.89k
    return cast<CompoundStmt>(getStmts()[0]);
101
1.89k
  }
102
309
  const CompoundStmt *getTryBlock() const {
103
309
    return cast<CompoundStmt>(getStmts()[0]);
104
309
  }
105
106
5.45k
  unsigned getNumHandlers() const { return NumHandlers; }
107
1.71k
  CXXCatchStmt *getHandler(unsigned i) {
108
1.71k
    return cast<CXXCatchStmt>(getStmts()[i + 1]);
109
1.71k
  }
110
660
  const CXXCatchStmt *getHandler(unsigned i) const {
111
660
    return cast<CXXCatchStmt>(getStmts()[i + 1]);
112
660
  }
113
114
391k
  static bool classof(const Stmt *T) {
115
391k
    return T->getStmtClass() == CXXTryStmtClass;
116
391k
  }
117
118
2.28k
  child_range children() {
119
2.28k
    return child_range(getStmts(), getStmts() + getNumHandlers() + 1);
120
2.28k
  }
121
122
0
  const_child_range children() const {
123
0
    return const_child_range(getStmts(), getStmts() + getNumHandlers() + 1);
124
0
  }
125
};
126
127
/// CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for
128
/// statement, represented as 'for (range-declarator : range-expression)'
129
/// or 'for (init-statement range-declarator : range-expression)'.
130
///
131
/// This is stored in a partially-desugared form to allow full semantic
132
/// analysis of the constituent components. The original syntactic components
133
/// can be extracted using getLoopVariable and getRangeInit.
134
class CXXForRangeStmt : public Stmt {
135
  SourceLocation ForLoc;
136
  enum { INIT, RANGE, BEGINSTMT, ENDSTMT, COND, INC, LOOPVAR, BODY, END };
137
  // SubExprs[RANGE] is an expression or declstmt.
138
  // SubExprs[COND] and SubExprs[INC] are expressions.
139
  Stmt *SubExprs[END];
140
  SourceLocation CoawaitLoc;
141
  SourceLocation ColonLoc;
142
  SourceLocation RParenLoc;
143
144
  friend class ASTStmtReader;
145
public:
146
  CXXForRangeStmt(Stmt *InitStmt, DeclStmt *Range, DeclStmt *Begin,
147
                  DeclStmt *End, Expr *Cond, Expr *Inc, DeclStmt *LoopVar,
148
                  Stmt *Body, SourceLocation FL, SourceLocation CAL,
149
                  SourceLocation CL, SourceLocation RPL);
150
358
  CXXForRangeStmt(EmptyShell Empty) : Stmt(CXXForRangeStmtClass, Empty) { }
151
152
1.17k
  Stmt *getInit() { return SubExprs[INIT]; }
153
  VarDecl *getLoopVariable();
154
  Expr *getRangeInit();
155
156
242
  const Stmt *getInit() const { return SubExprs[INIT]; }
157
  const VarDecl *getLoopVariable() const;
158
  const Expr *getRangeInit() const;
159
160
161
1.73k
  DeclStmt *getRangeStmt() { return cast<DeclStmt>(SubExprs[RANGE]); }
162
1.04k
  DeclStmt *getBeginStmt() {
163
1.04k
    return cast_or_null<DeclStmt>(SubExprs[BEGINSTMT]);
164
1.04k
  }
165
969
  DeclStmt *getEndStmt() { return cast_or_null<DeclStmt>(SubExprs[ENDSTMT]); }
166
1.37k
  Expr *getCond() { return cast_or_null<Expr>(SubExprs[COND]); }
167
835
  Expr *getInc() { return cast_or_null<Expr>(SubExprs[INC]); }
168
1.76k
  DeclStmt *getLoopVarStmt() { return cast<DeclStmt>(SubExprs[LOOPVAR]); }
169
2.79k
  Stmt *getBody() { return SubExprs[BODY]; }
170
171
311
  const DeclStmt *getRangeStmt() const {
172
311
    return cast<DeclStmt>(SubExprs[RANGE]);
173
311
  }
174
282
  const DeclStmt *getBeginStmt() const {
175
282
    return cast_or_null<DeclStmt>(SubExprs[BEGINSTMT]);
176
282
  }
177
287
  const DeclStmt *getEndStmt() const {
178
287
    return cast_or_null<DeclStmt>(SubExprs[ENDSTMT]);
179
287
  }
180
1.18k
  const Expr *getCond() const {
181
1.18k
    return cast_or_null<Expr>(SubExprs[COND]);
182
1.18k
  }
183
709
  const Expr *getInc() const {
184
709
    return cast_or_null<Expr>(SubExprs[INC]);
185
709
  }
186
450
  const DeclStmt *getLoopVarStmt() const {
187
450
    return cast<DeclStmt>(SubExprs[LOOPVAR]);
188
450
  }
189
617
  const Stmt *getBody() const { return SubExprs[BODY]; }
190
191
358
  void setInit(Stmt *S) { SubExprs[INIT] = S; }
192
0
  void setRangeInit(Expr *E) { SubExprs[RANGE] = reinterpret_cast<Stmt*>(E); }
193
358
  void setRangeStmt(Stmt *S) { SubExprs[RANGE] = S; }
194
358
  void setBeginStmt(Stmt *S) { SubExprs[BEGINSTMT] = S; }
195
358
  void setEndStmt(Stmt *S) { SubExprs[ENDSTMT] = S; }
196
358
  void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); }
197
358
  void setInc(Expr *E) { SubExprs[INC] = reinterpret_cast<Stmt*>(E); }
198
358
  void setLoopVarStmt(Stmt *S) { SubExprs[LOOPVAR] = S; }
199
1.76k
  void setBody(Stmt *S) { SubExprs[BODY] = S; }
200
201
629
  SourceLocation getForLoc() const { return ForLoc; }
202
544
  SourceLocation getCoawaitLoc() const { return CoawaitLoc; }
203
570
  SourceLocation getColonLoc() const { return ColonLoc; }
204
1.95k
  SourceLocation getRParenLoc() const { return RParenLoc; }
205
206
4.28k
  SourceLocation getBeginLoc() const LLVM_READONLY { return ForLoc; }
207
751
  SourceLocation getEndLoc() const LLVM_READONLY {
208
751
    return SubExprs[BODY]->getEndLoc();
209
751
  }
210
211
406k
  static bool classof(const Stmt *T) {
212
406k
    return T->getStmtClass() == CXXForRangeStmtClass;
213
406k
  }
214
215
  // Iterators
216
777
  child_range children() {
217
777
    return child_range(&SubExprs[0], &SubExprs[END]);
218
777
  }
219
220
0
  const_child_range children() const {
221
0
    return const_child_range(&SubExprs[0], &SubExprs[END]);
222
0
  }
223
};
224
225
/// Representation of a Microsoft __if_exists or __if_not_exists
226
/// statement with a dependent name.
227
///
228
/// The __if_exists statement can be used to include a sequence of statements
229
/// in the program only when a particular dependent name does not exist. For
230
/// example:
231
///
232
/// \code
233
/// template<typename T>
234
/// void call_foo(T &t) {
235
///   __if_exists (T::foo) {
236
///     t.foo(); // okay: only called when T::foo exists.
237
///   }
238
/// }
239
/// \endcode
240
///
241
/// Similarly, the __if_not_exists statement can be used to include the
242
/// statements when a particular name does not exist.
243
///
244
/// Note that this statement only captures __if_exists and __if_not_exists
245
/// statements whose name is dependent. All non-dependent cases are handled
246
/// directly in the parser, so that they don't introduce a new scope. Clang
247
/// introduces scopes in the dependent case to keep names inside the compound
248
/// statement from leaking out into the surround statements, which would
249
/// compromise the template instantiation model. This behavior differs from
250
/// Visual C++ (which never introduces a scope), but is a fairly reasonable
251
/// approximation of the VC++ behavior.
252
class MSDependentExistsStmt : public Stmt {
253
  SourceLocation KeywordLoc;
254
  bool IsIfExists;
255
  NestedNameSpecifierLoc QualifierLoc;
256
  DeclarationNameInfo NameInfo;
257
  Stmt *SubStmt;
258
259
  friend class ASTReader;
260
  friend class ASTStmtReader;
261
262
public:
263
  MSDependentExistsStmt(SourceLocation KeywordLoc, bool IsIfExists,
264
                        NestedNameSpecifierLoc QualifierLoc,
265
                        DeclarationNameInfo NameInfo,
266
                        CompoundStmt *SubStmt)
267
  : Stmt(MSDependentExistsStmtClass),
268
    KeywordLoc(KeywordLoc), IsIfExists(IsIfExists),
269
    QualifierLoc(QualifierLoc), NameInfo(NameInfo),
270
12
    SubStmt(reinterpret_cast<Stmt *>(SubStmt)) { }
271
272
  /// Retrieve the location of the __if_exists or __if_not_exists
273
  /// keyword.
274
10
  SourceLocation getKeywordLoc() const { return KeywordLoc; }
275
276
  /// Determine whether this is an __if_exists statement.
277
14
  bool isIfExists() const { return IsIfExists; }
278
279
  /// Determine whether this is an __if_exists statement.
280
6
  bool isIfNotExists() const { return !IsIfExists; }
281
282
  /// Retrieve the nested-name-specifier that qualifies this name, if
283
  /// any.
284
46
  NestedNameSpecifierLoc getQualifierLoc() const { return QualifierLoc; }
285
286
  /// Retrieve the name of the entity we're testing for, along with
287
  /// location information
288
22
  DeclarationNameInfo getNameInfo() const { return NameInfo; }
289
290
  /// Retrieve the compound statement that will be included in the
291
  /// program only if the existence of the symbol matches the initial keyword.
292
12
  CompoundStmt *getSubStmt() const {
293
12
    return reinterpret_cast<CompoundStmt *>(SubStmt);
294
12
  }
295
296
34
  SourceLocation getBeginLoc() const LLVM_READONLY { return KeywordLoc; }
297
34
  SourceLocation getEndLoc() const LLVM_READONLY {
298
34
    return SubStmt->getEndLoc();
299
34
  }
300
301
4
  child_range children() {
302
4
    return child_range(&SubStmt, &SubStmt+1);
303
4
  }
304
305
0
  const_child_range children() const {
306
0
    return const_child_range(&SubStmt, &SubStmt + 1);
307
0
  }
308
309
0
  static bool classof(const Stmt *T) {
310
0
    return T->getStmtClass() == MSDependentExistsStmtClass;
311
0
  }
312
};
313
314
/// Represents the body of a coroutine. This wraps the normal function
315
/// body and holds the additional semantic context required to set up and tear
316
/// down the coroutine frame.
317
class CoroutineBodyStmt final
318
    : public Stmt,
319
      private llvm::TrailingObjects<CoroutineBodyStmt, Stmt *> {
320
  enum SubStmt {
321
    Body,          ///< The body of the coroutine.
322
    Promise,       ///< The promise statement.
323
    InitSuspend,   ///< The initial suspend statement, run before the body.
324
    FinalSuspend,  ///< The final suspend statement, run after the body.
325
    OnException,   ///< Handler for exceptions thrown in the body.
326
    OnFallthrough, ///< Handler for control flow falling off the body.
327
    Allocate,      ///< Coroutine frame memory allocation.
328
    Deallocate,    ///< Coroutine frame memory deallocation.
329
    ReturnValue,   ///< Return value for thunk function: p.get_return_object().
330
    ReturnStmt,    ///< Return statement for the thunk function.
331
    ReturnStmtOnAllocFailure, ///< Return statement if allocation failed.
332
    FirstParamMove ///< First offset for move construction of parameter copies.
333
  };
334
  unsigned NumParams;
335
336
  friend class ASTStmtReader;
337
  friend class ASTReader;
338
  friend TrailingObjects;
339
340
1.22k
  Stmt **getStoredStmts() { return getTrailingObjects<Stmt *>(); }
341
342
7.91k
  Stmt *const *getStoredStmts() const { return getTrailingObjects<Stmt *>(); }
343
344
public:
345
346
  struct CtorArgs {
347
    Stmt *Body = nullptr;
348
    Stmt *Promise = nullptr;
349
    Expr *InitialSuspend = nullptr;
350
    Expr *FinalSuspend = nullptr;
351
    Stmt *OnException = nullptr;
352
    Stmt *OnFallthrough = nullptr;
353
    Expr *Allocate = nullptr;
354
    Expr *Deallocate = nullptr;
355
    Expr *ReturnValue = nullptr;
356
    Stmt *ReturnStmt = nullptr;
357
    Stmt *ReturnStmtOnAllocFailure = nullptr;
358
    ArrayRef<Stmt *> ParamMoves;
359
  };
360
361
private:
362
363
  CoroutineBodyStmt(CtorArgs const& Args);
364
365
public:
366
  static CoroutineBodyStmt *Create(const ASTContext &C, CtorArgs const &Args);
367
  static CoroutineBodyStmt *Create(const ASTContext &C, EmptyShell,
368
                                   unsigned NumParams);
369
370
204
  bool hasDependentPromiseType() const {
371
204
    return getPromiseDecl()->getType()->isDependentType();
372
204
  }
373
374
  /// Retrieve the body of the coroutine as written. This will be either
375
  /// a CompoundStmt or a TryStmt.
376
3.26k
  Stmt *getBody() const {
377
3.26k
    return getStoredStmts()[SubStmt::Body];
378
3.26k
  }
379
380
665
  Stmt *getPromiseDeclStmt() const {
381
665
    return getStoredStmts()[SubStmt::Promise];
382
665
  }
383
553
  VarDecl *getPromiseDecl() const {
384
553
    return cast<VarDecl>(cast<DeclStmt>(getPromiseDeclStmt())->getSingleDecl());
385
553
  }
386
387
349
  Stmt *getInitSuspendStmt() const {
388
349
    return getStoredStmts()[SubStmt::InitSuspend];
389
349
  }
390
345
  Stmt *getFinalSuspendStmt() const {
391
345
    return getStoredStmts()[SubStmt::FinalSuspend];
392
345
  }
393
394
296
  Stmt *getExceptionHandler() const {
395
296
    return getStoredStmts()[SubStmt::OnException];
396
296
  }
397
385
  Stmt *getFallthroughHandler() const {
398
385
    return getStoredStmts()[SubStmt::OnFallthrough];
399
385
  }
400
401
160
  Expr *getAllocate() const {
402
160
    return cast_or_null<Expr>(getStoredStmts()[SubStmt::Allocate]);
403
160
  }
404
320
  Expr *getDeallocate() const {
405
320
    return cast_or_null<Expr>(getStoredStmts()[SubStmt::Deallocate]);
406
320
  }
407
204
  Expr *getReturnValueInit() const {
408
204
    return cast<Expr>(getStoredStmts()[SubStmt::ReturnValue]);
409
204
  }
410
108
  Expr *getReturnValue() const {
411
108
    assert(getReturnStmt());
412
0
    auto *RS = cast<clang::ReturnStmt>(getReturnStmt());
413
108
    return RS->getRetValue();
414
108
  }
415
464
  Stmt *getReturnStmt() const { return getStoredStmts()[SubStmt::ReturnStmt]; }
416
296
  Stmt *getReturnStmtOnAllocFailure() const {
417
296
    return getStoredStmts()[SubStmt::ReturnStmtOnAllocFailure];
418
296
  }
419
1.16k
  ArrayRef<Stmt const *> getParamMoves() const {
420
1.16k
    return {getStoredStmts() + SubStmt::FirstParamMove, NumParams};
421
1.16k
  }
422
423
198
  SourceLocation getBeginLoc() const LLVM_READONLY {
424
198
    return getBody() ? getBody()->getBeginLoc()
425
198
                     : 
getPromiseDecl()->getBeginLoc()0
;
426
198
  }
427
1.23k
  SourceLocation getEndLoc() const LLVM_READONLY {
428
1.23k
    return getBody() ? getBody()->getEndLoc() : 
getPromiseDecl()->getEndLoc()0
;
429
1.23k
  }
430
431
141
  child_range children() {
432
141
    return child_range(getStoredStmts(),
433
141
                       getStoredStmts() + SubStmt::FirstParamMove + NumParams);
434
141
  }
435
436
0
  const_child_range children() const {
437
0
    return const_child_range(getStoredStmts(), getStoredStmts() +
438
0
                                                   SubStmt::FirstParamMove +
439
0
                                                   NumParams);
440
0
  }
441
442
7.70M
  static bool classof(const Stmt *T) {
443
7.70M
    return T->getStmtClass() == CoroutineBodyStmtClass;
444
7.70M
  }
445
};
446
447
/// Represents a 'co_return' statement in the C++ Coroutines TS.
448
///
449
/// This statament models the initialization of the coroutine promise
450
/// (encapsulating the eventual notional return value) from an expression
451
/// (or braced-init-list), followed by termination of the coroutine.
452
///
453
/// This initialization is modeled by the evaluation of the operand
454
/// followed by a call to one of:
455
///   <promise>.return_value(<operand>)
456
///   <promise>.return_void()
457
/// which we name the "promise call".
458
class CoreturnStmt : public Stmt {
459
  SourceLocation CoreturnLoc;
460
461
  enum SubStmt { Operand, PromiseCall, Count };
462
  Stmt *SubStmts[SubStmt::Count];
463
464
  bool IsImplicit : 1;
465
466
  friend class ASTStmtReader;
467
public:
468
  CoreturnStmt(SourceLocation CoreturnLoc, Stmt *Operand, Stmt *PromiseCall,
469
               bool IsImplicit = false)
470
      : Stmt(CoreturnStmtClass), CoreturnLoc(CoreturnLoc),
471
850
        IsImplicit(IsImplicit) {
472
850
    SubStmts[SubStmt::Operand] = Operand;
473
850
    SubStmts[SubStmt::PromiseCall] = PromiseCall;
474
850
  }
475
476
4
  CoreturnStmt(EmptyShell) : CoreturnStmt({}, {}, {}) {}
Unexecuted instantiation: clang::CoreturnStmt::CoreturnStmt(clang::Stmt::EmptyShell)
clang::CoreturnStmt::CoreturnStmt(clang::Stmt::EmptyShell)
Line
Count
Source
476
4
  CoreturnStmt(EmptyShell) : CoreturnStmt({}, {}, {}) {}
477
478
61
  SourceLocation getKeywordLoc() const { return CoreturnLoc; }
479
480
  /// Retrieve the operand of the 'co_return' statement. Will be nullptr
481
  /// if none was specified.
482
449
  Expr *getOperand() const { return static_cast<Expr*>(SubStmts[Operand]); }
483
484
  /// Retrieve the promise call that results from this 'co_return'
485
  /// statement. Will be nullptr if either the coroutine has not yet been
486
  /// finalized or the coroutine has no eventual return type.
487
113
  Expr *getPromiseCall() const {
488
113
    return static_cast<Expr*>(SubStmts[PromiseCall]);
489
113
  }
490
491
61
  bool isImplicit() const { return IsImplicit; }
492
0
  void setIsImplicit(bool value = true) { IsImplicit = value; }
493
494
53
  SourceLocation getBeginLoc() const LLVM_READONLY { return CoreturnLoc; }
495
22
  SourceLocation getEndLoc() const LLVM_READONLY {
496
22
    return getOperand() ? 
getOperand()->getEndLoc()2
:
getBeginLoc()20
;
497
22
  }
498
499
246
  child_range children() {
500
246
    if (!getOperand())
501
197
      return child_range(SubStmts + SubStmt::PromiseCall,
502
197
                         SubStmts + SubStmt::Count);
503
49
    return child_range(SubStmts, SubStmts + SubStmt::Count);
504
246
  }
505
506
0
  const_child_range children() const {
507
0
    if (!getOperand())
508
0
      return const_child_range(SubStmts + SubStmt::PromiseCall,
509
0
                               SubStmts + SubStmt::Count);
510
0
    return const_child_range(SubStmts, SubStmts + SubStmt::Count);
511
0
  }
512
513
398
  static bool classof(const Stmt *T) {
514
398
    return T->getStmtClass() == CoreturnStmtClass;
515
398
  }
516
};
517
518
}  // end namespace clang
519
520
#endif