Searched refs:StateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1521 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local1522 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()1526 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()