exception.cpp File Reference

Classes
struct	__ESBMC_exception_detail::__ESBMC_exception_slot
struct	__ESBMC_exception_detail::__ESBMC_handled_exception

Namespaces
namespace	__ESBMC_exception_detail
namespace	std

Typedefs
typedef void(*	std::terminate_handler) ()
typedef void(*	std::unexpected_handler) ()

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

Functions
void	std::terminate () noexcept
void	__ESBMC_exception_detail::__ESBMC_default_terminate_handler ()
void	__ESBMC_exception_detail::__ESBMC_default_unexpected_handler ()
std::terminate_handler &	__ESBMC_exception_detail::__ESBMC_terminate_handler_ref ()
std::unexpected_handler &	__ESBMC_exception_detail::__ESBMC_unexpected_handler_ref ()
void	__ESBMC_run_unexpected ()
void *	__ESBMC_current_exception_raw ()
void	__ESBMC_push_handled_exception ()
void	__ESBMC_pop_handled_exception ()
void	__ESBMC_rethrow_current_exception ()
void	__ESBMC_rethrow_exception_raw (void *ptr)
terminate_handler	std::set_terminate (terminate_handler f) noexcept
terminate_handler	std::get_terminate () noexcept
unexpected_handler	std::set_unexpected (unexpected_handler f) noexcept
unexpected_handler	std::get_unexpected () noexcept
void	std::unexpected ()
bool	std::uncaught_exception () noexcept
int	std::uncaught_exceptions () noexcept

Variables
__thread bool	__ESBMC_exc_thrown
__thread __SIZE_TYPE__	__ESBMC_exc_typeid
__thread void *	__ESBMC_exc_value
__thread __SIZE_TYPE__	__ESBMC_exc_uncaught_count
__thread __SIZE_TYPE__	__ESBMC_exc_terminate_reason
static __thread __ESBMC_exception_slot	__ESBMC_exception_detail::__ESBMC_exception_slots [256]
static __thread __SIZE_TYPE__	__ESBMC_exception_detail::__ESBMC_exception_slot_count = 0
static __thread __ESBMC_handled_exception	__ESBMC_exception_detail::__ESBMC_handled_exceptions [256]
static __thread __SIZE_TYPE__	__ESBMC_exception_detail::__ESBMC_handled_exception_depth = 0

Function Documentation

__ESBMC_current_exception_raw()

void * __ESBMC_current_exception_raw

(

)

__ESBMC_pop_handled_exception()

void __ESBMC_pop_handled_exception

(

)

__ESBMC_push_handled_exception()

void __ESBMC_push_handled_exception

(

)

__ESBMC_rethrow_current_exception()

void __ESBMC_rethrow_current_exception

(

)

__ESBMC_rethrow_exception_raw()

void __ESBMC_rethrow_exception_raw

(

void *

ptr

)

__ESBMC_run_unexpected()

void __ESBMC_run_unexpected

(

)

Variable Documentation

__ESBMC_exc_terminate_reason

__thread __SIZE_TYPE__ __ESBMC_exc_terminate_reason

__ESBMC_exc_thrown

__thread bool __ESBMC_exc_thrown

__ESBMC_exc_typeid

__thread __SIZE_TYPE__ __ESBMC_exc_typeid

__ESBMC_exc_uncaught_count

__thread __SIZE_TYPE__ __ESBMC_exc_uncaught_count

__ESBMC_exc_value

__thread void* __ESBMC_exc_value