/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 |