[Bug c++/61951] -Wextra switch produce warning: parameter 'ptr' set but not used [-Wunused-but-set-parameter]

[paolo.carlini at oracle dot com]

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.