memory regions are "potentially overlapping" to a test that determines that the regions are actually overlapping. Because the code for the overlapping case is seven instructions longer, this signifcantly improves performance in the average case.