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 inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
36   return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
37 }
38 
39 inline bool isComputedNoexcept(ExceptionSpecificationType ESpecType) {
40   return ESpecType >= EST_DependentNoexcept &&
41          ESpecType <= EST_NoexceptTrue;
42 }
43 
44 inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
45   return ESpecType == EST_BasicNoexcept || ESpecType == EST_NoThrow ||
46          isComputedNoexcept(ESpecType);
47 }
48 
49 inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) {
50   return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
51 }
52 
53 inline bool isExplicitThrowExceptionSpec(ExceptionSpecificationType ESpecType) {
54   return ESpecType == EST_Dynamic || ESpecType == EST_MSAny ||
55          ESpecType == EST_NoexceptFalse;
56 }
57 
58 /// Possible results from evaluation of a noexcept expression.
59 enum CanThrowResult {
60   CT_Cannot,
61   CT_Dependent,
62   CT_Can
63 };
64 
65 inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
66   // CanThrowResult constants are ordered so that the maximum is the correct
67   // merge result.
68   return CT1 > CT2 ? CT1 : CT2;
69 }
70 
71 } // end namespace clang
72 
73 #endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
74