Lines Matching refs:stateZeroSize
1138 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1139 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1147 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1148 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1149 C.addTransition(stateZeroSize); in evalCopyCommon()
1292 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1293 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1298 if (stateZeroSize) { in evalMemcmp()
1299 State = stateZeroSize; in evalMemcmp()
1369 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1370 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1375 if (stateZeroSize) { in evalstrLengthCommon()
1377 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1378 C.addTransition(stateZeroSize); in evalstrLengthCommon()