Searched refs:stateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
919 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local920 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()928 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()935 if (stateNonZeroSize) { in evalCopyCommon()936 state = stateNonZeroSize; in evalCopyCommon()1076 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local1077 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1090 if (stateNonZeroSize) { in evalMemcmp()1091 state = stateNonZeroSize; in evalMemcmp()1161 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local[all …]