From a1d13fa1672efeaf2886bb4184b6e73874c092ca Mon Sep 17 00:00:00 2001 From: Diego Novillo Date: Tue, 1 Feb 2005 20:30:07 +0000 Subject: re PR tree-optimization/19633 (local address incorrectly thought to escape) PR tree-optimization/19633 * tree-flow.h (struct ptr_info_def): Add field 'pt_null'. * tree-ssa-alias.c (init_alias_info): Initialize. (merge_pointed_to_info): Set. (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer. (dump_points_to_info_for): Show value of pt_null. (struct count_ptr_d): Declare. (find_ptr_dereference): Remove. (ptr_is_dereferenced_by): Remove. (count_ptr_derefs): New local function. (count_uses_and_derefs): New local function. (compute_points_to_and_addr_escape): Call it. If the number of dereferences is greater than zero, mark the pointer as dereferenced. If there are fewer dereferences than uses of the pointer, the pointer's value escapes. testsuite/ChangeLog PR tree-optimization/19633 * testsuite/gcc.dg/pr19633-1.c: New test. * testsuite/gcc.dg/pr19633.c: Tweak to make pointer point to NULL or a symbol. From-SVN: r94558 --- gcc/tree-flow.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gcc/tree-flow.h') diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 55ff2e7..d8d64fb 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -66,6 +66,9 @@ struct ptr_info_def GTY(()) /* Nonzero if this pointer points to a global variable. */ unsigned int pt_global_mem : 1; + /* Nonzero if this pointer points to NULL. */ + unsigned int pt_null : 1; + /* Set of variables that this pointer may point to. */ bitmap pt_vars; -- cgit v1.1