validate_code.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Validate code
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
#include "validate_code.h"
 
#ifdef REPORT_UNIMPLEMENTED_CODE_CHECKS
#  include <iostream>
#endif
 
#include <util/std_code.h> // IWYU pragma: keep
#include <util/validate_helpers.h>
 
#include "goto_instruction_code.h" // IWYU pragma: keep
 
#define CALL_ON_CODE(code_type)                                                \
  C<codet, code_type>()(code, std::forward<Args>(args)...)
 
template <template <typename, typename> class C, typename... Args>
void call_on_code(const codet &code, Args &&... args)
{
  if(code.get_statement() == ID_assign)
  {
    CALL_ON_CODE(code_assignt);
  }
  else if(code.get_statement() == ID_decl)
  {
    CALL_ON_CODE(code_declt);
  }
  else if(code.get_statement() == ID_dead)
  {
    CALL_ON_CODE(code_deadt);
  }
  else if(code.get_statement() == ID_function_call)
  {
    CALL_ON_CODE(code_function_callt);
  }
  else if(code.get_statement() == ID_return)
  {
    CALL_ON_CODE(code_returnt);
  }
  else if(code.get_statement() == ID_block)
  {
    CALL_ON_CODE(code_blockt);
  }
  else
  {
#ifdef REPORT_UNIMPLEMENTED_CODE_CHECKS
    std::cerr << "Unimplemented well-formedness check for code statement with "
                 "id: "
              << code.get_statement().id_string() << std::endl;
#endif
 
    CALL_ON_CODE(codet);
  }
}

void check_code(const codet &code, const validation_modet vm)
{
  call_on_code<call_checkt>(code, vm);
}

void validate_code(
  const codet &code,
  const namespacet &ns,
  const validation_modet vm)
{
  call_on_code<call_validatet>(code, ns, vm);
}

void validate_full_code(
  const codet &code,
  const namespacet &ns,
  const validation_modet vm)
{
  call_on_code<call_validate_fullt>(code, ns, vm);
}