------- Comment #16 from pinskia at gcc dot gnu dot org 2007-06-14 01:02 ------- The problem is that it needs also source style scoping also: take: int f(int *a); int g(int b) { { int c; f(&c); } { int c1; f(&c1); } }
Without source based ones, we don't know if c/c1 can ever be shared. I have code here at Sony where we actually depend on this behavior with large structs (and arrays). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32327