This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Gimplifying Java
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: Andrew Haley <aph at redhat dot com>,Jeff Sturm <jsturm at one-point dot com>,gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 13 Jun 2003 14:58:48 -0400
- Subject: Re: [tree-ssa] Gimplifying Java
a = a; <--- how the hell is this true?
*actually*, this *does* occur.
I know because i short-circuited it just a week or so ago in the alias
code so that we don't add pointless constraints (uncommitted yet),
after noticing it actually occurring while debugging (ie lhs and rhs
trees were the same tree, not just going by printout):
/* Inference for simple assignment (lhs = rhs) */
static void
andersen_simple_assign (ops, lhs, rhs)
struct tree_alias_ops *ops ATTRIBUTE_UNUSED;
alias_typevar lhs;
alias_typevar rhs;
{
if (dump_file && (dump_flags & TDF_DETAILS))
fprintf (dump_file, "Simple assignment %s = %s\n",
alias_get_name (ALIAS_TVAR_DECL (lhs)),
alias_get_name (ALIAS_TVAR_DECL (rhs)));
if (lhs == rhs)
return;
^^^^^^^^^^^^^^^^^^^^^^