Typecasting information in MEM[...] GIMPLE

[Uday Khedker]

On 07/28/2015 01:06 PM, Richard Biener wrote:
> As Jakub said this is not the full story if you factor in type-based
> aliasing.  Also
> you of course have to account for the offset in operand 1.
>

Okay. We understood the details after a bit of reading.

For statement involving MEM[...],  TREE_TYPE (TREE_OPERAND (t, 1)) 
serves our purpose.

Thanks a lot to you and Jakub for the pointers :)

Uday.