Searched refs:ReachingKernelEntries (Results 1 – 1 of 1) sorted by relevance
729 BooleanStateWithPtrSetVector<Function, false> ReachingKernelEntries; member758 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()770 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()788 if (ReachingKernelEntries != RHS.ReachingKernelEntries) in operator ==()3632 (ReachingKernelEntries.isValidState() in getAsStr()3633 ? std::to_string(ReachingKernelEntries.size()) in getAsStr()3743 ReachingKernelEntries.insert(Fn); in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()4723 else if (!ReachingKernelEntries.isValidState()) in updateImpl()4730 for (auto *Kernel : ReachingKernelEntries) { in updateImpl()4803 if (CAA && CAA->ReachingKernelEntries.isValidState()) { in updateReachingKernelEntries()[all …]