> Actually, that was the real question, nothing more. I need to be able to > determine what member fields of an object passed to a function are visible > to that function during an optimization pass. Is there existing > functionality somewhere to do that?
All of them, assuming you have a pointer to an object (since you can cast it however you like, unfortunately. We've discussed this before). If you just have a regular object passed by value, the fields accessible are those in TYPE_FIELDS of the type of the object, and those fields reachable through types in the TYPE_BINFOS (i don't remember whether we represent access control in binfos) --Dan
