exception_globals.h

Go to the documentation of this file.

#pragma once
 
#include <util/irep/irep.h>
 
class contextt;

namespace exception_globals
{
constexpr const char *thrown_id = "c:@__ESBMC_exc_thrown";
constexpr const char *typeid_id = "c:@__ESBMC_exc_typeid";
constexpr const char *value_id = "c:@__ESBMC_exc_value";
constexpr const char *uncaught_count_id = "c:@__ESBMC_exc_uncaught_count";
constexpr const char *site_id = "c:@__ESBMC_exc_site";
constexpr const char *terminate_reason_id = "c:@__ESBMC_exc_terminate_reason";

constexpr unsigned unattributed_site = 0;
constexpr const char *push_handled_id = "c:@F@__ESBMC_push_handled_exception";
constexpr const char *pop_handled_id = "c:@F@__ESBMC_pop_handled_exception";
constexpr const char *rethrow_current_id =
  "c:@F@__ESBMC_rethrow_current_exception";
 
enum terminate_reasont : unsigned
{
  terminate_reason_generic = 0,
  terminate_reason_uncaught = 1,
  terminate_reason_noexcept = 2,
  terminate_reason_exception_spec = 3,
  terminate_reason_no_active = 4,
  terminate_reason_unwinding = 5,
};
} // namespace exception_globals

void create_exception_state_symbols(contextt &context);