Programmer's Guide: $OPTIMIZATION isn't a local directive
Summary
According to comment in source@e89669be (still in trunk), the {$OPTIMIZATION} directive isn't truly local. At the very least, {$PUSH}/{$POP} doesn't work for it.
According to comment in source@e89669be (still in trunk), the {$OPTIMIZATION} directive isn't truly local. At the very least, {$PUSH}/{$POP} doesn't work for it.