clang  8.0.0svn
ExceptionSpecificationType.h
Go to the documentation of this file.
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 
18 namespace clang {
19 
20 /// The various types of exception specifications that exist in C++11.
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 
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 || isComputedNoexcept(ESpecType);
46 }
47 
49  return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
50 }
51 
52 /// Possible results from evaluation of a noexcept expression.
57 };
58 
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
bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType)
no exception specification
noexcept(expression), value-dependent
bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType)
Microsoft throw(...) extension.
CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2)
noexcept(expression), evals to &#39;false&#39;
CanThrowResult
Possible results from evaluation of a noexcept expression.
bool isComputedNoexcept(ExceptionSpecificationType ESpecType)
Dataflow Directional Tag Classes.
not evaluated yet, for special member function
ExceptionSpecificationType
The various types of exception specifications that exist in C++11.
bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType)
noexcept(expression), evals to &#39;true&#39;