Searched refs:StateZeroSize (Results 1 – 1 of 1) sorted by relevance
1890 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local1891 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()1895 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()1897 StateZeroSize = in evalStrcpyCommon()1902 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()1908 StateZeroSize = in evalStrcpyCommon()1912 C.addTransition(StateZeroSize); in evalStrcpyCommon()2438 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local2439 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()2444 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()[all …]