Lines Matching refs:stateZeroSize
1303 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1304 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1312 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1313 stateZeroSize = in evalCopyCommon()
1314 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1315 C.addTransition(stateZeroSize); in evalCopyCommon()
1464 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1465 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1470 if (stateZeroSize) { in evalMemcmp()
1471 State = stateZeroSize; in evalMemcmp()
1544 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1545 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1550 if (stateZeroSize) { in evalstrLengthCommon()
1552 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()
1553 C.addTransition(stateZeroSize); in evalstrLengthCommon()