goto_check_unchecked_return.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/goto_functions_algorithm.h>
#include <irep2/irep2.h>

class goto_check_unchecked_return : public goto_functions_algorithm
{
public:
  explicit goto_check_unchecked_return(contextt &context)
    : goto_functions_algorithm(true), context(context)
  {
  }
 
protected:
  contextt &context;
 
  bool runOnFunction(std::pair<const irep_idt, goto_functiont> &F) override;
};