On Wed, Apr 04, 2007 at 04:35:08PM +0200, Zdenek Dvorak wrote: > For each memory reference, we remember the following information: > > -- base of the reference > -- constant offset > -- vector of indices > -- type of the accessed location > -- original tree of the memory reference (or another summary of the > structure of the access, for aliasing purposes) > -- flags
What do you do with Ada COMPONENT_REFs, at a variable offset? In general I'd be pretty happy not handling them, and having them drop to arithmetic outside the mem_ref. But it's something to think about. I think the whole idea is promising. r~
