Re: Assignment statement isn't parsing

[Patrick LAM <plam@sable.mcgill.ca>]

On Wed, 27 Feb 2002, Nathan Kitchen wrote:

>          A r0;
>          boolean z0;
>
>          r0 := @this;
>          z0 = 0;
>          A.calc();
>          return;

This is caused by the copy propagator.  Note that the assignment to z0 is
dead.  But if you really feel strongly about that assignment, the phase
option -p jb no-cp will restore it, as would any use of the value.

(This isn't completely true, because the copy propagator doesn't remove
statements; I think it's actually the dead assignment eliminator which
does it, but if copy propagation is not enabled, the dae doesn't get to
eliminate the statement.)

pat