clang_cpp_adjust_irep2.h

Go to the documentation of this file.

#ifndef ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_ADJUST_IREP2_H
#define ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_ADJUST_IREP2_H
 
#include <clang-c-frontend/clang_c_adjust_irep2.h>

class clang_cpp_adjust_irep2 : public clang_c_adjust_irep2
{
public:
  using clang_c_adjust_irep2::clang_c_adjust_irep2;

  static std::vector<arm_info> arm_order();
 
protected:
  void gen_symbol_code(symbolt &symbol) override;

  void gen_implicit_union_copy_move_body(symbolt &symbol);
  void adjust_symbol_type(symbolt &symbol) override;

  void hoist_switch_declaration(expr2tc &expr);
 
  void adjust_sole_arms(expr2tc &expr) override;

  void adjust_cpp_member(expr2tc &expr);

  void adjust_cpp_catch(expr2tc &expr);

  void adjust_cpp_delete(expr2tc &expr);

  void adjust_reference(expr2tc &expr) override;
  void adjust_cpp_throw(expr2tc &expr);

  void align_call_return_type(expr2tc &expr, const symbolt &callee) override;

  void adjust_before_operands(expr2tc &expr) override;
  void fold_constructor_assignment(expr2tc &expr);

  void fan_out_array_construction(expr2tc &expr);

  expr2tc array_decl_constructor(const expr2tc &stmt);
  bool construct_elements(
    const expr2tc &array,
    const expr2tc &ctor,
    std::vector<expr2tc> &out);

  bool is_constructor_call(const expr2tc &call);
  expr2tc find_constructor_call(const expr2tc &e);
 
private:
  using arm = adjust_arm<clang_cpp_adjust_irep2>;

  static const arm arms[];
};
 
#endif