On Wed, Feb 08, 2017 at 04:32:08AM +0800, Christopher Li wrote: > On Wed, Feb 8, 2017 at 4:12 AM, Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: > > > > I'm very well aware of this bug/problem, it creates all sort of complications > > but I vaguely understood it was a design choice. To be 100%, you're talking > > the fact that each declaration create a new symbol only related by their > > identifier chain, right? > > Yes. I don't see a way not creating the symbol for each declaration. > However, we can make a better job at migrating the bits between each > declaration. I see roughly a way how we could do that but I'm far from being convinced it would be a good idea. The problem is not that we have one symbol per declaration, it's even not that we have several symbols for the same object, it's that we don't have a central place holding the information about the object. Like, for example, we can't answer something essential like "what is the type of this function" because we have as much types as we have declarations. So yes, verification of the comptability between the declarations and consolidate them is what is missing. Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
