612   bool isValidState() const override { return true; }  in isValidState()  function
2793     return isValidState() && SingleThreadedBBs.contains(&BB);  in isExecutedByInitialThreadOnly()
2985     return isValidState() && MallocCalls.count(&CB);  in isAssumedHeapToShared()
2989     return isValidState() && PotentialRemovedFreeCalls.count(&CB);  in isAssumedHeapToSharedRemovedFree()
3113     if (!isValidState())  in getAsStr()
3120            (ReachedKnownParallelRegions.isValidState()  in getAsStr()
3124            (ReachedUnknownParallelRegions.isValidState()  in getAsStr()
3128            (ReachingKernelEntries.isValidState()  in getAsStr()
3223       if (!ReachedKnownParallelRegions.isValidState())  in initialize()
3243       if (!SPMDCompatibilityTracker.isValidState())  in initialize()
3266       if (!SPMDCompatibilityTracker.isValidState())  in initialize()
3670     if (!ReachedKnownParallelRegions.isValidState())  in buildCustomStateMachine()
4035       if (!ParallelLevels.isValidState())  in updateImpl()
4037       else if (!ReachingKernelEntries.isValidState())  in updateImpl()
4047           if (CBAA.SPMDCompatibilityTracker.isValidState() &&  in updateImpl()
4096         ReachedUnknownParallelRegions.isValidState() &&  in updateImpl()
4097         ReachedKnownParallelRegions.isValidState() &&  in updateImpl()
4123       if (CAA.ReachingKernelEntries.isValidState()) {  in updateReachingKernelEntries()
4154       if (CAA.ParallelLevels.isValidState()) {  in updateParallelLevels()
4426     if (!isValidState())  in getAsStr()
4461           assert((isValidState() ||  in initialize()
4544     if (!CallerKernelInfoAA.ReachingKernelEntries.isValidState())  in foldIsSPMDExecMode()
4551       if (!AA.isValidState()) {  in foldIsSPMDExecMode()
4606     if (!ExecutionDomainAA.isValidState())  in foldIsGenericMainThread()
4626     if (!CallerKernelInfoAA.ParallelLevels.isValidState())  in foldParallelLevel()
4629     if (!CallerKernelInfoAA.ReachingKernelEntries.isValidState())  in foldParallelLevel()
4643       if (!AA.SPMDCompatibilityTracker.isValidState())  in foldParallelLevel()
4688     if (!CallerKernelInfoAA.ReachingKernelEntries.isValidState())  in foldKernelFnAttribute()