Lines Matching full:disjoint
4017 recon and scanline MAY be the same memory address! precon must be disjoint.