remove_exceptions.h

Go to the documentation of this file.

#pragma once
 
#include <set>
#include <vector>
#include <util/irep/irep_idt.h>
 
class goto_functionst;
class contextt;
class namespacet;
class optionst;
class exception_typeidt;

void remove_exceptions(
  goto_functionst &goto_functions,
  contextt &context,
  const namespacet &ns,
  const std::set<irep_idt> &unreported = {},
  const std::vector<irep_idt> &checked = {});

bool checks_exception(
  const exception_typeidt &types,
  const irep_idt &type,
  const std::vector<irep_idt> &checked);

std::vector<irep_idt> python_checked_exceptions(const optionst &options);