Lines Matching refs:StateZeroSize
1707 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local
1708 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()
1712 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()
1714 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1718 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength); in evalStrcpyCommon()
1723 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize); in evalStrcpyCommon()
1726 C.addTransition(StateZeroSize); in evalStrcpyCommon()
2230 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local
2231 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()
2236 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()
2237 C.addTransition(StateZeroSize); in evalBzero()