Searched refs:ReachingKernelEntries (Results 1 – 1 of 1) sorted by relevance
620 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()630 ReachingKernelEntries.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()648 if (ReachingKernelEntries != RHS.ReachingKernelEntries) in operator ==()3128 (ReachingKernelEntries.isValidState() in getAsStr()3207 ReachingKernelEntries.insert(Fn); in initialize()4037 else if (!ReachingKernelEntries.isValidState()) in updateImpl()4044 for (auto *Kernel : ReachingKernelEntries) { in updateImpl()4123 if (CAA.ReachingKernelEntries.isValidState()) { in updateReachingKernelEntries()4124 ReachingKernelEntries ^= CAA.ReachingKernelEntries; in updateReachingKernelEntries()4130 ReachingKernelEntries.indicatePessimisticFixpoint(); in updateReachingKernelEntries()[all …]