Searched refs:stateZeroSize (Results 1 – 1 of 1) sorted by relevance
1454 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local1455 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()1463 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()1464 stateZeroSize = in evalCopyCommon()1465 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()1466 C.addTransition(stateZeroSize); in evalCopyCommon()1617 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local1618 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1623 if (stateZeroSize) { in evalMemcmp()1624 State = stateZeroSize; in evalMemcmp()[all …]