[Bug ipa/84628] attribute(warning/error) functions should not be merged together

[jay.krell at cornell dot edu]

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.