Lines Matching refs:stateNonZeroSize
1004 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1005 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1013 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1020 if (stateNonZeroSize) { in evalCopyCommon()
1021 state = stateNonZeroSize; in evalCopyCommon()
1166 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1167 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1180 if (stateNonZeroSize) { in evalMemcmp()
1181 state = stateNonZeroSize; in evalMemcmp()
1251 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1252 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1264 if (!stateNonZeroSize) in evalstrLengthCommon()
1268 state = stateNonZeroSize; in evalstrLengthCommon()