https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61951
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-09-17 CC| |jakub at redhat dot com Summary|-wExtra switch produce |-Wextra switch produce |warning: parameter 'ptr' |warning: parameter 'ptr' |set but not used |set but not used |[-Wunused-but-set-parameter |[-Wunused-but-set-parameter |] |] Ever confirmed|0 |1 --- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> --- Maybe Jakub is willing to have a look. Otherwise I may come to it.