dist/gcc/gimple-ssa-warn-restrict.c

182   builtin_memref* const srcref;
667 : dstref (&dst), srcref (&src), sizrange (), ovloff (), ovlsiz (),
745       srcref->strbounded_p = true;
815 	  && srcref->sizrange[0] == 0 && srcref->sizrange[1] == maxobjsize)
832       dstref->sizrange[0] = srcref->sizrange[0];
833       dstref->sizrange[1] = srcref->sizrange[1];
836   else if (srcref->sizrange[0] == 0 && srcref->sizrange[1] == maxobjsize)
840       srcref->sizrange[0] = dstref->sizrange[0];
841       srcref->sizrange[1] = dstref->sizrange[1];
849 	      srcref->sizrange[0] = bounds[1] > 0 ? 1 : 0;
850 	      offset_int bound = wi::umin (srcref->basesize, bounds[1]);
851 	      if (bound < srcref->sizrange[1])
852 		srcref->sizrange[1] = bound;
858 	  if (srcref->offrange[1] >= 0
859 	      && srcref->offrange[1] < srcref->sizrange[0])
860 	    srcref->sizrange[0] -= srcref->offrange[1];
862 	    srcref->sizrange[0] = 1;
864 	  if (srcref->offrange[0] > 0)
866 	      if (srcref->offrange[0] < srcref->sizrange[1])
867 		srcref->sizrange[1] -= srcref->offrange[0];
869 		srcref->sizrange[1] = 0;
883 	  if (dstref->sizrange[0] < srcref->sizrange[0])
884 	    srcref->sizrange[0] = dstref->sizrange[0];
886 	  if (dstref->sizrange[1] < srcref->sizrange[1])
887 	    srcref->sizrange[1] = dstref->sizrange[1];
898 	      dstref->sizrange[0] = srcref->sizrange[0];
899 	      dstref->sizrange[1] = srcref->sizrange[1];
905       dstref->sizrange[0] += srcref->sizrange[0] - 1;
906       dstref->sizrange[1] += srcref->sizrange[1] - 1;
916       if (bounds[0] < srcref->sizrange[0])
917 	srcref->sizrange[0] = bounds[0];
919       if (bounds[1] < srcref->sizrange[1])
920 	srcref->sizrange[1] = bounds[1];
962   const builtin_memref *srcref = acs.srcref;
964   gcc_assert (dstref->base == srcref->base);
1053       && srcref->refoff >= 0
1054       && dstref->refoff != srcref->refoff
1055       && (stxcpy_p || dstref->strbounded_p || srcref->strbounded_p))
1152   const builtin_memref *srcref = acs.srcref;
1154   gcc_assert (dstref->base == srcref->base);
1158   gcc_assert (dstref->base && dstref->base == srcref->base);
1166   acs.dstoff[0] += dstsiz[0] - srcref->sizrange[0];
1167   acs.dstoff[1] += dstsiz[1] - srcref->sizrange[1];
1245     = dstref->offrange[0] + (dstref->sizrange[0] - srcref->sizrange[0]);
1246   if (endoff <= srcref->offrange[0])
1247     acs.ovloff[0] = wi::smin (maxobjsize, srcref->offrange[0]).to_shwi ();
1251   acs.sizrange[0] = wi::smax (wi::abs (endoff - srcref->offrange[0]) + 1,
1252 			      srcref->sizrange[0]).to_shwi ();
1255       if (srcref->offrange[0] == srcref->offrange[1])
1260 		      srcref->offrange[1] + srcref->sizrange[1]).to_shwi ();
1269   acs.sizrange[1] = wi::smax (acs.dstsiz[1], srcref->sizrange[1]).to_shwi ();
1297 			      srcref->sizrange[0]).to_shwi ();
1299 			      srcref->sizrange[1]).to_shwi ();
1304   offset_int size = dstref->sizrange[0] + srcref->sizrange[0];
1314   if (!dstref->base || !srcref->base)
1334   acs.srcoff[0] = srcref->offrange[0];
1335   acs.srcoff[1] = srcref->offrange[1];
1337   if (srcref->base
1338       && TREE_CODE (TREE_TYPE (srcref->base)) == ARRAY_TYPE)
1343       if (tree size = TYPE_SIZE_UNIT (TREE_TYPE (srcref->base)))
1380   maxoff = acs.srcoff[0] + srcref->sizrange[0];
1384       acs.ovlsiz[1] = (acs.srcoff[0] + srcref->sizrange[1]
1390   if (dstref->base != srcref->base)
1396   acs.srcsiz[0] = srcref->sizrange[0];
1397   acs.srcsiz[1] = srcref->sizrange[1];
1405 	  sizrange[0] = wi::smax (acs.dstsiz[0], srcref->sizrange[0]).to_shwi ();
1406 	  sizrange[1] = wi::smax (acs.dstsiz[1], srcref->sizrange[1]).to_shwi ();
1429   const builtin_memref &srcref = *acs.srcref;
1453   if (srcref.offrange[0] == srcref.offrange[1]
1454       || srcref.offrange[1] > HOST_WIDE_INT_MAX)
1457 	     srcref.offrange[0].to_shwi ());
1461 	     srcref.offrange[0].to_shwi (),
1462 	     srcref.offrange[1].to_shwi ());
1585 		  || (srcref.offrange[0] == 0
1586 		      && srcref.offrange[1] == maxobjsize));
1590 		  || (srcref.offrange[0] == -maxobjsize - 1
1591 		      && srcref.offrange[1] == maxobjsize));
1997   builtin_memref srcref (src, srcsize);
2001   builtin_access acs (call, dstref, srcref);
2015       || maybe_diag_access_bounds (call, func, strict, srcref, 0, do_warn))
2108   fprintf (fp, "\n  srcref:");
2109   dump_builtin_memref (fp, *srcref);