https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116143
--- Comment #6 from Segher Boessenkool <segher at gcc dot gnu.org> --- But even then, we should have something like attribute ((used)) to force it to always be considered used -- this is exactly what that attribute is for! It only doesn't have to be there if some symbol obviously is always used, but that even means it is not inlined and optimised away, so this isn't often so obvious even!