Searched refs:StateNullChar (Results 1 – 1 of 1) sorted by relevance
1389 ProgramStateRef StateNullChar, StateNonNullChar; in memsetAux() local1390 std::tie(StateNullChar, StateNonNullChar) = in memsetAux()1393 if (StateWholeReg && !StateNotWholeReg && StateNullChar && in memsetAux()1410 if (StateNullChar && !StateNonNullChar) { in memsetAux()1415 } else if (!StateNullChar && StateNonNullChar) { in memsetAux()