Searched refs:stateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1138 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local1139 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()1147 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()1154 if (stateNonZeroSize) { in evalCopyCommon()1155 state = stateNonZeroSize; in evalCopyCommon()1293 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1305 if (stateNonZeroSize) { in evalMemcmp()1306 State = stateNonZeroSize; in evalMemcmp()1370 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()1382 if (!stateNonZeroSize) in evalstrLengthCommon()[all …]