https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80806
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- Right, const could be used in lieu of an "in" attribute for warnings. It can't be used for the same thing for optimization because constness can be cast away. Bug 10138 has a good discussion on the subject. Let me see if I can prototype something.
