Ejemplos de CheckerContext::getBlockID en C++ (Cpp)

Ejemplo n.º 1

Archivo: TestAfterDivZeroChecker.cpp Proyecto: FrozenGene/clang_trunk

bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
                                            const CheckerContext &C) const {
  SymbolRef SR = Var.getAsSymbol();
  if (!SR)
    return false;

  ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
  return C.getState()->contains<DivZeroMap>(ZS);
}

Ejemplo n.º 2

Archivo: TestAfterDivZeroChecker.cpp Proyecto: FrozenGene/clang_trunk

void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
  SymbolRef SR = Var.getAsSymbol();
  if (!SR)
    return;

  ProgramStateRef State = C.getState();
  State =
      State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame()));
  C.addTransition(State);
}