Searched refs:isValidState (Results 1 – 5 of 5) sorted by relevance
3277 bool isValidState() const override { return DerefBytesState.isValidState(); }3533 bool isValidState() const override { return BS.isValidState(); }3560 if (isValidState() != RHS.isValidState())3562 if (!isValidState() && !RHS.isValidState())4003 bool isValidState() const override { return IsValidState.isValidState(); }4036 if (isValidState() != RHS.isValidState())4038 if (!isValidState() && !RHS.isValidState())4101 if (!isValidState())4110 if (!isValidState())4132 if (!R.isValidState())[all …]
537 bool isValidState() const override { return true; } in isValidState() function2651 return isValidState() && MallocCalls.count(&CB); in isAssumedHeapToShared()2766 if (!isValidState()) in getAsStr()2863 if (!isValidState()) in initialize()2880 if (!SPMDCompatibilityTracker.isValidState()) in initialize()2901 if (!SPMDCompatibilityTracker.isValidState()) in initialize()3395 if (CAA.ReachingKernelEntries.isValidState()) { in updateReachingKernelEntries()3427 if (CAA.ParallelLevels.isValidState()) { in updateParallelLevels()3685 if (!isValidState()) in getAsStr()3794 if (!AA.isValidState()) { in foldIsSPMDExecMode()[all …]
497 return T->isValidState(); in clampReturnedValueStates()916 bool isValidState() const override { return BS.isValidState(); } in isValidState() function1019 if (!isValidState()) in forallInterferingAccesses()1090 if (!CalleeAA.getState().isValidState() || !isValidState()) in translateAndAddCalleeState()1624 assert(isValidState()); in manifest()1677 if (!isValidState()) in checkForAllReturnedValuesAndReturnInsts()5388 if (!isValidState()) in getAssumedSimplifiedValue()5861 if (isValidState()) in isAssumedHeapToStack()5868 if (!isValidState()) in isAssumedHeapToStackRemovedFree()7530 if (!isValidState()) in checkForAllAccessesToMemoryKind()[all …]
1204 if (!AARetVal.getState().isValidState()) in checkForAllReturnedValuesAndReturnInsts()1223 if (!AARetVal.getState().isValidState()) in checkForAllReturnedValues()1365 if (!DepAA->getState().isValidState()) in runTillFixpoint()1399 if (!AAState.isValidState()) in runTillFixpoint()1483 if (!State.isValidState()) in manifestAttributes()2715 return OS << (!S.isValidState() ? "top" : (S.isAtFixpoint() ? "fix" : "")); in operator <<()2726 if (!S.isValidState()) in operator <<()
276 bool isValidState() const override { in isValidState() function