Searched refs:StateZeroSize (Results 1 – 1 of 1) sorted by relevance
2040 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local2041 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()2045 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()2047 StateZeroSize = in evalStrcpyCommon()2048 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal); in evalStrcpyCommon()2052 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()2058 StateZeroSize = in evalStrcpyCommon()2059 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize); in evalStrcpyCommon()2062 C.addTransition(StateZeroSize); in evalStrcpyCommon()2624 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local[all …]