Searched refs:ReachingKernelEntries (Results 1 – 1 of 1) sorted by relevance
620 BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries; member649 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()660 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()678 if (ReachingKernelEntries != RHS.ReachingKernelEntries) in operator ==()3401 (ReachingKernelEntries.isValidState() in getAsStr()3402 ? std::to_string(ReachingKernelEntries.size()) in getAsStr()3484 ReachingKernelEntries.insert(Fn); in initialize()4435 else if (!ReachingKernelEntries.isValidState()) in updateImpl()4442 for (auto *Kernel : ReachingKernelEntries) { in updateImpl()4513 if (CAA.ReachingKernelEntries.isValidState()) { in updateReachingKernelEntries()[all …]