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 18 namespace clang { 19 20 /// \brief The various types of exception specifications that exist in C++11. 21 enum 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 isDynamicExceptionSpec(ExceptionSpecificationType ESpecType)32 inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) { 33 return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny; 34 } 35 isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType)36 inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) { 37 return ESpecType == EST_BasicNoexcept || ESpecType == EST_ComputedNoexcept; 38 } 39 isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType)40 inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) { 41 return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated; 42 } 43 44 /// \brief Possible results from evaluation of a noexcept expression. 45 enum CanThrowResult { 46 CT_Cannot, 47 CT_Dependent, 48 CT_Can 49 }; 50 mergeCanThrow(CanThrowResult CT1,CanThrowResult CT2)51 inline 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