Searched refs:ReachingKernelEntries (Results 1 – 1 of 1) sorted by relevance
745 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()757 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()775 if (ReachingKernelEntries != RHS.ReachingKernelEntries) in operator ==()3630 (ReachingKernelEntries.isValidState() in getAsStr()3741 ReachingKernelEntries.insert(Fn); in KERNEL_ENVIRONMENT_CONFIGURATION_SETTER()4720 else if (!ReachingKernelEntries.isValidState()) in updateImpl()4727 for (auto *Kernel : ReachingKernelEntries) { in updateImpl()4801 ReachingKernelEntries ^= CAA->ReachingKernelEntries; in updateReachingKernelEntries()4807 ReachingKernelEntries.indicatePessimisticFixpoint(); in updateReachingKernelEntries()4815 ReachingKernelEntries.indicatePessimisticFixpoint(); in updateReachingKernelEntries()[all …]