]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
tree-optimization/121323 - UBSAN error in ao_ref_init_from_ptr_and_range
authorRichard Biener <rguenther@suse.de>
Thu, 31 Jul 2025 11:04:49 +0000 (13:04 +0200)
committerRichard Biener <rguenther@suse.de>
Fri, 1 Aug 2025 07:20:03 +0000 (09:20 +0200)
We should check the offset fits a HWI when multiplied to be in bits.

PR tree-optimization/121323
* tree-ssa-alias.cc (ao_ref_init_from_ptr_and_range): Check
the pointer offset fits in a HWI when represented in bits.

(cherry picked from commit 0be8ffbc854410b65d45a72e843dc18b13fc7b0f)

gcc/tree-ssa-alias.cc

index 9dd1780867d4a8ef25effa282022a8ad20987767..f60ed09514e994ea711ce7cc63b7d50fea29ce8a 100644 (file)
@@ -901,7 +901,9 @@ ao_ref_init_from_ptr_and_range (ao_ref *ref, tree ptr,
   if (TREE_CODE (ptr) == ADDR_EXPR)
     {
       ref->base = get_addr_base_and_unit_offset (TREE_OPERAND (ptr, 0), &t);
-      if (ref->base)
+      if (ref->base
+         && coeffs_in_range_p (t, -HOST_WIDE_INT_MAX / BITS_PER_UNIT,
+                               HOST_WIDE_INT_MAX / BITS_PER_UNIT))
        ref->offset = BITS_PER_UNIT * t;
       else
        {