Searched refs:StateZeroSize (Results 1 – 1 of 1) sorted by relevance
1436 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local1437 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()1441 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()1442 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()1443 C.addTransition(StateZeroSize); in evalStrcpyCommon()