https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88936
--- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Mon Apr 15 10:09:08 2019 New Revision: 270366 URL: https://gcc.gnu.org/viewcvs?rev=270366&root=gcc&view=rev Log: 2019-04-15 Richard Biener <rguent...@suse.de> PR ipa/88936 * tree.h (auto_var_p): Declare. * tree.c (auto_var_p): New function, split out from ... (auto_var_in_fn_p): ... here. * tree-ssa-structalias.c (struct variable_info): Add shadow_var_uid member. (new_var_info): Initialize it. (set_uids_in_ptset): Also set the shadow variable uid if required. (ipa_pta_execute): Postprocess points-to solutions assigning shadow variable uids for locals that may reach their containing function recursively. * tree-ssa-ccp.c (fold_builtin_alloca_with_align): Do not assert but instead check whether the points-to solution is a singleton. * gcc.dg/torture/pr88936-1.c: New testcase. * gcc.dg/torture/pr88936-2.c: Likewise. * gcc.dg/torture/pr88936-3.c: Likewise. Added: trunk/gcc/testsuite/gcc.dg/torture/pr88936-1.c trunk/gcc/testsuite/gcc.dg/torture/pr88936-2.c trunk/gcc/testsuite/gcc.dg/torture/pr88936-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-ccp.c trunk/gcc/tree-ssa-structalias.c trunk/gcc/tree.c trunk/gcc/tree.h