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