http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58950
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> --- I don't think you simply want a better fix for 54583, because for the testcase in #Comment 13 the new conditional setting TREE_NO_WARNING isn't used. Otherwise, I think it would be easy to tighten it via array_of_runtime_bound_p.