C++ (Cpp) TranslateCalleeBit примеры использования

Пример #1

Файл: where.cpp Проект: brifordwylie/turnersr.github.io

Where* WherePostcondition::Make(CheckerFrame *frame, PPoint point, Bit *bit)
{
  Assert(bit);
  Bit *new_bit = TranslateCalleeBit(frame->Memory(), point, bit, frame->Id());

  if (new_bit)
    return new WherePostcondition(frame, point, new_bit);
  return NULL;
}

Пример #2

Файл: where.cpp Проект: wh5a/xgill

Where* WherePostcondition::Make(CheckerFrame *frame, PPoint point, Bit *bit)
{
  Assert(bit);
  Bit *new_bit = TranslateCalleeBit(frame->Memory(), point, bit, frame->Id());

  Where *res = NULL;
  if (new_bit) {
    res = new WherePostcondition(frame, point, new_bit);
    new_bit->DecRef();
  }

  return res;
}