Searched refs:stateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1225 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local1226 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()1234 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()1241 if (stateNonZeroSize) { in evalCopyCommon()1242 state = stateNonZeroSize; in evalCopyCommon()1386 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local1387 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1399 if (stateNonZeroSize) { in evalMemcmp()1400 State = stateNonZeroSize; in evalMemcmp()1463 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local[all …]