Lines Matching refs:Overlap
425 // Do a simple check for overlap: if the two arguments are from the same
454 // If the values are known to be equal, that's automatically an overlap.
513 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
515 DefinedOrUnknownSVal *OverlapTest = dyn_cast<DefinedOrUnknownSVal>(&Overlap);
522 // Overlap!
527 // assume the two expressions don't overlap.
928 // Ensure the accesses are valid and that the buffers do not overlap.