Ok. Do you have specific comments on the patch? thanks,
David On Sun, Jul 8, 2012 at 4:20 AM, Jason Merrill <ja...@redhat.com> wrote: > On 07/07/2012 08:38 PM, Xinliang David Li wrote: >>> >>> It seems to me that what you have here are target-specific attributes >>> that >>> affect the signature of a function such that they make two declarations >>> different that would otherwise declare the same function. Stepping away >>> from >>> the specific notion of versioning, it seems that these are the questions >>> that you want the front end to be able to ask about these attributes: >>> >>> * Does this attribute affect a function signature? >> >> >> The question becomes if a caller 'bar' with target attribute 'x' can >> make a call to a function 'foo' with an incompatible target attribute >> 'y'. If the answer is no, then the target attribute is part of 'foo's >> signature. I think the answer is yes -- the attribute affects a >> function signature. > > > Yes, clearly the answer is yes for the target attribute. But I wasn't > asking someone to answer those questions; I was saying that those are the > questions the front end needs to be able to ask of the back end in order to > implement this functionality in a more generic way. > > Jason
