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