dead_store_analysis.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
 
#include <goto-programs/dead_store_advisory.h>
#include <goto-programs/goto_functions_algorithm.h>
#include <util/symtab/context.h>

class goto_check_dead_store : public goto_functions_algorithm
{
public:
  goto_check_dead_store(
    const contextt &context,
    std::vector<dead_store_advisoryt> &out)
    : goto_functions_algorithm(false), context(context), advisories(out)
  {
  }
 
protected:
  const contextt &context;
  std::vector<dead_store_advisoryt> &advisories;
 
  bool runOnFunction(std::pair<const irep_idt, goto_functiont> &F) override;
};