From: Diego Novillo Date: Thu, 29 Jul 2004 20:16:26 +0000 (+0000) Subject: tree-ssa.c (verify_flow_sensitive_alias_info): When comparing points-to sets of diffe... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=118a8d02ca08c146be991ac3a10fa7c3b7743168;p=gcc.git tree-ssa.c (verify_flow_sensitive_alias_info): When comparing points-to sets of different pointers... * tree-ssa.c (verify_flow_sensitive_alias_info): When comparing points-to sets of different pointers, make sure the second pointer is actually referenced in the code. From-SVN: r85314 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 72b7576dbc4..b9e142f8966 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-07-29 Diego Novillo + + * tree-ssa.c (verify_flow_sensitive_alias_info): When + comparing points-to sets of different pointers, make sure the + second pointer is actually referenced in the code. + 2004-07-29 Zack Weinberg * config/ia64/ia64.c (setjmp_operand): Delete, unused. diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 3bb35954ca4..dd79b5a7d9f 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -471,7 +471,7 @@ verify_flow_sensitive_alias_info (void) tree ptr2 = ssa_name (j); struct ptr_info_def *pi2 = SSA_NAME_PTR_INFO (ptr2); - if (!POINTER_TYPE_P (TREE_TYPE (ptr2))) + if (!TREE_VISITED (ptr2) || !POINTER_TYPE_P (TREE_TYPE (ptr2))) continue; if (pi2