find_macros.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "find_macros.h"
 
#include <stack>
 
#include "namespace.h"
#include "std_expr.h"
#include "symbol.h"
 
void find_macros(
  const exprt &src,
  const namespacet &ns,
  find_macros_sett &dest)
{
  std::stack<const exprt *> stack;
 
  // use stack, these may be nested deeply
  stack.push(&src);
 
  while(!stack.empty())
  {
    const exprt &e=*stack.top();
    stack.pop();
 
    if(e.id() == ID_symbol)
    {
      const irep_idt &identifier = to_symbol_expr(e).get_identifier();
 
      const symbolt &symbol = ns.lookup(identifier);
 
      if(symbol.is_macro)
      {
        // inserted?
        if(dest.insert(identifier).second)
          stack.push(&symbol.value);
      }
    }
    else
    {
      for(const auto &op : e.operands())
        stack.push(&op);
    }
  }
}
void find_macros( {…}