Searched refs:AllReachingKernelsKnown (Results 1 – 1 of 1) sorted by relevance
4031 bool AllReachingKernelsKnown = true; in updateImpl() local4032 updateReachingKernelEntries(A, AllReachingKernelsKnown); in updateImpl()4033 UsedAssumedInformationFromReachingKernels = !AllReachingKernelsKnown; in updateImpl()4115 bool &AllReachingKernelsKnown) { in updateReachingKernelEntries()4137 AllReachingKernelsKnown)) in updateReachingKernelEntries()