------- Comment #3 from mikael at gcc dot gnu dot org 2010-07-02 08:45 ------- It could be useful at several places to have a function traversing the code of a procedure and telling whether an array is read or written to by that procedure.
It should be quite doable for the write case (only assignments and procedure calls to care about). For the read case, however, it could take some time to get it right, as every statement has its own parameters with its own restrictions and assumptions. This is pure speculation anyway. By the way, what is the complete (or reduced) test case ? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44773