[...] the
compiler can make assumptions like "neither T nor S points
into either T or S"
I don't think you're right about that. [...]
I said "points into either T or S", not "points into what either T or S
points to". That is, "*T = X;" may change S (as opposed to changing
the memory S points to).
/~\ The ASCII Mouse
\ / Ribbon Campaign
X Against HTML mouse at
rodents-montreal.org
/ \ Email! 7D C8 61 52 5D E7 2D 39 4E F1 31 3E E8 B3 27 4B