------- Comment #4 from rguenth at gcc dot gnu dot org 2008-06-27 21:55 ------- Subject: Bug 36344
Author: rguenth Date: Fri Jun 27 21:54:42 2008 New Revision: 137204 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137204 Log: 2008-06-27 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/36400 PR tree-optimization/36373 PR tree-optimization/36344 * tree-ssa-structalias.c (var_escaped, escaped_tree, escaped_id, var_nonlocal, nonlocal_tree, nonlocal_id): New globals (update_alias_info): Remove call clobbering code. (make_constraint_to): New helper function. (make_escape_constraint): Likewise. (handle_rhs_call): Use it on all pointer containing arguments. Also mark the static chain escaped. (handle_lhs_call): Make constraints from NONLOCAL and ESCAPED instead of ANYTHING. (make_constraint_from): New helper split out from ... (make_constraint_from_anything): ... here. (find_func_aliases): Add constraints for escape sites. (intra_create_variable_infos): Make constraints from NONLOCAL for parameters. (find_what_p_points_to): Interpret NONLOCAL and ESCAPED the same as ANYTHING. (clobber_what_p_points_to): Remove. (clobber_what_escaped): New function. (init_base_vars): Init NONLOCAL and ESCAPED. (do_sd_constraint): Do not propagate the solution from ESCAPED but use ESCAPED as a placeholder. (solve_graph): Likewise. * tree-flow.h (clobber_what_p_points_to): Remove. (clobber_what_escaped): Declare. * tree-ssa-alias.c (set_initial_properties): Call it. Remove code clobbering escaped pointers. * gcc.dg/torture/pr36373-1.c: New testcase. * gcc.dg/torture/pr36373-2.c: Likewise. * gcc.dg/torture/pr36373-3.c: Likewise. * gcc.dg/torture/pr36373-4.c: Likewise. * gcc.dg/torture/pr36373-5.c: Likewise. * gcc.dg/torture/pr36373-6.c: Likewise. * gcc.dg/torture/pr36373-7.c: Likewise. * gcc.dg/torture/pr36373-8.c: Likewise. * gcc.dg/torture/pr36373-9.c: Likewise. * gcc.dg/torture/pr36373-10.c: Likewise. * gcc.dg/torture/pr36400.c: Likewise. * gcc.c-torture/execute/pta-field-1.c: Likewise. * gcc.c-torture/execute/pta-field-2.c: Likewise. * gcc.dg/tree-ssa/loadpre8.c: Remove XFAIL. * gcc.dg/tree-ssa/pr24287.c: XFAIL. Added: trunk/gcc/testsuite/gcc.c-torture/execute/pta-field-1.c trunk/gcc/testsuite/gcc.c-torture/execute/pta-field-2.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-1.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-10.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-2.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-3.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-4.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-5.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-6.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-7.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-8.c trunk/gcc/testsuite/gcc.dg/torture/pr36373-9.c trunk/gcc/testsuite/gcc.dg/torture/pr36400.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36344
