On 11/28/2014 09:41 AM, Jakub Jelinek wrote:
Why do you look through ARRAY_REF here? An element of an array is its own complete object.That had to do with only instrumenting dereferences surrounded by handled components, but not accesses to decls (so p->x gets instrumented but q.x for VAR_DECL q is not).
That also seems like an optimization we decided we don't want; we know what type q was declared as, but its vptr might have gotten clobbered by code with undefined behavior.
Jason
