19 min agoFix misparse of "Ind" as NaN (long story...) [perl #122843] blead
Jarkko Hietaniemi [Mon, 20 Oct 2014 22:33:41 +0000]
Fix misparse of "Ind" as NaN (long story...) [perl #122843]

While at it, add more "false nan" parse tests.

2 hours agoFix stack-management bug when semctl encounters errors
Aaron Crane [Mon, 20 Oct 2014 14:22:52 +0000]
Fix stack-management bug when semctl encounters errors

The success cases in pp_semctl both push a single value to the stack, but
the error case merely set the topmost stack value to undef. The fix is to
push an undef.

This bug manifests most obviously as an "uninitialized value in list slice"
warning when doing something like `my $test = (semctl -1,0,0,0)[0]`; that
was reported out-of-band to rjbs.

2 hours agoMake null list+pushmark happen in more cases
Father Chrysostomos [Fri, 17 Oct 2014 04:52:32 +0000]
Make null list+pushmark happen in more cases

This optimisation, added in 7d3c8a683, nulls the list+pushmark pair if
it occurs in list context, since the two ops effectively cancel each
other out.  I recently extended it in 8717a761e to apply to void con-
text, too.

It works by checking in the peephole optimiser whether the sibling of
the current op is a list with a pushmark kid:

1   current op
4   list
2     pushmark
3     ...
5   ...

That means the optimisation doesn’t happen if the elder sibling of the
list op is something that is not part of the execution chain, such as
$package_var:

-   ex-rv2sv
1     gvsv
4   list
2     pushmark
3     ...
5   ...

because the ex-rv2sv is never the ‘current op’.  So ($_,($_,$_))
doesn’t get optimised.

We can’t just handle this when ‘pushmark’ or ‘list’ is the current
op, because, in the former case, there is no way to get to the parent
op to null it; in the latter case, there is no way to get to the op
pointing to pushmark, to rethread the op_next pointers.

However, handling this when list or void context is applied, before we
even get to the peephole optimiser, just works, and requires much less
code.  We can just null the ops there, and leave it to the peephole
optimiser’s handling of null ops to rethread op_next pointers.

This breaks this convention:

    op_prepend_elem(OP_LIST, foo, list(that_list))

by creating two redundant null ops that were not there before, but the
only pieces of code doing that were calling list() needlessly anyway.

3 hours agoMore actions to take when bumping the version number.
Abigail [Mon, 20 Oct 2014 19:40:27 +0000]
More actions to take when bumping the version number.

3 hours agoBump the perl version in various places for 5.21.6
Abigail [Mon, 20 Oct 2014 19:38:43 +0000]
Bump the perl version in various places for 5.21.6

3 hours agoregen/opcode.pl run for 5.21.6
Abigail [Mon, 20 Oct 2014 19:38:11 +0000]
regen/opcode.pl run for 5.21.6

3 hours agoCall string overloading once in join($ov,...)
Father Chrysostomos [Sun, 19 Oct 2014 21:14:05 +0000]
Call string overloading once in join($ov,...)

3 hours agof_map.t: Remove version checks
Father Chrysostomos [Sat, 18 Oct 2014 17:13:25 +0000]
f_map.t: Remove version checks

This is unmaintainable.  Adding optimisations that change most of the
sequence numbers will mean duplicating the contents of the file in one
big ‘if’ statement.

3 hours agore_tests: More tests for #122890
Father Chrysostomos [Mon, 20 Oct 2014 05:15:15 +0000]
re_tests: More tests for #122890

These two are from JE’s test suite.

4 hours agoNew perldelta for 5.14.6
Abigail [Mon, 20 Oct 2014 18:29:11 +0000]
New perldelta for 5.14.6

4 hours agoEpigraph for 5.21.5
Abigail [Mon, 20 Oct 2014 18:01:40 +0000]
Epigraph for 5.21.5

8 hours agoAdded 5.21.5 release to perlhist release-5.21.5 v5.21.5
Abigail [Mon, 20 Oct 2014 14:38:09 +0000]
Added 5.21.5 release to perlhist

8 hours agoBe consistent when it comes to (not) terminating =heads with a period.
Abigail [Mon, 20 Oct 2014 13:59:54 +0000]
Be consistent when it comes to (not) terminating =heads with a period.

9 hours agoUpdate acknowledgements in perldelta
Abigail [Mon, 20 Oct 2014 13:50:52 +0000]
Update acknowledgements in perldelta

9 hours agoList updated modules in perldelta
Abigail [Mon, 20 Oct 2014 13:32:33 +0000]
List updated modules in perldelta

9 hours agoUse F<> for files, not L<>
Abigail [Mon, 20 Oct 2014 13:04:17 +0000]
Use F<> for files, not L<>

10 hours agoUpdate Module::CoreList for 5.21.5
Abigail [Mon, 20 Oct 2014 12:16:47 +0000]
Update Module::CoreList for 5.21.5

10 hours agoList files to modify.
Abigail [Mon, 20 Oct 2014 11:59:58 +0000]
List files to modify.

Explicitely list the files to modify when upping/checking the VERSION
of the various CoreList modules, for easy copy-and-pasting.

I grew tired of running find.

11 hours agoDocument not to use test.pl here.
Jarkko Hietaniemi [Mon, 20 Oct 2014 10:53:25 +0000]
Document not to use test.pl here.

(Whether that's wise is another matter.)

13 hours agofix typo in regen/opcode.pl
David Mitchell [Fri, 17 Oct 2014 14:08:22 +0000]
fix typo in regen/opcode.pl

13 hours agopp_av2arylen(): rename var from 'sv' to svp'
David Mitchell [Fri, 17 Oct 2014 13:29:33 +0000]
pp_av2arylen(): rename var from 'sv' to svp'

Conventionally we name variables of type 'SV**' svp rather than sv.
Calling the var 'sv' in this small function initially confused me,
so rename it.

14 hours agot/re/re_tests: Add test for perl #122890
Yves Orton [Mon, 20 Oct 2014 08:28:12 +0000]
t/re/re_tests: Add test for perl #122890

14 hours agot/re/re_tests: put comment in correct column
Yves Orton [Mon, 20 Oct 2014 08:27:55 +0000]
t/re/re_tests: put comment in correct column

14 hours agoAdd test names to t/re/regexp.t and friends
Yves Orton [Mon, 20 Oct 2014 08:26:20 +0000]
Add test names to t/re/regexp.t and friends

18 hours agothese permissions appear to be handled correctly in current cygwin tonyc/cygwin-fixes
Tony Cook [Mon, 20 Oct 2014 04:29:01 +0000]
these permissions appear to be handled correctly in current cygwin

this TODO has been passing on my smoke testers for years, if it turns
out it isn't passing for someone, it should probably be skipped
instead of TODOed to prevent the noise.

18 hours agouse a different name for the test directory
Tony Cook [Mon, 20 Oct 2014 04:13:21 +0000]
use a different name for the test directory

on Windows (cygwin) I was getting rare failures creating $copy1 with
an error complaining that it was a directory, possibly due to some
background process tracking directories.

19 hours agowrap the failing call_checker test in an eval and TODO it
Tony Cook [Mon, 20 Oct 2014 03:08:16 +0000]
wrap the failing call_checker test in an eval and TODO it

this allows the rest of the test script to run, and will help make other
cygwin test issues more obvious once the other failures are fixed or
worked-around

22 hours agoIRIX: OS mixup in 1d850a6a.
Jarkko Hietaniemi [Mon, 20 Oct 2014 00:32:24 +0000]
IRIX: OS mixup in 1d850a6a.

Dangers of having too many login sessions open.

22 hours agodump.c: Fix C++ build
Father Chrysostomos [Mon, 20 Oct 2014 00:16:39 +0000]
dump.c: Fix C++ build

22 hours agosignatures.t: To-do tests for #123010
Father Chrysostomos [Sun, 19 Oct 2014 20:51:25 +0000]
signatures.t: To-do tests for #123010

24 hours agoregcomp.c: study_chunk(): Avoid unnecessary recursion.
Yves Orton [Sun, 19 Oct 2014 22:16:37 +0000]
regcomp.c: study_chunk(): Avoid unnecessary recursion.

Avoid unnecessary recursion with regex subroutines. When we are inside
of a DEFINE we do not need to, and should not, recurse. And once an
infinite construct has been seen and we are not tracking the start
class then we do not /need/ to, at the cost of possibly pessimizing
minlen checks. For instance in

 /(?(DEFINE)(?<p>foo|wozzit))a+(?&p)/

entering 'p' via recursion would only tell us that the minlen was
actually 4 instead of being 1, something that would not make us
match incorrectly. This can be improved in a later commit.

The side effect of not recursing in such situations is that large
patterns such as that in RT #122283 compile in a reasonable amount
of time.

24 hours agoregcomp.c: Add comment.
Yves Orton [Sun, 19 Oct 2014 20:48:44 +0000]
regcomp.c: Add comment.

24 hours agoregcomp.c: study_chunk(): Reset the entire data struct, not just a bit of it.
Yves Orton [Sun, 19 Oct 2014 20:48:14 +0000]
regcomp.c: study_chunk(): Reset the entire data struct, not just a bit of it.

24 hours agoregcomp.c: Improve advanced re debug output
Yves Orton [Sun, 19 Oct 2014 20:45:35 +0000]
regcomp.c: Improve advanced re debug output

use pv_pretty(), add better flags information, and a more compact
recurse bitmap frame outpute, etc.

24 hours agodump.c: Add PERL_PV_PRETTY_EXACTSIZE option
Yves Orton [Sun, 19 Oct 2014 20:43:21 +0000]
dump.c: Add PERL_PV_PRETTY_EXACTSIZE option

Sometimes we want things to fit exactly into a specific number
of chars, elipses, quotes and all. Includes make regen update
to make dsv argument nullok.

24 hours agoregcomp.c: Fixup debug output so it matches other messages in context
Yves Orton [Sun, 19 Oct 2014 15:19:50 +0000]
regcomp.c: Fixup debug output so it matches other messages in context

24 hours agoregcomp.c: Improve re debug output by showing buffer names if they exist
Yves Orton [Wed, 15 Oct 2014 21:03:35 +0000]
regcomp.c: Improve re debug output by showing buffer names if they exist

Requires adding a new optional argument to regprop as we do not
have a completed regexp object to give us the names, and we need
to get it from RExC_state.

24 hours agoregcomp.c: study_chunk(): improve branch-branch comment
Yves Orton [Sun, 12 Oct 2014 21:08:42 +0000]
regcomp.c: study_chunk(): improve branch-branch comment

24 hours agoregcomp.c: study_chunk(): whitespace fixup for legibility
Yves Orton [Sun, 12 Oct 2014 21:05:11 +0000]
regcomp.c: study_chunk(): whitespace fixup for legibility

24 hours agoregcomp.c: eliminate memory leak from GOSUB/GOSTART regops
Yves Orton [Sun, 12 Oct 2014 19:28:57 +0000]
regcomp.c: eliminate memory leak from GOSUB/GOSTART regops

We can reuse previously allocated frames and avoid blowing
up memory during regex compile of complex recursive patterns.

A pattern like that reported in RT #122283 would chew up all
avaiable memory allocating new frames each time it recursed.

24 hours agoregcomp.c: reuse temporary debugging temp sv's
Yves Orton [Sun, 12 Oct 2014 19:26:31 +0000]
regcomp.c: reuse temporary debugging temp sv's

For dumping regex debug state we need some temporary SV's on hand
to pass into regprop() which writes into an SV to do it's thing.
Allocating a new mortal SV every time we want to do this is very
wasteful, and manifests as a "leak" in very long compiles such as
when debugging issues like RT #122283.

By storing the SV's in RExC_state_t we can reuse them during the
compilation process and avoid leaking memory for nothing.

24 hours agoregcomp.c: struct scan_frame: rename members for clarity
Yves Orton [Sun, 12 Oct 2014 16:18:38 +0000]
regcomp.c: struct scan_frame: rename members for clarity

Rename some members of scan_frame so it is easier to understand what
they are for, in preparation for adding some more members.

24 hours ago/tmp can have (low) quotas on the number of files.
Jarkko Hietaniemi [Sun, 19 Oct 2014 21:50:22 +0000]
/tmp can have (low) quotas on the number of files.

/tmp, or wherever tempdir happens.

Happened in IRIX, but applicable anywhere.

25 hours agoIRIX: fsync documented to fail on read-only filehandles.
Jarkko Hietaniemi [Sun, 19 Oct 2014 21:37:42 +0000]
IRIX: fsync documented to fail on read-only filehandles.

28 hours agoFix crash with ‘join,’ caused by 987c96916
Father Chrysostomos [Sun, 19 Oct 2014 18:06:48 +0000]
Fix crash with ‘join,’ caused by 987c96916

29 hours agoperldelta: Update the Inf and Nan entry.
Abigail [Sun, 19 Oct 2014 17:30:44 +0000]
perldelta: Update the Inf and Nan entry.

jhi says properly explaining the long-double and double-double requires
much more detail, so he suggested dropping mentioning it.

30 hours agoperldelta: Mention that IRIX and Tru64 are regained platforms.
Abigail [Sun, 19 Oct 2014 16:39:44 +0000]
perldelta: Mention that IRIX and Tru64 are regained platforms.

30 hours agoFix spelling in perldelta
Abigail [Sun, 19 Oct 2014 16:29:19 +0000]
Fix spelling in perldelta

Using ispell. Ispell does complain about "Acknowledgements", suggesting
"Acknowledgments", but Merriam-Webster recognizes "Acknowledgements" as
a valid variation.

30 hours agoAn error cannot be both new, and reworded.
Abigail [Sun, 19 Oct 2014 16:17:17 +0000]
An error cannot be both new, and reworded.

30 hours agoReplace "message" with the actual message.
Abigail [Sun, 19 Oct 2014 16:16:08 +0000]
Replace "message" with the actual message.

Otherwise, the formatted delta will just list "message" when listing
new errors, instead of the actual messages.

30 hours agoAnother perldelta entry
Abigail [Sun, 19 Oct 2014 16:10:32 +0000]
Another perldelta entry

31 hours agoperlvar: Note a deprecation
Karl Williamson [Sun, 19 Oct 2014 14:57:26 +0000]
perlvar: Note a deprecation

31 hours agoperldelta: Typo, clarification
Karl Williamson [Thu, 16 Oct 2014 18:54:53 +0000]
perldelta: Typo, clarification

31 hours agoUpdate Stevan Little's email address
Karl Williamson [Fri, 17 Oct 2014 21:20:07 +0000]
Update Stevan Little's email address

32 hours agoRemove unused stubs and editing notes from perldelta.
Abigail [Sun, 19 Oct 2014 13:59:19 +0000]
Remove unused stubs and editing notes from perldelta.

33 hours agoMore perldelta work
Abigail [Sun, 19 Oct 2014 13:48:37 +0000]
More perldelta work

33 hours agoAdd blank line after =item
Abigail [Sun, 19 Oct 2014 11:50:05 +0000]
Add blank line after =item

34 hours agoperldelta entry for update to perlfaq
James E Keenan [Sun, 19 Oct 2014 12:41:40 +0000]
perldelta entry for update to perlfaq

34 hours agoUpdate perlfaq to version 5.015046
Karen Etheridge [Sun, 19 Oct 2014 02:12:09 +0000]
Update perlfaq to version 5.015046

41 hours agoperldelta for 412989c
Father Chrysostomos [Sun, 19 Oct 2014 05:45:35 +0000]
perldelta for 412989c

41 hours agoTweak multiple nextstate optimisation further
Father Chrysostomos [Sun, 19 Oct 2014 05:31:14 +0000]
Tweak multiple nextstate optimisation further

There was still one niggling nulled nextstate in the execution
sequence in cases like this (the one numbered 4):

$ ./perl -Ilib  -MO=Concise -e 'time; our $x; our $y; time'
7  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
3     <0> time[t1] v ->4
-     <0> ex-nextstate v ->5
-     <1> rv2sv vK/OURINTR,1 ->4
-        <$> gv(*x) s ->-
4     <0> ex-nextstate v ->5
-     <1> rv2sv vK/OURINTR,1 ->5
-        <$> gv(*y) s ->-
5     <;> nextstate(main 3 -e:1) v:{ ->6
6     <0> time[t4] v ->7
-e syntax OK

41 hours agoSkip over state declarations at run time
Father Chrysostomos [Sun, 19 Oct 2014 05:20:43 +0000]
Skip over state declarations at run time

46 hours agoCommon vars check should account for OPpTARGET_MY
Father Chrysostomos [Sat, 18 Oct 2014 23:37:41 +0000]
Common vars check should account for OPpTARGET_MY

When checking for common vars on either side of a list assignment (to
see whether we need to make temporary copies), we need to account for
the OPpTARGET_MY optimisation which transforms ‘$lex = $foo . $bar’
into a simple ‘$foo . $bar’ that writes directly to $lex instead of
writing to a scratch variable and returning that.

This was printing foofoo instead of foobar:

$ ./perl -Ilib -le 'my ($a,$b); $foo="foo"; $bar="bar"; ($a,$b) = ($b=$foo."", $a=$bar.""); print $a,$b'

2 days agoMerge branch 'blead' of ssh://perl5.git.perl.org/gitroot/perl into blead
Abigail [Sat, 18 Oct 2014 22:09:10 +0000]
Merge branch 'blead' of ssh://perl5.git.perl.org/gitroot/perl into blead

2 days agoAnother perldelta entry
Abigail [Sat, 18 Oct 2014 22:08:52 +0000]
Another perldelta entry

2 days agoperldelta for two notable B::Concise changes
Father Chrysostomos [Sat, 18 Oct 2014 20:58:25 +0000]
perldelta for two notable B::Concise changes

2 days agoB::Concise: Give sequence numbers for null ops
Father Chrysostomos [Sat, 18 Oct 2014 20:50:25 +0000]
B::Concise: Give sequence numbers for null ops

B::Concise was not giving sequence numbers to null ops even if they
were part of the execution order.  Ideally, there should be no null
ops in the execution order, but, if it did happen, B::Concise was not
helpful in debugging it.  In fact, its output was quite confusing:

1        <;> nextstate(main 1 -e:1) v ->-

You can’t tell which ops it’s pointing at and where the optimisations
need to be tweaked.

(See the thread starting at
<20141016220840.29774.qmail@lists-nntp.develooper.com>.)

2 days agoMerge branch 'blead' of ssh://perl5.git.perl.org/gitroot/perl into blead
Abigail [Sat, 18 Oct 2014 20:05:40 +0000]
Merge branch 'blead' of ssh://perl5.git.perl.org/gitroot/perl into blead

Conflicts:
pod/perldelta.pod

2 days agoperldelta work
Abigail [Sat, 18 Oct 2014 19:57:14 +0000]
perldelta work

2 days agoUse srefgen for anoncode
Father Chrysostomos [Sat, 18 Oct 2014 17:23:26 +0000]
Use srefgen for anoncode

srefgen is faster than refgen, since it doesn’t have to loop through
the arguments (there is only one) and there is no pushmark to execute.

OA_RETSCALAR causes scalar context to be applied to anoncode ops, but
it always returns one item anyway, so that causes no problems.

2 days agoTypo fix
Abigail [Sat, 18 Oct 2014 17:48:43 +0000]
Typo fix

2 days agoperldelta for 20c88bf
Father Chrysostomos [Sat, 18 Oct 2014 16:57:34 +0000]
perldelta for 20c88bf

2 days agoApify SV_CATBYTES and SV_CATUTF8
Father Chrysostomos [Sat, 18 Oct 2014 05:32:23 +0000]
Apify SV_CATBYTES and SV_CATUTF8

When I added them I was not sure at the time whether they would be
stable or whether they might need to be changed.  They seem pretty
stable now, and they are extremely useful, so make them part
of the API.

2 days agoMANIFEST fix for 91d520f1
Jarkko Hietaniemi [Sat, 18 Oct 2014 12:46:32 +0000]
MANIFEST fix for 91d520f1

2 days agoDigest::SHA HP-UX hints file is not helping the t/woodbury.t crash.
Jarkko Hietaniemi [Sat, 18 Oct 2014 12:24:26 +0000]
Digest::SHA HP-UX hints file is not helping the t/woodbury.t crash.

(For which it is was created.)

Neither is it in the Digest::SHA CPAN version.

2 days agoAfter Yosemite there's no /usr/include.
Jarkko Hietaniemi [Sat, 18 Oct 2014 01:54:06 +0000]
After Yosemite there's no /usr/include.

(The headers are under /Applications/Xcode.app/...)

2 days agoDocument variants of ‘Can’t modify’ individually
Father Chrysostomos [Sat, 18 Oct 2014 04:42:39 +0000]
Document variants of ‘Can’t modify’ individually

2 days agoperldelta for refaliasing
Father Chrysostomos [Sat, 18 Oct 2014 04:34:08 +0000]
perldelta for refaliasing

2 days agoperlref: \@hash{slices} = too
Father Chrysostomos [Sat, 18 Oct 2014 03:32:36 +0000]
perlref: \@hash{slices} = too

2 days agoRename lvalue references
Father Chrysostomos [Sat, 18 Oct 2014 01:07:47 +0000]
Rename lvalue references

Also correct the description of lvref magic.  When it was first added,
it was for list assignments only, but that soon changed.

2 days agomention 'switch' is experimental in feature.pm
Doug Bell [Sat, 18 Oct 2014 02:33:27 +0000]
mention 'switch' is experimental in feature.pm

The other experimental features already have nice warnings in feature.pm

2 days agoUse sv_catpvn instead of sv_catsv in doop.c:do_join
Father Chrysostomos [Sat, 18 Oct 2014 01:14:40 +0000]
Use sv_catpvn instead of sv_catsv in doop.c:do_join

Bunchmarking shows that SvPV+sv_catpvn is faster that sv_catsv.  Why
exactly I don’t know, but perhaps fewer functions and flag checks
are the cause.

2 days agoUpdate Perl 5 Porter list archives.
James E Keenan [Thu, 16 Oct 2014 23:07:59 +0000]
Update Perl 5 Porter list archives.

For: RT # 122996

3 days agoAllow void padrange even without nextstate
Father Chrysostomos [Fri, 17 Oct 2014 20:56:52 +0000]
Allow void padrange even without nextstate

This allows the padrange optimisation to happen with code like this:

    my ($a, $b), our $c;

The padrange optimisation looks for:

    list
      pushmark
      padsv
      padsv
      ...
    nextstate

if it is in void context.

padsv pushes an sv on to the stack, and then nextstate resets the
stack.  padrange doesn’t bother pushing in void context, which is why
this optimisation was written this way.

However, there are various ops that don’t bother touching the stack in
void context, for efficiency; conversely, there are many that do for
simplicity’s sake.  In all cases, however, things pushed in void con-
text are subsequently reset, usually by list/nextstate/leavesub,
before they can accidentally become part of a list.  So whether pad-
range pushes SVs or not in void context is irrelevant, and it does not
matter whether there is a nextstate op.

Further, this optimisation also allowed:

  ex-list
    pushmark
    ...

pushmark and list ops cancel each other out in list and void context.
padrange does not push a mark in void context, so the list is removed
from the execution chain.  That was also happening for a nulled list,
which is incorrect, as that means a lone pushmark is being removed.  I
don’t believe ex-list+pushmark ever occurs in void context, but if it
does then this code was wrong.

3 days agoop.c: Change a pushre if into assert()
Father Chrysostomos [Fri, 17 Oct 2014 20:21:59 +0000]
op.c: Change a pushre if into assert()

3 days agoSkip padrange optimisation for one padop
Father Chrysostomos [Fri, 17 Oct 2014 20:07:31 +0000]
Skip padrange optimisation for one padop

cachegrind shows that padrange is marginally slower than pushmark+padsv
(<20141017140518.GF5204@iabyn.com>).

3 days agoB::Concise: Dump private vars for null ops
Father Chrysostomos [Fri, 17 Oct 2014 00:53:54 +0000]
B::Concise: Dump private vars for null ops

This can be very helpful for debugging.  For null ops that were not
always null, output the private flags as we would for unnulled ops.

3 days agofix some recent compiler warnings
David Mitchell [Fri, 17 Oct 2014 11:16:40 +0000]
fix some recent compiler warnings

Currently DBVARMG_SINGLE is deffed to 0, so

    mg->mg_private >= DBVARMG_SINGLE

gives an 'always true' warning.

sv_magicext's last arg is supposed to to be I32, but ARGTARG is a U32 or
U64.

3 days agoe2a5b7204 made dVAR necessary also for unthreaded builds.
Jarkko Hietaniemi [Fri, 17 Oct 2014 10:56:34 +0000]
e2a5b7204 made dVAR necessary also for unthreaded builds.

3 days ago[perl #122995] Hang with while(1) in a sub-list
Father Chrysostomos [Fri, 17 Oct 2014 00:44:56 +0000]
[perl #122995] Hang with while(1) in a sub-list

It was hanging at compile time in some cases, e.g.:

sub foo { () = ($a, my $b, ($c, do { while(1) {} })) }

The optimisation added in 5.20 to turn list+pushmark into null ops
when they are in list context (effectively making ($a,($b,$c)) equiva-
lent to ($a,$b,$c) with regard to which ops are executed) followed
op_next pointers to find the last op that was a kid of the sublist.

You can’t just follow op_next pointers like that, because it will loop
at compile time on infinite loops like while (1){}.

In this case, the last kid was being found in order to elide the erst-
while list op from the op_next chain, but that is not necessary, since
later OP_NULL handling takes care of it anyway.

3 days agoImprove void varop optimisation
Father Chrysostomos [Thu, 16 Oct 2014 23:18:59 +0000]
Improve void varop optimisation

After eliding the varop, the optimisation added in 5afbd733 repro-
cesses the previous op if it is a nextstate op.  But it was doing this
by setting the current op to the one before the nextstate, so that the
o=o->op_next in the loop header would cause it to reprocess the next-
state in the next iteration.  So, if that nextstate op were at the
beginning of a subroutine, the optimisation would be skipped, and this
would still execute two nextstate ops in a row:

sub foo {
    our($a, $b);
    die;
}

So, instead, just use ‘goto’ to reprocess the op, and we can do it
even if there is no op before the nextstate.

4 days agosv.c:sv_catsv: Remove null check
Father Chrysostomos [Thu, 16 Oct 2014 15:28:29 +0000]
sv.c:sv_catsv: Remove null check

SvPV always returns something.  If it didn’t, we’d be crashing all
over the place, since most other code assumes it does.

4 days agopodcheck.t: Make pod name check less sensitive
Father Chrysostomos [Thu, 16 Oct 2014 15:25:20 +0000]
podcheck.t: Make pod name check less sensitive

I regularly find myself ignoring the pod name failure after tweaking
the pod or rebasing and not re-running make.  ‘Known’ test failures
are not a good thing.

4 days agoperldelta: reword an entry
Father Chrysostomos [Thu, 16 Oct 2014 12:49:13 +0000]
perldelta: reword an entry

It was not completely correct, and trying to get it correct is too
complicated.

4 days agoperldelta for our declarations
Father Chrysostomos [Thu, 16 Oct 2014 12:48:18 +0000]
perldelta for our declarations

f5b5c2a Simplify double-nextstate optimisation
5afbd73 Elide our($foo) from execution order in void cx
8717a76 op.c: Null list and pushmark in void cx

4 days agoUpdate Test-Simple to CPAN version 1.001008
Chris 'BinGOs' Williams [Thu, 16 Oct 2014 12:15:02 +0000]
Update Test-Simple to CPAN version 1.001008

  [DELTA]

1.001008     Wed Oct 15 20:10:22:00 PST 2014
    * Updated Changes file

1.001007     Wed Oct 15 16:37:11:00 PST 2014
    * Fix subtest name when skip_all is used

4 days agoUpdate B-Debug to CPAN version 1.22
Chris 'BinGOs' Williams [Thu, 16 Oct 2014 11:29:13 +0000]
Update B-Debug to CPAN version 1.22

  [DELTA]

1.22 2014-10-12 rurban
  * add 5.21.5 support: changed test, from blead for split optim.,
    added METHOP
  * print 0x00000000 as 0x0
  * add -d -MOd=Debug support
  * README: fixed copyright date

4 days agoUpdate experimental to CPAN version 0.012
Chris 'BinGOs' Williams [Thu, 16 Oct 2014 11:27:15 +0000]
Update experimental to CPAN version 0.012

  [DELTA]

0.012     2014-10-12 12:10:06+02:00 Europe/Amsterdam
          Added lvalue references feature

4 days agoop.c: Null list and pushmark in void cx
Father Chrysostomos [Thu, 16 Oct 2014 03:37:30 +0000]
op.c: Null list and pushmark in void cx

See 7d3c8a6837 for the explanation.

‘our($foo,$bar);’ is one example of the legitimate use of list+push-
mark in void context.

Here, we can null them and remove them from the execution order, since
they are not necessary.

We only do this if this is an op sequence that padrange would not
optimise, since padrange needs a pushmark, and we don’t want to
disable it.

This combined with other recent optimisations makes code like this:

    our ($foo,@bar,%baz);
    our $a;
    our ($b,$c);
    die;

skip straight over all those variable declarations at run time, going
straight to the ‘die’.

4 days agoElide our($foo) from execution order in void cx
Father Chrysostomos [Wed, 15 Oct 2014 19:58:18 +0000]
Elide our($foo) from execution order in void cx

our($foo) in void context has a compile-time affect but no run-item
effect, except to execute ops needlessly.  There is no need to execute
those ops.  We can simply remove them from the execution order.

‘our($foo,$fit,$far);’ still leaves a list and a pushmark, which I
plan to eliminate in the next commit.

‘our $foo; our $bar; our $baz;’ has no run-time cost now, because,
once the variables are eliminated, the nextstate ops in betwen them,
now adjacent, are also eliminated by another optimisation.