Lines Matching refs:stateNonZeroSize
1138 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1139 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1147 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1154 if (stateNonZeroSize) { in evalCopyCommon()
1155 state = stateNonZeroSize; in evalCopyCommon()
1292 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1293 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1305 if (stateNonZeroSize) { in evalMemcmp()
1306 State = stateNonZeroSize; in evalMemcmp()
1369 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1370 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1382 if (!stateNonZeroSize) in evalstrLengthCommon()
1386 state = stateNonZeroSize; in evalstrLengthCommon()