http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44194
Easwaran Raman <eraman at google dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |eraman at google dot com
--- Comment #13 from Easwaran Raman <eraman at google dot com> 2011-04-15
19:18:25 UTC ---
Richard, did you mean to write
static bool
can_escape (tree expr)
{
tree base;
if (!expr)
return true;
base = get_base_address (expr);
if (DECL_P (base)
&& (!may_be_aliased (base)
&& !pt_solution_includes (&cfun->gimple_df->escaped, base)))
return false;
return true;
}
Only case when we know it doesn't escape is if bas is a DECL_P and is not in
cfun->gimple_df->escaped and not aliased, right? Actually, I'm wondering if it
is sufficient to test just
DECL_P (base) && !pt_solution_includes (&cfun->gimple_df->escaped, base).
