Searched refs:StateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1651 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local1652 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()1656 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()2159 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalMemset() local2160 std::tie(StateZeroSize, StateNonZeroSize) = in evalMemset()2168 if (StateZeroSize && !StateNonZeroSize) { in evalMemset()2176 State = checkNonNull(C, StateNonZeroSize, Mem, MemVal); in evalMemset()2210 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local2211 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()2216 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()[all …]