Daniel Berlin wrote:
Here is the easy one: z_5 = a_3 + b_3 x_4 = z_5 + c_3 DEBUG(x, x_4) Reassoc may transform this into: z_5 = c_3 + b_3 x_4 = z_5 + a_3 DEBUG(x, x_4) Now x has the wrong value.
??x_4 looks like it has the value 'a_3 + b_3 + c_3' in both examples to me, although computed in different orders...
so isn't that still the right value? Andrew
