Пример #1
0
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
0
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;
}