On Thu, May 14, 2020 at 03:32:38PM -0700, Linus Torvalds wrote: > > And gcc refuses to compile it with > > error: redefinition of ‘a’ > > which is admittedly very sane. > > So I think sparse is in the wrong here, and we should consider both > external and static symbols to be in the same scope and conflict with > each other unless their declarations match. Yes, I agree. I'll see what can be done for this. -- Luc