https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64963
--- Comment #10 from Andi Kleen <andi-gcc at firstfloor dot org> --- Yes it has to be fixed. For example with the kernel __kprobes attribute it could cause a real bug (__kprobes marks function that cannot be safely instrumented) We shouldn't inline over different section names either, this could also cause problems for the same reason.
