Searched refs:ReachingKernelEntries (Results 1 – 1 of 1) sorted by relevance
716 BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries; member745 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()757 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()775 if (ReachingKernelEntries != RHS.ReachingKernelEntries) in operator ==()3629 (ReachingKernelEntries.isValidState() in getAsStr()3630 ? std::to_string(ReachingKernelEntries.size()) in getAsStr()3740 ReachingKernelEntries.insert(Fn); in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()4721 else if (!ReachingKernelEntries.isValidState()) in updateImpl()4728 for (auto *Kernel : ReachingKernelEntries) { in updateImpl()4801 if (CAA && CAA->ReachingKernelEntries.isValidState()) { in updateReachingKernelEntries()[all …]