[Bug middle-end/25140] New: aliases, including weakref, break alias analysis

["geoffk at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following program:

extern void abort (void);
int x = 0;
extern int y __attribute((weakref("x")));

int main(void)
{ 
  x = 1;
  y = 2;
  if (x != 2)
    abort ();
  return 0;
}

when compiled with -O2 on powerpc-darwin, unconditionally calls abort().  It
should not.


-- 
           Summary: aliases, including weakref, break alias analysis
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: geoffk at gcc dot gnu dot org
  GCC host triplet: *-*-*


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