[Bug middle-end/96564] [11/12/13/14/15 Regression] New maybe use of uninitialized variable warning since r11-959

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96564

--- Comment #18 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:f3e5f4c58591f5dacdd14a65ec47bbe310df02a0

commit r15-580-gf3e5f4c58591f5dacdd14a65ec47bbe310df02a0
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Mar 11 11:17:32 2024 +0100

    tree-optimization/13962 - handle ptr-ptr compares in ptrs_compare_unequal

    Now that we handle pt.null conservatively we can implement the missing
    tracking of constant pool entries (aka STRING_CST) and handle
    ptr-ptr compares using points-to info in ptrs_compare_unequal.

            PR tree-optimization/13962
            PR tree-optimization/96564
            * tree-ssa-alias.h (pt_solution::const_pool): New flag.
            * tree-ssa-alias.cc (ptrs_compare_unequal): Handle pointer-pointer
            compares.
            (dump_points_to_solution): Dump the const_pool flag, fix guard
            of flag dumping.
            * gimple-pretty-print.cc (pp_points_to_solution): Likewise.
            * tree-ssa-structalias.cc (find_what_var_points_to): Set
            the const_pool flag for STRING.
            (pt_solution_ior_into): Handle the const_pool flag.
            (ipa_escaped_pt): Initialize it.

            * gcc.dg/tree-ssa/alias-39.c: New testcase.
            * g++.dg/vect/pr68145.cc: Use -fno-tree-pta to avoid UB
            to manifest in transforms no longer vectorizing this testcase
            for an ICE.