http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60223
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> --- Marek, are you sure about r180707 ?!? It's supposed to be only about command line options names... Please confirm and in case CC Jason.