------- Comment #6 from pinskia at gcc dot gnu dot org 2006-05-05 09:17 ------- the issue for foo might be considered a different harder issue to resolve. I think we need to decide what type is the argument for the ARRAY_REF, is it the type which the ARRAY has for its bounds or some other type?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19792
