------- Comment #9 from rguenth at gcc dot gnu dot org 2007-09-02 14:03 ------- "What does bar get back to? Are you saying if a pointer is passed to bar, it can get back to any original struct where the pointer is a field?"
No, but if you pass a pointer to a field of a struct the callee may derive the address of the containing object and modify it. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33279
