Lines Matching refs:stateNonZeroSize
1303 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1304 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1312 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1320 if (stateNonZeroSize) { in evalCopyCommon()
1321 state = stateNonZeroSize; in evalCopyCommon()
1464 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1465 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1478 if (stateNonZeroSize) { in evalMemcmp()
1479 State = stateNonZeroSize; in evalMemcmp()
1544 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1545 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1557 if (!stateNonZeroSize) in evalstrLengthCommon()
1561 state = stateNonZeroSize; in evalstrLengthCommon()