[Bug c/116767] C const function pointer no code generated (or optimized out)

[muecker at gwdg dot de via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116767

--- Comment #7 from Martin Uecker <muecker at gwdg dot de> ---

I wonder whether there should be a warning when a declaration has the "const"
attribute, but the actual definition does not.