1201   ProgramStateRef stateZeroSize, stateNonZeroSize;  in evalCopyCommon()  local
1202   std::tie(stateZeroSize, stateNonZeroSize) =  in evalCopyCommon()
1210   if (stateZeroSize && !stateNonZeroSize) {  in evalCopyCommon()
1217   if (stateNonZeroSize) {  in evalCopyCommon()
1218     state = stateNonZeroSize;  in evalCopyCommon()
1360   ProgramStateRef stateZeroSize, stateNonZeroSize;  in evalMemcmp()  local
1361   std::tie(stateZeroSize, stateNonZeroSize) =  in evalMemcmp()
1373   if (stateNonZeroSize) {  in evalMemcmp()
1374     State = stateNonZeroSize;  in evalMemcmp()
1437     ProgramStateRef stateZeroSize, stateNonZeroSize;  in evalstrLengthCommon()  local
1438     std::tie(stateZeroSize, stateNonZeroSize) =  in evalstrLengthCommon()
1450     if (!stateNonZeroSize)  in evalstrLengthCommon()
1454     state = stateNonZeroSize;  in evalstrLengthCommon()