[cxx-abi-dev] restrict & overloading

[Mark Mitchell]

> 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 at codesourcery.com