diff options
| author | Richard Biener <rguenther@suse.de> | 2025-07-31 13:04:49 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2025-07-31 14:12:50 +0200 |
| commit | 0be8ffbc854410b65d45a72e843dc18b13fc7b0f (patch) | |
| tree | ef7023d8e35e59e17eb281e7c1bf37560b48ec44 | |
| parent | 479446beb4d212c19fe6b12d22a5dc6593798c47 (diff) | |
| download | gcc-0be8ffbc854410b65d45a72e843dc18b13fc7b0f.zip gcc-0be8ffbc854410b65d45a72e843dc18b13fc7b0f.tar.gz gcc-0be8ffbc854410b65d45a72e843dc18b13fc7b0f.tar.bz2 | |
tree-optimization/121323 - UBSAN error in ao_ref_init_from_ptr_and_range
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.
| -rw-r--r-- | gcc/tree-ssa-alias.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-ssa-alias.cc b/gcc/tree-ssa-alias.cc index 4119343..9b028e0 100644 --- a/gcc/tree-ssa-alias.cc +++ b/gcc/tree-ssa-alias.cc @@ -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 { |