C++ (Cpp) has_subexpr Examples

Example #1

File: goto_check.cpp Project: diffblue/cbmc

 inline static bool has_dereference(const exprt &src)
 {
   return has_subexpr(src, ID_dereference);
 }

Example #2

File: value_set_dereference.cpp Project: danpoe/cbmc

bool value_set_dereferencet::has_dereference(const exprt &expr)
{
  return has_subexpr(expr, ID_dereference);
}