C++ (Cpp) ProgramStateManager::getSValBuilderの例

コード例 #1

ファイル: RangeConstraintManager.cpp プロジェクト: jaredmcneill/netbsd-src

std::unique_ptr<ConstraintManager>
ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
  return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
}

コード例 #2

ファイル: Store.cpp プロジェクト: FreeBSDFoundation/freebsd

StoreManager::StoreManager(ProgramStateManager &stateMgr)
    : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
      MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}