Re: [cxx-abi-dev] restrict & overloading

[Mark Mitchell <mark@xxxxxxxxxxxxxxxx>]

> Adding restrict changes the type.  It is an
> interface element (e.g., telling the client code:
> Passing aliased arguments may burn you).  In that
> way, restrict is different from e.g. "const."
Yes, I understand: you are arguing that by mangling restrict you could 
prevent a class of user errors involving linking together things that 
should not be linked together.
I don't think the ABI design philosophy involved trying to prevent user 
errors -- it was just on doing what the standard required in an 
efficient manner.
--
Mark Mitchell
CodeSourcery, LLC
mark@xxxxxxxxxxxxxxxx