Searched refs:isKnownState (Results 1 – 1 of 1) sorted by relevance
166 static bool isKnownState(ConsumedState State) { in isKnownState() function958 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()971 isKnownState(RState)) { in splitVarStateForIfBinOp()