Searched refs:stateZeroSize (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()929 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()930 C.addTransition(stateZeroSize); in evalCopyCommon()1081 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local1082 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1087 if (stateZeroSize) { in evalMemcmp()1088 state = stateZeroSize; in evalMemcmp()1166 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local[all …]