Tristan Wibberley <[EMAIL PROTECTED]> writes: > The types are defined in headers and are thus known > to exist - no visibility attributes will or should change that.
The question here is not whether the types exist, but which types are the same as which other types. I think that what you want is a model of visibility in which all types are always visible. Although abstractly such a model is possible, I think it's less useful than the current model, because it makes it hard to isolate shared libraries from each other. It is certainly possible to emulate such a model with the current GCC, if it's what you want, by simply not marking types as hidden.
