https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123160
--- Comment #8 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:a5ab19d9db2d13db3ea21d0b2a0e3e5e02766bc8 commit r17-1602-ga5ab19d9db2d13db3ea21d0b2a0e3e5e02766bc8 Author: Andrew MacLeod <[email protected]> Date: Mon Jun 1 14:28:33 2026 -0400 Switch VRP to use prange. Use the points-to info in prange instead olf the value-range-equiv side table in VRP. Adjust testcases: - PTA causes less mem*_chk routines to be generated. - Gimple fold is causing issues by not properly handling pointer_plus. See PR 123160. XFAILing until resolved. - Adding noipa prevents VRP from propagating IPA info causing a failure. gcc/ * tree-vrp.cc (rvrp_folder::value_of_expr): Use prange PTA info. (value_on_edge): Likewise. gcc/testsuite/ * gcc.c-torture/execute/builtins/memcpy-chk.c: Adjust. * gcc.c-torture/execute/builtins/memmove-chk.c: Adjust. * gcc.dg/builtin-object-size-4.c: XFAIL until pr123160 is fixed. * gcc.dg/builtin-dynamic-object-size-4.c: Likewise. * gcc.misc-tests/gcov-14.c: Add noipa.
