https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84628
--- Comment #6 from Jay <jay.krell at cornell dot edu> --- Misplaced comment: But, the thing is, because optimization can remove the use of such functions, people are now advocating that we noinline along with the attribute, which hypothetically is unwarranted damage. Noinline being a partial disabling of optimization, not complete. See here: https://github.com/mono/mono/pull/7353 But it isn't clear as I said, if it is worth warning/error for what the source states, vs. what the optimizer divines from the code.