clang 20.0.0git
ExceptionSpecificationType.h
Go to the documentation of this file.
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
17namespace clang {
18
19/// The various types of exception specifications that exist in C++11.
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
36 return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
37}
38
40 return ESpecType >= EST_DependentNoexcept &&
41 ESpecType <= EST_NoexceptTrue;
42}
43
45 return ESpecType == EST_BasicNoexcept || ESpecType == EST_NoThrow ||
46 isComputedNoexcept(ESpecType);
47}
48
50 return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
51}
52
54 return ESpecType == EST_Dynamic || ESpecType == EST_MSAny ||
55 ESpecType == EST_NoexceptFalse;
56}
57
58/// Possible results from evaluation of a noexcept expression.
62 CT_Can
63};
64
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
The JSON file list parser is used to communicate input to InstallAPI.
CanThrowResult
Possible results from evaluation of a noexcept expression.
bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType)
bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType)
CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2)
bool isComputedNoexcept(ExceptionSpecificationType ESpecType)
bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType)
bool isExplicitThrowExceptionSpec(ExceptionSpecificationType ESpecType)
ExceptionSpecificationType
The various types of exception specifications that exist in C++11.
@ EST_DependentNoexcept
noexcept(expression), value-dependent
@ EST_DynamicNone
throw()
@ EST_Uninstantiated
not instantiated yet
@ EST_Unparsed
not parsed yet
@ EST_NoThrow
Microsoft __declspec(nothrow) extension.
@ EST_None
no exception specification
@ EST_MSAny
Microsoft throw(...) extension.
@ EST_BasicNoexcept
noexcept
@ EST_NoexceptFalse
noexcept(expression), evals to 'false'
@ EST_Unevaluated
not evaluated yet, for special member function
@ EST_NoexceptTrue
noexcept(expression), evals to 'true'
@ EST_Dynamic
throw(T1, T2)