I resolved. "$r0 = M[0]" means that $r[0] is a reference to M[0], so any change to $r0 reflects also in M[0].
Cristina
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100618/3bb7b16c/attachment.html