https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128008
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:b51998e2208b36fef6a1f68a18fdd6e562f910a4 commit r17-5394-gb51998e2208b36fef6a1f68a18fdd6e562f910a4 Author: Richard Biener <[email protected]> Date: Tue Oct 20 09:53:58 2026 +0200 tree-optimization/128008 - missing PTA constraints for parameter field The following addresses an issue with the recursion prevention when generating fake pointed-to variables for restrict qualified parameters. When we are not creating a fake pointed-to variable we have to put in a constraint from NONLOCAL as otherwise the points-to set of a restrict qualified variable/field will be empty. This also fixes the latent issue that pointed-to types with placeholders never got any constraints. PR tree-optimization/128008 * gimple-ssa-pta-constraints.cc (create_variable_info_for_1): Upon detecting recursion to the same structure type add a constraint from nonlocal. * gcc.dg/torture/pr128008.c: New testcase.
