http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35831
--- Comment #11 from janus at gcc dot gnu.org 2011-09-11 20:48:40 UTC --- r178767 implements a check to reject the original c.l.f. test case as well as the one in comment #0. At this point I would tend to say that comment #2 is valid, but we also still fail to reject things like "a(1:2)" vs "a(1:3)".