array bounds checking?

[Dave Love]

 Craig> Array bounds checking comes to mind.  Yes, I'd like to knock
 Craig> this one off someday soon.  It'll probably take only a little
 Craig> research and time to do an f2c-equivalent job of it; much more
 Craig> to do a Digital-Fortran-style job.

Is this no longer proposed for the backend?  If not, I can probably do
it for Fortran with some advice on writing the tree code, for which I
couldn't find a suitable example.