Searched refs:StateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
2038 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local2039 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()2043 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()2586 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local2587 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()2592 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()2602 State = checkNonNull(C, StateNonZeroSize, Buffer, MemVal); in evalBzero()