Michael, I have applied your patch on top of revision 172217 on x86_64-apple-darwin10.7.0. So far I have only limited tests on the polyhedron test suite. The test nf.f90 (containing an automatic array) executes in less than 20s, compares to ~28s without the patch. However capacita.f90 is miscompiled (Segmentation fault at -O) and fatigue.f90 with -fwhole-program executes in ~7.5s instead of ~6.3s (with -Ofast).
Cheers, Dominique