[LLVMdev] PROPOSAL: struct-access-path aware TBAA (should we use offset+size instead of path?)

[Shuxin Yang]

The "context" is so scary, I eliminate all of them...

One dumb question, if the compiler does not even know the base-addr of 
the memory access,
why "offset + size" help?