https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18487
--- Comment #27 from Federico Kircheis <federico.kircheis at gmail dot com> --- Edit: sorry, my last comment about what GCC thinks is wrong. GCC seems to follow the gnu::pure/gnu::const directive to the letter, it does not ignore it when it sees the implementation of the function, thus my comment about information are already available can be ignored.