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;
}