Lines Matching full:overlap
416 // Do a simple check for overlap: if the two arguments are from the same
445 // If the values are known to be equal, that's automatically an overlap.
501 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
504 Overlap.getAs<DefinedOrUnknownSVal>();
511 // Overlap!
516 // assume the two expressions don't overlap.
918 // Ensure the accesses are valid and that the buffers do not overlap.
