Esempi in C++ (Cpp) per pointer_expr

Esempio n. 1

File: pointer_logic.cpp Progetto: danpoe/cbmc

exprt pointer_logict::pointer_expr(
  std::size_t object,
  const typet &type) const
{
  pointert pointer(object, 0);
  return pointer_expr(pointer, type);
}

Esempio n. 2

File: pointer_logic.cpp Progetto: rbavishi/iCBMC

exprt pointer_logict::pointer_expr(
  unsigned object,
  const typet &type) const
{
  pointert pointer(object, 0);
  return pointer_expr(pointer, type);
}