ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
gcc.hpp File Reference

Go to the source code of this file.

Macros

#define BOOST_NO_MEMBER_TEMPLATES
#define BOOST_NO_SFINAE
#define BOOST_NO_MEMBER_TEMPLATE_FRIENDS
#define BOOST_NO_OPERATORS_IN_NAMESPACE
#define BOOST_NO_USING_DECLARATION_OVERLOADS_FROM_TYPENAME_BASE
#define BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL
#define BOOST_NO_IS_ABSTRACT
#define BOOST_NO_CXX11_EXTERN_TEMPLATE
#define BOOST_NO_CXX11_VARIADIC_MACROS
#define BOOST_NO_TWO_PHASE_NAME_LOOKUP
#define BOOST_NO_COMPLETE_VALUE_INITIALIZATION
#define BOOST_NO_EXCEPTIONS
#define BOOST_HAS_THREADS
#define BOOST_HAS_LONG_LONG
#define BOOST_SYMBOL_EXPORT
#define BOOST_NO_CXX11_DECLTYPE
#define BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS
#define BOOST_NO_CXX11_RVALUE_REFERENCES
#define BOOST_NO_CXX11_STATIC_ASSERT
#define BOOST_NO_CXX11_VARIADIC_TEMPLATES
#define BOOST_NO_CXX11_AUTO_DECLARATIONS
#define BOOST_NO_CXX11_AUTO_MULTIDECLARATIONS
#define BOOST_NO_CXX11_CHAR16_T
#define BOOST_NO_CXX11_CHAR32_T
#define BOOST_NO_CXX11_HDR_INITIALIZER_LIST
#define BOOST_NO_CXX11_DEFAULTED_FUNCTIONS
#define BOOST_NO_CXX11_DELETED_FUNCTIONS
#define BOOST_NO_SFINAE_EXPR
#define BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS
#define BOOST_NO_CXX11_LAMBDAS
#define BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS
#define BOOST_NO_CXX11_RAW_LITERALS
#define BOOST_NO_CXX11_UNICODE_LITERALS
#define BOOST_NO_CXX11_SCOPED_ENUMS
#define BOOST_NO_CXX11_CONSTEXPR
#define BOOST_NO_CXX11_NOEXCEPT
#define BOOST_NO_CXX11_NULLPTR
#define BOOST_NO_CXX11_RANGE_BASED_FOR
#define BOOST_NO_CXX11_UNIFIED_INITIALIZATION_SYNTAX
#define BOOST_NO_CXX11_TEMPLATE_ALIASES
#define BOOST_NO_CXX11_DECLTYPE_N3276
#define BOOST_COMPILER   "GNU C++ version " __VERSION__

Macro Definition Documentation

◆ BOOST_COMPILER

#define BOOST_COMPILER   "GNU C++ version " __VERSION__

◆ BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL

#define BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL

◆ BOOST_HAS_LONG_LONG

#define BOOST_HAS_LONG_LONG

◆ BOOST_HAS_THREADS

#define BOOST_HAS_THREADS

◆ BOOST_NO_COMPLETE_VALUE_INITIALIZATION

#define BOOST_NO_COMPLETE_VALUE_INITIALIZATION

◆ BOOST_NO_CXX11_AUTO_DECLARATIONS

#define BOOST_NO_CXX11_AUTO_DECLARATIONS

◆ BOOST_NO_CXX11_AUTO_MULTIDECLARATIONS

#define BOOST_NO_CXX11_AUTO_MULTIDECLARATIONS

◆ BOOST_NO_CXX11_CHAR16_T

#define BOOST_NO_CXX11_CHAR16_T

◆ BOOST_NO_CXX11_CHAR32_T

#define BOOST_NO_CXX11_CHAR32_T

◆ BOOST_NO_CXX11_CONSTEXPR

#define BOOST_NO_CXX11_CONSTEXPR

◆ BOOST_NO_CXX11_DECLTYPE

#define BOOST_NO_CXX11_DECLTYPE

◆ BOOST_NO_CXX11_DECLTYPE_N3276

#define BOOST_NO_CXX11_DECLTYPE_N3276

◆ BOOST_NO_CXX11_DEFAULTED_FUNCTIONS

#define BOOST_NO_CXX11_DEFAULTED_FUNCTIONS

◆ BOOST_NO_CXX11_DELETED_FUNCTIONS

#define BOOST_NO_CXX11_DELETED_FUNCTIONS

◆ BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS

#define BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS

◆ BOOST_NO_CXX11_EXTERN_TEMPLATE

#define BOOST_NO_CXX11_EXTERN_TEMPLATE

◆ BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS

#define BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS

◆ BOOST_NO_CXX11_HDR_INITIALIZER_LIST

#define BOOST_NO_CXX11_HDR_INITIALIZER_LIST

◆ BOOST_NO_CXX11_LAMBDAS

#define BOOST_NO_CXX11_LAMBDAS

◆ BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS

#define BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS

◆ BOOST_NO_CXX11_NOEXCEPT

#define BOOST_NO_CXX11_NOEXCEPT

◆ BOOST_NO_CXX11_NULLPTR

#define BOOST_NO_CXX11_NULLPTR

◆ BOOST_NO_CXX11_RANGE_BASED_FOR

#define BOOST_NO_CXX11_RANGE_BASED_FOR

◆ BOOST_NO_CXX11_RAW_LITERALS

#define BOOST_NO_CXX11_RAW_LITERALS

◆ BOOST_NO_CXX11_RVALUE_REFERENCES

#define BOOST_NO_CXX11_RVALUE_REFERENCES

◆ BOOST_NO_CXX11_SCOPED_ENUMS

#define BOOST_NO_CXX11_SCOPED_ENUMS

◆ BOOST_NO_CXX11_STATIC_ASSERT

#define BOOST_NO_CXX11_STATIC_ASSERT

◆ BOOST_NO_CXX11_TEMPLATE_ALIASES

#define BOOST_NO_CXX11_TEMPLATE_ALIASES

◆ BOOST_NO_CXX11_UNICODE_LITERALS

#define BOOST_NO_CXX11_UNICODE_LITERALS

◆ BOOST_NO_CXX11_UNIFIED_INITIALIZATION_SYNTAX

#define BOOST_NO_CXX11_UNIFIED_INITIALIZATION_SYNTAX

◆ BOOST_NO_CXX11_VARIADIC_MACROS

#define BOOST_NO_CXX11_VARIADIC_MACROS

◆ BOOST_NO_CXX11_VARIADIC_TEMPLATES

#define BOOST_NO_CXX11_VARIADIC_TEMPLATES

◆ BOOST_NO_EXCEPTIONS

#define BOOST_NO_EXCEPTIONS

◆ BOOST_NO_IS_ABSTRACT

#define BOOST_NO_IS_ABSTRACT

◆ BOOST_NO_MEMBER_TEMPLATE_FRIENDS

#define BOOST_NO_MEMBER_TEMPLATE_FRIENDS

◆ BOOST_NO_MEMBER_TEMPLATES

#define BOOST_NO_MEMBER_TEMPLATES

◆ BOOST_NO_OPERATORS_IN_NAMESPACE

#define BOOST_NO_OPERATORS_IN_NAMESPACE

◆ BOOST_NO_SFINAE

#define BOOST_NO_SFINAE

◆ BOOST_NO_SFINAE_EXPR

#define BOOST_NO_SFINAE_EXPR

◆ BOOST_NO_TWO_PHASE_NAME_LOOKUP

#define BOOST_NO_TWO_PHASE_NAME_LOOKUP

◆ BOOST_NO_USING_DECLARATION_OVERLOADS_FROM_TYPENAME_BASE

#define BOOST_NO_USING_DECLARATION_OVERLOADS_FROM_TYPENAME_BASE

◆ BOOST_SYMBOL_EXPORT

#define BOOST_SYMBOL_EXPORT