__ESBMC_exception_detail Namespace Reference

Classes
struct	__ESBMC_exception_slot
struct	__ESBMC_handled_exception

Enumerations
enum	__ESBMC_terminate_reason {   __ESBMC_terminate_reason_generic = 0 , __ESBMC_terminate_reason_uncaught = 1 , __ESBMC_terminate_reason_noexcept = 2 , __ESBMC_terminate_reason_exception_spec = 3 ,   __ESBMC_terminate_reason_no_active = 4 }

Functions
void	__ESBMC_default_terminate_handler ()
void	__ESBMC_default_unexpected_handler ()
std::terminate_handler &	__ESBMC_terminate_handler_ref ()
std::unexpected_handler &	__ESBMC_unexpected_handler_ref ()

Variables
static __thread __ESBMC_exception_slot	__ESBMC_exception_slots [256]
static __thread __SIZE_TYPE__	__ESBMC_exception_slot_count = 0
static __thread __ESBMC_handled_exception	__ESBMC_handled_exceptions [256]
static __thread __SIZE_TYPE__	__ESBMC_handled_exception_depth = 0

Enumeration Type Documentation

__ESBMC_terminate_reason

enum __ESBMC_exception_detail::__ESBMC_terminate_reason

Enumerator
__ESBMC_terminate_reason_generic
__ESBMC_terminate_reason_uncaught
__ESBMC_terminate_reason_noexcept
__ESBMC_terminate_reason_exception_spec
__ESBMC_terminate_reason_no_active

Function Documentation

__ESBMC_default_terminate_handler()

void __ESBMC_exception_detail::__ESBMC_default_terminate_handler

(

)

__ESBMC_default_unexpected_handler()

void __ESBMC_exception_detail::__ESBMC_default_unexpected_handler

(

)

__ESBMC_terminate_handler_ref()

std::terminate_handler & __ESBMC_exception_detail::__ESBMC_terminate_handler_ref ( )

inline

__ESBMC_unexpected_handler_ref()

std::unexpected_handler & __ESBMC_exception_detail::__ESBMC_unexpected_handler_ref ( )

inline

Variable Documentation

__ESBMC_exception_slot_count

__thread __SIZE_TYPE__ __ESBMC_exception_detail::__ESBMC_exception_slot_count = 0

static

__ESBMC_exception_slots

__thread __ESBMC_exception_slot __ESBMC_exception_detail::__ESBMC_exception_slots[256]

static

__ESBMC_handled_exception_depth

__thread __SIZE_TYPE__ __ESBMC_exception_detail::__ESBMC_handled_exception_depth = 0

static

__ESBMC_handled_exceptions

__thread __ESBMC_handled_exception __ESBMC_exception_detail::__ESBMC_handled_exceptions[256]

static