Searched refs:splitVarStateForIf (Results 1 – 1 of 1) sorted by relevance
955 static void splitVarStateForIf(const IfStmt *IfNode, const VarTestResult &Test, in splitVarStateForIf() function1280 splitVarStateForIf(IfNode, PInfo.getVarTest(), CurrStates.get(), in splitState()