178   builtin_memref* const srcref;  variable
559 : dstref (&dst), srcref (&src), sizrange (), ovloff (), ovlsiz (),  in builtin_access()
641       srcref->strbounded_p = true;  in builtin_access()
689   if (depends_p && dstref->base != srcref->base)  in builtin_access()
718 	  && srcref->sizrange[0] == 0 && srcref->sizrange[1] == maxobjsize)  in builtin_access()
734       dstref->sizrange[0] = srcref->sizrange[0];  in builtin_access()
735       dstref->sizrange[1] = srcref->sizrange[1];  in builtin_access()
737   else if (srcref->sizrange[0] == 0 && srcref->sizrange[1] == maxobjsize)  in builtin_access()
741       srcref->sizrange[0] = dstref->sizrange[0];  in builtin_access()
742       srcref->sizrange[1] = dstref->sizrange[1];  in builtin_access()
749 	      if (bounds[0] < srcref->sizrange[0])  in builtin_access()
750 		srcref->sizrange[0] = bounds[0];  in builtin_access()
751 	      if (bounds[1] < srcref->sizrange[1])  in builtin_access()
752 		srcref->sizrange[1] = bounds[1];  in builtin_access()
759 	  if (srcref->offrange[1] >= 0  in builtin_access()
760 	      && srcref->offrange[1] < srcref->sizrange[0])  in builtin_access()
761 	    srcref->sizrange[0] -= srcref->offrange[1];  in builtin_access()
763 	    srcref->sizrange[0] = 0;  in builtin_access()
765 	  if (srcref->offrange[0] > 0)  in builtin_access()
767 	      if (srcref->offrange[0] < srcref->sizrange[1])  in builtin_access()
768 		srcref->sizrange[1] -= srcref->offrange[0];  in builtin_access()
770 		srcref->sizrange[1] = 0;  in builtin_access()
784 	  if (dstref->sizrange[0] < srcref->sizrange[0])  in builtin_access()
785 	    srcref->sizrange[0] = dstref->sizrange[0];  in builtin_access()
787 	  if (dstref->sizrange[1] < srcref->sizrange[1])  in builtin_access()
788 	    srcref->sizrange[1] = dstref->sizrange[1];  in builtin_access()
799 	      dstref->sizrange[0] = srcref->sizrange[0];  in builtin_access()
800 	      dstref->sizrange[1] = srcref->sizrange[1];  in builtin_access()
812       if (bounds[0] < srcref->sizrange[0])  in builtin_access()
813 	srcref->sizrange[0] = bounds[0];  in builtin_access()
815       if (bounds[1] < srcref->sizrange[1])  in builtin_access()
816 	srcref->sizrange[1] = bounds[1];  in builtin_access()
858   const builtin_memref *srcref = acs.srcref;  in generic_overlap()  local
860   gcc_assert (dstref->base == srcref->base);  in generic_overlap()
950       && srcref->refoff >= 0  in generic_overlap()
951       && dstref->refoff != srcref->refoff  in generic_overlap()
952       && (stxcpy_p || dstref->strbounded_p || srcref->strbounded_p))  in generic_overlap()
1067   const builtin_memref *srcref = acs.srcref;  in strcat_overlap()  local
1069   gcc_assert (dstref->base == srcref->base);  in strcat_overlap()
1073   gcc_assert (dstref->base && dstref->base == srcref->base);  in strcat_overlap()
1160   if (endoff <= srcref->offrange[0])  in strcat_overlap()
1161     acs.ovloff[0] = wi::smin (maxobjsize, srcref->offrange[0]).to_shwi ();  in strcat_overlap()
1165   acs.sizrange[0] = wi::smax (wi::abs (endoff - srcref->offrange[0]) + 1,  in strcat_overlap()
1166 			      srcref->sizrange[0]).to_shwi ();  in strcat_overlap()
1169       if (srcref->offrange[0] == srcref->offrange[1])  in strcat_overlap()
1174 		      srcref->offrange[1] + srcref->sizrange[1]).to_shwi ();  in strcat_overlap()
1183   acs.sizrange[1] = wi::smax (acs.dstsiz[1], srcref->sizrange[1]).to_shwi ();  in strcat_overlap()
1211 			      srcref->sizrange[0]).to_shwi ();  in overlap()
1213 			      srcref->sizrange[1]).to_shwi ();  in overlap()
1218   offset_int size = dstref->sizrange[0] + srcref->sizrange[0];  in overlap()
1228   if (!dstref->base || !srcref->base)  in overlap()
1252   acs.srcoff[0] = srcref->offrange[0];  in overlap()
1253   acs.srcoff[1] = srcref->offrange[1];  in overlap()
1255   if (srcref->base  in overlap()
1256       && TREE_CODE (TREE_TYPE (srcref->base)) == ARRAY_TYPE)  in overlap()
1261       if (tree size = TYPE_SIZE_UNIT (TREE_TYPE (srcref->base)))  in overlap()
1298   maxoff = acs.srcoff[0] + srcref->sizrange[0];  in overlap()
1302       acs.ovlsiz[1] = (acs.srcoff[0] + srcref->sizrange[1]  in overlap()
1308   if (dstref->base != srcref->base)  in overlap()
1314   acs.srcsiz[0] = srcref->sizrange[0];  in overlap()
1315   acs.srcsiz[1] = srcref->sizrange[1];  in overlap()
1323 	  sizrange[0] = wi::smax (acs.dstsiz[0], srcref->sizrange[0]).to_shwi ();  in overlap()
1324 	  sizrange[1] = wi::smax (acs.dstsiz[1], srcref->sizrange[1]).to_shwi ();  in overlap()
1344   const builtin_memref &srcref = *acs.srcref;  in maybe_diag_overlap()  local
1368   if (srcref.offrange[0] == srcref.offrange[1]  in maybe_diag_overlap()
1369       || srcref.offrange[1] > HOST_WIDE_INT_MAX)  in maybe_diag_overlap()
1372 	     srcref.offrange[0].to_shwi ());  in maybe_diag_overlap()
1376 	     srcref.offrange[0].to_shwi (),  in maybe_diag_overlap()
1377 	     srcref.offrange[1].to_shwi ());  in maybe_diag_overlap()
1500 		  || (srcref.offrange[0] == 0  in maybe_diag_overlap()
1501 		      && srcref.offrange[1] == maxobjsize));  in maybe_diag_overlap()
1505 		  || (srcref.offrange[0] == -maxobjsize - 1  in maybe_diag_overlap()
1506 		      && srcref.offrange[1] == maxobjsize));  in maybe_diag_overlap()
1854   builtin_memref srcref (src, srcsize);  in check_bounds_or_overlap()
1856   builtin_access acs (call, dstref, srcref);  in check_bounds_or_overlap()
1866       || maybe_diag_offset_bounds (loc, call, func, strict, src, srcref))  in check_bounds_or_overlap()