Coverage Report

Created: 2023-05-31 04:38

/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/include/clang/Basic/ExceptionSpecificationType.h
Line
Count
Source
1
//===--- ExceptionSpecificationType.h ---------------------------*- 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
/// \file
10
/// Defines the ExceptionSpecificationType enumeration and various
11
/// utility functions.
12
///
13
//===----------------------------------------------------------------------===//
14
#ifndef LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
15
#define LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
16
17
namespace clang {
18
19
/// The various types of exception specifications that exist in C++11.
20
enum ExceptionSpecificationType {
21
  EST_None,             ///< no exception specification
22
  EST_DynamicNone,      ///< throw()
23
  EST_Dynamic,          ///< throw(T1, T2)
24
  EST_MSAny,            ///< Microsoft throw(...) extension
25
  EST_NoThrow,          ///< Microsoft __declspec(nothrow) extension
26
  EST_BasicNoexcept,    ///< noexcept
27
  EST_DependentNoexcept,///< noexcept(expression), value-dependent
28
  EST_NoexceptFalse,    ///< noexcept(expression), evals to 'false'
29
  EST_NoexceptTrue,     ///< noexcept(expression), evals to 'true'
30
  EST_Unevaluated,      ///< not evaluated yet, for special member function
31
  EST_Uninstantiated,   ///< not instantiated yet
32
  EST_Unparsed          ///< not parsed yet
33
};
34
35
54.0k
inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
36
54.0k
  return ESpecType >= EST_DynamicNone && 
ESpecType <= EST_MSAny3.96k
;
37
54.0k
}
38
39
309M
inline bool isComputedNoexcept(ExceptionSpecificationType ESpecType) {
40
309M
  return ESpecType >= EST_DependentNoexcept &&
41
309M
         
ESpecType <= EST_NoexceptTrue9.69M
;
42
309M
}
43
44
57.6k
inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
45
57.6k
  return ESpecType == EST_BasicNoexcept || 
ESpecType == EST_NoThrow55.4k
||
46
57.6k
         
isComputedNoexcept(ESpecType)55.4k
;
47
57.6k
}
48
49
21.4M
inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) {
50
21.4M
  return ESpecType == EST_Unevaluated || 
ESpecType == EST_Uninstantiated20.8M
;
51
21.4M
}
52
53
/// Possible results from evaluation of a noexcept expression.
54
enum CanThrowResult {
55
  CT_Cannot,
56
  CT_Dependent,
57
  CT_Can
58
};
59
60
120k
inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
61
  // CanThrowResult constants are ordered so that the maximum is the correct
62
  // merge result.
63
120k
  return CT1 > CT2 ? 
CT119.8k
:
CT2100k
;
64
120k
}
65
66
} // end namespace clang
67
68
#endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H