Re: existing functionality questions

2005-09-07 Thread Mike Stump
On Sep 7, 2005, at 12:19 PM, Michael Tegtmeyer wrote: This doesn't need to be that sophisticated. So, the answer can be wrong and code generation won't be wrong? I don't know what you mean by *could have been* accessed. I don't even know what you mean by member. So in this case, I do no

Re: existing functionality questions

2005-09-07 Thread Michael Tegtmeyer
All of them is certainly safe, other answers require digging and thinking. A few points to ponder might include: Do you want to know about fields that are accessed indirectly though implicit/explicit calls? Do you want to know what fields are accessed by the compiler without the control of the

Re: existing functionality questions

2005-09-07 Thread Mike Stump
On Sep 7, 2005, at 8:58 AM, Michael Tegtmeyer wrote: 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. Ah, now we get to the the start of the real q

Re: existing functionality questions

2005-09-07 Thread Daniel Berlin
On Wed, 2005-09-07 at 13:25 -0400, Michael Tegtmeyer wrote: > > 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

Re: existing functionality questions

2005-09-07 Thread Michael Tegtmeyer
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) Ah, I guess I am not actually wording this cor

Re: existing functionality questions

2005-09-07 Thread Daniel Berlin
> 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 point

Re: existing functionality questions

2005-09-07 Thread Michael Tegtmeyer
M-x grep access cp/*.[ch] will show you the existing methods of access control. lookup_member would be a useful routine to set a breakpoint on and watch how it does it as well. Thanks for the reply, this is a static analysis pass so am I wrong in thinking that most of the functionality provid

Re: existing functionality questions

2005-09-06 Thread Mike Stump
On Sep 6, 2005, at 12:04 PM, Michael Tegtmeyer wrote: I am trying to find out what the existing method of determining whether or not something (function for example) can access a field of a structure. M-x grep access cp/*.[ch] will show you the existing methods of access control. lookup_m

existing functionality questions

2005-09-06 Thread Michael Tegtmeyer
Hello, I am trying to find out what the existing method of determining whether or not something (function for example) can access a field of a structure. For example: class A { public: int pub_var; void foo(/*implicit this* */) {...} private: int private_var; }; void bar(A