1//===--- ExceptionSpecificationType.h ---------------------------*- 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/// \file
11/// Defines the ExceptionSpecificationType enumeration and various
12/// utility functions.
13///
14//===----------------------------------------------------------------------===//
15#ifndef LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
16#define LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
17
18namespace clang {
19
20/// The various types of exception specifications that exist in C++11.
21enum ExceptionSpecificationType {
22 EST_None, ///< no exception specification
23 EST_DynamicNone, ///< throw()
24 EST_Dynamic, ///< throw(T1, T2)
25 EST_MSAny, ///< Microsoft throw(...) 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
35inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
36 return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
37}
38
39inline bool isComputedNoexcept(ExceptionSpecificationType ESpecType) {
40 return ESpecType >= EST_DependentNoexcept &&
41 ESpecType <= EST_NoexceptTrue;
42}
43
44inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
45 return ESpecType == EST_BasicNoexcept || isComputedNoexcept(ESpecType);
46}
47
48inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) {
49 return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
50}
51
52/// Possible results from evaluation of a noexcept expression.
53enum CanThrowResult {
54 CT_Cannot,
55 CT_Dependent,
56 CT_Can
57};
58
59inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
60 // CanThrowResult constants are ordered so that the maximum is the correct
61 // merge result.
62 return CT1 > CT2 ? CT1 : CT2;
63}
64
65} // end namespace clang
66
67#endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
68