The key here is "check in". If somebody can check a change in, he can wreak all sorts of
havoc, much of it even more subtle than function attribute changes.
Besides, using function attributes like this to be a sort of post-benchmarking magic that
undergoes strict code review.