Searched defs:stateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1004 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local1166 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local1251 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local