To-do test for eval "END OF TERMS" leaking
authorFather Chrysostomos <>
Fri, 9 Nov 2012 02:14:06 +0000 (18:14 -0800)
committerFather Chrysostomos <>
Fri, 9 Nov 2012 05:20:23 +0000 (21:20 -0800)
I found this memory leak by evaluating lines of the Copying file as
Perl code. :-)

The parser requires yylex to return exactly one token with each call.
Sometimes yylex needs to record a few tokens ahead of time, so its
puts them in its forced token stack.  The next call to yylex then pops
the pending token off that stack.

Ops belong to their subroutines.  If the subroutine is freed before
its root is attached, all the ops created when PL_compcv pointed
to that sub are freed as well.  To avoid crashes, the ops on the
savestack and the forced token stack are specially marked so they are
not freed when the sub is freed.

When it comes to evaluating "END OF TERMS AND CONDITIONS", the END
token causes a subroutine to be created and placed in PL_compcv.  The
OF token is treated by the lexer as a method call on the TERMS pack-
age.  The TERMS token is placed in the forced token stack as an sv in
an op for a WORD token, and a METHOD token for OF is returned.  As
soon as the parser sees the OF, it generates an error, which results
in LEAVE_SCOPE being called, which frees the subroutine for END while
TERMS is still on the forced token stack.  So the subroutine‚Äôs op
cleanup skips that op.  Then the parser calls back into the lexer,
which returns the TERMS token from the forced token stack.  Since
there has been an error, the parser discards that token, so the op
is never freed.  The forced token stack cleanup that happens in
parser_free does not catch this, as the token is no longer on
that stack.

I have not yet determined how to fix this problem.


index dda77ac..964bcbb 100644 (file)
@@ -15,7 +15,7 @@ BEGIN {
 use Config;
-plan tests => 57;
+plan tests => 58;
 # run some code N times. If the number of SVs at the end of loop N is
 # greater than (N-1)*delta at the end of loop 1, we've got a leak
@@ -209,6 +209,11 @@ eleak(2, !!$Config{mad}, 'no warnings; 2 2;BEGIN{}',
                 'implicit "use Errno" after syntax error');
 eleak(2, 0, "\"\$\0\356\"", 'qq containing $ <null> something');
+    local $::TODO = 'eval "END blah blah" still leaks';
+    eleak(2, 0, 'END OF TERMS AND CONDITIONS', 'END followed by words');
 # [perl #114764] Attributes leak scalars
 leak(2, 0, sub { eval 'my $x : shared' }, 'my $x :shared used to leak');