Searched refs:StateNotWholeReg (Results 1 – 1 of 1) sorted by relevance
1128 ProgramStateRef StateWholeReg, StateNotWholeReg; in memsetAux() local1129 std::tie(StateWholeReg, StateNotWholeReg) = in memsetAux()1140 if (StateWholeReg && !StateNotWholeReg && StateNullChar && in memsetAux()