https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80660
--- Comment #2 from drepper.fsp+rhbz at gmail dot com <drepper.fsp+rhbz at gmail dot com> --- final shouldn't be needed in this case. It's an object that is used, the type is known.
drepper.fsp+rhbz at gmail dot com Mon, 08 May 2017 01:54:48 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80660
--- Comment #2 from drepper.fsp+rhbz at gmail dot com <drepper.fsp+rhbz at gmail dot com> --- final shouldn't be needed in this case. It's an object that is used, the type is known.