RE: [sdcc-devel] Serious bug report: genRet doesn't clean trash

[Kevin V. <kv...@en...>]

On 19-Sep-2000 Sandeep Dutta wrote:
> Could you
> send a small test case so that I can replicate the problem.

The only test case I have is the large one Johan submitted,
calculator.c (attached). The (edited) bad code looks like this:

if (...) {
    printf ("Verbose is now %s\n\r", (char *)(verbose?"on":"off"));
    return;
  }

If all registers are in use, the register allocater has to spill to
do the typecast and pass the parameters to printf. spilSomething pushs
the spilled symbol's registers and calls addiCodeToeBBlock to add the
iPop at the end of the block, but the return is generated first, and
so we never get to the iPop.

        Peace,
                Kevin