goto_cfg.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
#include <unordered_set>
#include <unordered_map>
#include <string_view>
#include <goto-programs/goto_program.h>
#include <goto-programs/goto_functions.h>

class goto_cfg
{
public:
  goto_cfg(goto_functionst &goto_functions);

  void dump_graph() const;

  struct basic_block
  {
    enum class terminator_type
    {
      OTHER,
      IF_GOTO
    };
    goto_programt::instructionst::iterator begin;
    goto_programt::instructionst::iterator end;
    std::set<std::shared_ptr<basic_block>> successors;
    std::unordered_set<std::shared_ptr<basic_block>> predecessors;
    terminator_type terminator = terminator_type::OTHER;
  };
 
  std::unordered_map<std::string, std::vector<std::shared_ptr<basic_block>>>
    basic_blocks;
};