docs/api/clang__cpp__exception__id_8h_source.html

#ifndef ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_EXCEPTION_ID_H

#define ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_EXCEPTION_ID_H


#include <util/irep/std_types.h>

#include <util/symtab/namespace.h>

#include <string>

#include <vector>


void convert_exception_id(

  const namespacet &ns,

  const typet &type,

  const std::string &suffix,

  std::vector<irep_idt> &ids,

  bool is_catch = false);


bool finalize_exception_specification(const namespacet &ns, typet &type);


#endif

convert_exception_id
void convert_exception_id(const namespacet &ns, const typet &type, const std::string &suffix, std::vector< irep_idt > &ids, bool is_catch=false)
The catchable-type ids a thrown or caught type resolves to, most derived first.
Definition clang_cpp_exception_id.cpp:54

finalize_exception_specification
bool finalize_exception_specification(const namespacet &ns, typet &type)
Resolve a function type's dynamic exception specification.
Definition clang_cpp_exception_id.cpp:115

namespacet
Definition namespace.h:10

typet
Definition type.h:9

namespace.h

std_types.h