public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/22254] New: We never call may_alias_p for PARM_DECL's
@ 2005-06-30 15:33 dberlin at gcc dot gnu dot org
  2005-06-30 15:33 ` [Bug tree-optimization/22254] " dberlin at gcc dot gnu dot org
                   ` (3 more replies)
  0 siblings, 4 replies; 6+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2005-06-30 15:33 UTC (permalink / raw)
  To: gcc-bugs

Given a simple testcase
/* Two int arrays testcase for ipaa.  */

#define N 11

void f ();
void g (int* g1, int* g2);

main ()
{
  f();
  return; 
}

void f ()
{
  int a[N];
  int b[N];
  g(a,b);
  return; 
}

void g (int* g1, int* g2)
{
  int i;
  for (i=0; i < N; i++)
    g1[i] = g2[i];
}

may_alias_p is never called.

However, Interprocedural Alias Analysis can tell us these formals never alias.

We need to be able to take this kind of analysis into account in our representation.

-- 
           Summary: We never call may_alias_p for PARM_DECL's
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dberlin at gcc dot gnu dot org
                CC: dnovillo at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22254


^ permalink raw reply	[flat|nested] 6+ messages in thread
end of thread, other threads:[~2006-03-10 15:45 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-22254-1@http.gcc.gnu.org/bugzilla/>
2005-10-02  2:05 ` [Bug tree-optimization/22254] We never call may_alias_p for PARM_DECL's dberlin at dberlin dot org
2006-03-10 15:45 ` dnovillo at gcc dot gnu dot org
2005-06-30 15:33 [Bug tree-optimization/22254] New: " dberlin at gcc dot gnu dot org
2005-06-30 15:33 ` [Bug tree-optimization/22254] " dberlin at gcc dot gnu dot org
2005-06-30 15:39 ` pcarlini at suse dot de
2005-06-30 16:41 ` steven at gcc dot gnu dot org
2005-06-30 17:12 ` dberlin at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).