Coverage Report

Created: 2018-07-19 20:53

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