Searched refs:StateZeroSize (Results 1 – 1 of 1) sorted by relevance
1656 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()1658 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()1660 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL); in evalStrcpyCommon()1662 C.addTransition(StateZeroSize); in evalStrcpyCommon()2160 std::tie(StateZeroSize, StateNonZeroSize) = in evalMemset()2168 if (StateZeroSize && !StateNonZeroSize) { in evalMemset()2169 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, MemVal); in evalMemset()2170 C.addTransition(StateZeroSize); in evalMemset()2211 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()2216 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()[all …]