[Bug tree-optimization/17064] -falias-noargument-global doesn't eliminate dead stores/loads

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

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-07 19:00 -------
Another testcase this time for loads:
#include <stdlib.h>
int i;

void bar(void)
{
  i = 42;
}

int foo(int * p)
{
  int i = *p;
  bar ();
  return *p + i;/* This load is dead with -fargument-noalias-global.  */
}

int main()
{
  int t = 2;
  int t1;
  t1 = foo(&t);
  if (t1 != 4)
    abort();
  return 0;
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|-falias-noargument-global   |-falias-noargument-global
                   |doesn't eliminate dead      |doesn't eliminate dead
                   |stores                      |stores/loads


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