https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126222
--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:ddeb9b30a26ce61c836efe70893c77a67f7b737e commit r17-2518-gddeb9b30a26ce61c836efe70893c77a67f7b737e Author: Andrew MacLeod <[email protected]> Date: Fri Jul 17 11:53:51 2026 -0400 use vrp_operand_equal_p in points to comparisons. IPA iunshares points-to info for prange storage objects. This means they may point to the same logical object, but have different physical pointer values. A prange_storage object is a hunk of memory, and it will continue to use raw pointer comparisons for equality. Otherwise things like hash table lookups will think there are different hashs for the same item. Prange however should use vrp_operand_equal_p for comparisons. This will prevent two prange objects from comparing unequal due to tree unsharing. PR tree-optimization/126222 * value-range-storage.cc (prange_storage::equal_p): Comment change. * value-range.h (prange::pt_equal_p): Use vrp_operand_equal_p.
