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/// \brief 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/// \brief 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_ComputedNoexcept, ///< noexcept(expression)
28  EST_Unevaluated,      ///< not evaluated yet, for special member function
29  EST_Uninstantiated    ///< not instantiated yet
30};
31
32inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
33  return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
34}
35
36inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
37  return ESpecType == EST_BasicNoexcept || ESpecType == EST_ComputedNoexcept;
38}
39
40inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) {
41  return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
42}
43
44/// \brief Possible results from evaluation of a noexcept expression.
45enum CanThrowResult {
46  CT_Cannot,
47  CT_Dependent,
48  CT_Can
49};
50
51inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
52  // CanThrowResult constants are ordered so that the maximum is the correct
53  // merge result.
54  return CT1 > CT2 ? CT1 : CT2;
55}
56
57} // end namespace clang
58
59#endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
60