http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53220 --- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-20 07:19:33 UTC --- I agree, but once the array decays to a pointer it's hard to tell whether it's used in a safe or unsafe way.