Lines Matching refs:StateZeroSize
1890 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local
1891 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()
1895 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()
1897 StateZeroSize = in evalStrcpyCommon()
1898 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal); in evalStrcpyCommon()
1902 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()
1908 StateZeroSize = in evalStrcpyCommon()
1909 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize); in evalStrcpyCommon()
1912 C.addTransition(StateZeroSize); in evalStrcpyCommon()
2438 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local
2439 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()
2444 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()
2445 C.addTransition(StateZeroSize); in evalBzero()