Correct handling of variable offset minus constant in -Warray-bounds [PR100137]

[thirdparty/gcc.git] / gcc / builtins.h

diff --git a/gcc/builtins.h b/gcc/builtins.h
index e71f40c300a1e244b61409cda7dcdf893f79a2ee..a64ece3f1cd9aed195cd2e5ec5383d4a96e39bf8 100644 (file)
--- a/gcc/builtins.h
+++ b/gcc/builtins.h
@@ -222,6 +222,9 @@ struct access_ref
      argument to the minimum.  */
   offset_int size_remaining (offset_int * = NULL) const;
 
+/* Return true if the offset and object size are in range for SIZE.  */
+  bool offset_in_range (const offset_int &) const;
+
   /* Return true if *THIS is an access to a declared object.  */
   bool ref_declared () const
   {
@@ -261,6 +264,8 @@ struct access_ref
   /* Range of byte offsets into and sizes of the object(s).  */
   offset_int offrng[2];
   offset_int sizrng[2];
+  /* The minimum and maximum offset computed.  */
+  offset_int offmax[2];
   /* Range of the bound of the access: denotes that the access
      is at least BNDRNG[0] bytes but no more than BNDRNG[1].
      For string functions the size of the actual access is