Lines Matching refs:stateZeroSize
1004 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon() local
1005 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()
1013 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()
1014 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1015 C.addTransition(stateZeroSize); in evalCopyCommon()
1166 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp() local
1167 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()
1172 if (stateZeroSize) { in evalMemcmp()
1173 state = stateZeroSize; in evalMemcmp()
1251 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon() local
1252 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()
1257 if (stateZeroSize) { in evalstrLengthCommon()
1259 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1260 C.addTransition(stateZeroSize); in evalstrLengthCommon()