https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115138
--- Comment #23 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:61f5b3c59ed20438d7d9918d7a83d29a21097d4e commit r15-791-g61f5b3c59ed20438d7d9918d7a83d29a21097d4e Author: Richard Biener <rguent...@suse.de> Date: Thu May 23 11:26:14 2024 +0200 tree-optimization/115138 - ptr-vs-ptr and FUNCTION_DECLs I failed to realize we do not represent FUNCTION_DECLs or LABEL_DECLs in vars explicitly and thus have to compare pt.vars_contains_nonlocal. PR tree-optimization/115138 * tree-ssa-alias.cc (ptrs_compare_unequal): Make sure pt.vars_contains_nonlocal differs since we do not represent FUNCTION_DECLs or LABEL_DECLs in vars explicitly. * gcc.dg/torture/pr115138.c: New testcase.