Lines Matching refs:stateNonZeroSize
1000 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1001 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1009 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1016 if (stateNonZeroSize) { in evalCopyCommon()
1017 state = stateNonZeroSize; in evalCopyCommon()
1162 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1163 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1176 if (stateNonZeroSize) { in evalMemcmp()
1177 state = stateNonZeroSize; in evalMemcmp()
1247 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1248 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1260 if (!stateNonZeroSize) in evalstrLengthCommon()
1264 state = stateNonZeroSize; in evalstrLengthCommon()