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