Searched refs:DACtx (Results 1 – 4 of 4) sorted by relevance
113 explicit Environment(DataflowAnalysisContext &DACtx);258 return DACtx->takeOwnership(std::move(Loc)); in takeOwnership()270 return DACtx->takeOwnership(std::move(Val)); in takeOwnership()276 return DACtx->getBoolLiteralValue(Value); in getBoolLiteralValue()281 return DACtx->createAtomicBoolValue(); in makeAtomicBoolValue()289 return DACtx->getOrCreateConjunction(LHS, RHS); in makeAnd()297 return DACtx->getOrCreateDisjunction(LHS, RHS); in makeOr()303 return DACtx->getOrCreateNegation(Val); in makeNot()311 return DACtx->getOrCreateImplication(LHS, RHS); in makeImplication()319 return DACtx->getOrCreateIff(LHS, RHS); in makeIff()[all …]
154 : DACtx(&DACtx), FlowConditionToken(&DACtx.makeFlowConditionToken()) {} in Environment()157 : DACtx(Other.DACtx), DeclToLoc(Other.DeclToLoc), in Environment()171 : Environment(DACtx) { in Environment()241 assert(DACtx == Other.DACtx); in equivalentTo()271 assert(DACtx == Other.DACtx); in join()275 Environment JoinedEnv(*DACtx); in join()324 return DACtx->getStableStorageLocation(Type); in createStorageLocation()331 return DACtx->getStableStorageLocation(D); in createStorageLocation()338 return DACtx->getStableStorageLocation(E); in createStorageLocation()366 return DACtx->getThisPointeeStorageLocation(); in getThisPointeeStorageLocation()[all …]
111 DataflowAnalysisContext DACtx(std::make_unique<WatchedLiteralsSolver>());112 Environment Env(DACtx, *F);
73 DataflowAnalysisContext DACtx(std::make_unique<WatchedLiteralsSolver>()); in runAnalysis() local74 Environment Env(DACtx); in runAnalysis()