Store-copyprop not very bright

[Steven Bosscher]

Hi,

Consider this little snippet:
====================================
int x;

int
foo (int a)
{
  x = a;
  return x + 3;
}
====================================

With -fno-tree-dominator-opts, we do not optimize away the load
from x in "x + 3".  I would have expected store-copyprop to do
this, but apparently it doesn't.  So, Diego, is this a real bug
in store-copyprop or am I expecting too much of your pass here?

Gr.
Steven