op.c: Don’t keep looping when we see potential common vars

When we loop through the list in LIST=..., once we have decided that
we need to do the more thorough check for common vars we don’t reverse
that decision based on subsequent ops, so there is no point in con-
tinuing to loop through them.

lvref.t: Remove special TODO code

We no longer have a plethora of to-do tests, so this specialised code
no longer gains us anything.

Store internal state of state vars separately

Use a separate pad entry to record whether a state variable has been
initialised, instead of using a flag on the value.

This prevents \$state_var = \$some_other_var from interfering with
that internal state.  It probably also fixes some cases with foreach
as well, but I have not confirmed.

lvref.t: More list and cond tests

Deparse lvalue references

lvref.t: Remove temporary eval & skip

lvref.t: Fix hash elem tests

I was testing against a package hash for the ‘lexical’ tests.

Handle state vars correctly in ref assignment

Only \state(@_) was handling this correctly, as pp_lvavref
calls pp_padav.

lvref.t: Tests for \my assignment and scope exit

Rework lvref.t foreach tests

Remove the to-do marker.

Add tests for package vars, too.

Redo the \my &a test.  I’ve decided not to bother with the ‘my &a’
syntax for now (if at all).  It is problematic and needs discussion.
(If ‘my &a’ is allowed in foreach, then it should be allowed else-
where, but ‘my &a;’ would call a stub.)

Get foreach \&foo working

Previously these would crash.  Usually, &foo is wrapped in an entersub
op which gets converted to rv2cv when refgen applies lvalue context.
In foreach \&foo, there is no need for us to go the entersub route;
rather we pass the original rv2cv op directly to refgen without the
entersub wrapping.  So the resulting op tree is different.  S_lvref
was not expecting this alternate op tree.

foreach \$var

Some passing tests are still marked to-do.  We need more tests still.

Add OPpLVREF_ITER flag

An lvalue reference used as an iterator variable will be implemented
using an lvref op with this flag set.

Fix err message for $cond ? \bad : ... = ...

The error message code in S_lvref was assuming that it only handled
list assignment (which was originally the case), but

    $condition ? \pos : whatever = ...

goes through that same code path, and that is a scalar assignment.

So pass the assignment type through to S_lvref.

Subroutine reference assignment

lvref.t: Repeat bad ref tests with list assignment

List assignment goes through a different code path.  The errors come
from magic_setlvref in that case, not pp_refassign.

lvref.t: do-block err msg is no longer to-do

The previous commit’s rearrangement of things fixed this, too.

Make \( ?: ) assignment work

When I first implemented list assignment to lvalue references, I
thought I could simply modify the kids of the refgen op (\) in one
spot.  But things like ?: make it necessary to do this recursively.
So all that code for turning thingies into lvrefs has been moved into
a separate function patterned after op_lvalue but handling only the
lvref cases.

(I thought about combining it with op_lvalue’s switch statement, but
that would require ‘if(type == OP_LVREF) goto nomod;’ too many times,
which would be harder to maintain.)

lvref.t: Remove unnecessary evals

Get basic $cond ? \$a : \$b = ... working

When I started working on lvalue references, I envisioned having all
scalar assignments pass through pp_refassign.  A refassign op repre-
sents the initial backslash on the lhs *and* the equals sign.  For
cases like this, there is no single refgen on the lhs.  It turns out
that the approach I am using for list assignments (where the lhs
becomes an lvref op that returns a magic scalar that does the aliasing
when assigned to) is the easiest way to get this working, too.

All this commit has to do is allow ‘sassign’ lvalue context to apply
to srefgen and fix the completely broken to-do tests.  (I have a ten-
dency to write broken to-do tests, as I have no way of testing them at
the time.)

Assignment to \(@array)

This is a slurpy lvalue that gobbles up all the rhs elements, which
are expected to be references.  So \(@a)=\(@b) makes @a share the
same elements as @b.

We implement this by pushing a null on to the stack as a special
marker that pp_aassign will recognise.

I decided to change the wording for the \local(@a)=... error
slightly, from what my to-do tests had.

Some of the other to-do tests were badly written and had to be
fixed up a bit.

lvavref needs OPpLVAL_INTRO and OPpPAD_STATE

Add lvavref op type

This will be used for slurpy array ref assignments.  \(@a) = \(@b)
will make @a share the same elements as @b.

lvref is actually a baseop/unop

When used for pad vars, it is childless.

List assignment to array and hash refs

(\@a,\%h)=... works, but \(@a) and \(%h) do not.  \(%h) correctly
croaks.  (\local @a, \local %h)=... also works.

Renumber OPpLVREF_TYPE

to avoid conflicting with OPpPAD_STATE.

Assignment to \local @array and \local %hash

Doesn’t work with lhs parentheses yet.

lvref.t: Tests for localised arrays and hashes

lvref.t: Test assigning non-array to array

Same with hashes.

Simple \@array and \%hash assignment

Parentheses do not work yet.  Neither does local.

lvref.t: To-do tests for hashes

Concerning the error message tests, ‘parenthesized hash’ would be more
helpful than ‘hash dereference’ or ‘private hash’ (as would be provided
by OP_DESC), as %foo doesn’t look like a hash dereference and ‘private
hash’ suggests that \%foo= won’t work, whereas it will.

Add priv flags for the type of lvalue ref

lvref.t: To-do tests for array ref assignment

The evals are temporary.  Some of the tests don’t even make sense
with the evals; they are more placeholders and reminders for now
that tests.

pp.c: Fold SvIV into S_localise_aelem_lval

All three callers were doing SvIV, so we can do it in one spot.

pp.c: Some branch prediction hints

Assignment to hash element refs

pp.c: Consolidate some local aelem code

In the process, avoid a redundant av_fetch for \local$a[0]= and
\local($a[0])=.

pp.c:pp_lvrefslice: Unused var

\local $a[$ix] assignment

\@array[@slice] assignment

plus changes to the aelem tests to check rhs context.

I did \local @a[@s] at the same time, since I was practically copying
and pasting code from aslice (ok, not quite).

pp.c: Dodge compiler warning

lvrefslice gets OPpLVAL_INTRO

Add lvrefslice op type

Assignment to array elem refs

\local $scalar assignment

Make \($x,$y) assignment work

This applies to \ with multiple kids (refgen).  Up till now,
op_lvalue_flags only handled srefgen (single refgen).

Before I was converting srefgen to lvref and nulling the kid op:

  srefgen
    ex-list
      rv2sv
        gv

became:

  lvref
    ex-list
      ex-rv2sv
        gv

Now I’m converting the kid instead and nulling the srefgen:

  ex-srefgen
    ex-list
      lvref
        gv

so that the same code can apply to refgen:

  refgen
    ex-list
      pushmark
      rv2sv
        gv
      rv2sv
        gv

becomes

  ex-refgen
    ex-list
      ex-pushmark
      lvref
        gv
      lvref
        gv

List assignment to lexical scalar refs

\($x,$y)=... does not work yet, but \(my $x) and (\$x, \$y) do.

Fix assertion failure with ... ? \$a : \$b = ...

Because both branches have a srefgen, this was treated as a scalar
reference assignment, which is usually handled by refassign.  But
refassign expects the thing on the lhs to be srefgen, not a cond_expr.

The logic for propagating the assignment type must not propagate the
‘ASSIGN_REF’ type outward.  Only list context propagates outward.
Eventually, this will be handled by sassign and the cond_expr will
have lvref kids.  (It’s too complicated for refassign, which is the
optimised form that combines \ and = into one op.)

For now, this commit just fixes the assertion failure without making
this type of assignment work yet.

op.c: Apply spair optimisation to \% \@ \&

The ‘spair’ (scalar/single pair) optimisation applies to a few operat-
ors for which there are actually pairs of ops, one for scalars or sin-
gle items, the other for lists.  refgen is one of them.

When taking references, hashes, arrays and subroutines are single
items, just like scalars, so they can go through the ‘single’ code and
benefit, too.

refassign will also benefit from this, as \@a = [] (not yet imple-
mented) should provide scalar context to the right-hand side, and this
avoids the need for special cases (because srefgen with the initial s
provides scalar context).

(This optimisation could have applied to aggregates passed to cho(m)p,
but it results in incorrect messages like ‘Uninitialized value in sca-
lar chomp’ for chomp @_, so I’ve left it for now.)

Use ‘Can’t modify reference to...’ for refassign, too

op.c: diag_listed_as for ‘Can't modify ref’

lvref.t: Test ‘Can't modify reference to...’

List assignment to package scalar ref

\ on the lhs returns a special magical scalar with set-magic that does
the aliasing.

I considered having a separate abind op that would be like aassign,
but different.  However, I realised that for ($x, \$y) = ... to work
it would have to duplicate all of aassign.  So I went with the sim-
pler magic implementation.

Capitalise magic descriptions consistently

Add lvref magic type

I just couldn’t resist using the backslash for the character, even
though I had to tweak mg_vtable.pl to make it work.

Add lvref op type

lvref.t: More parenthesized scalar ref tests

These tests are actually nonsensical with the evals, but they currently
cause syntax errors.  Ultimately they are placeholders and reminders,
so it doesn’t matter.

lvref.t: Some assignments with mixed lhs

Implement \my $x = ...

lvref.t: Test \$foo = \*bar

lvref.t: To-do tests for foreach \

lvret.t: To-do tests for \local $scalar=

When making lex alias, don’t free old var too soon

It could be exactly the same variable, and the reference on the rhs
could be weak:

use feature ":all";
use Scalar::Util 'weaken';
my $a;
weaken($r = \$a);
\$a = $r;
__END__
Lvalue references are experimental at - line 5.
Segmentation fault: 11

lvref.t: To-do test for PADSTALE handling

Simple package scalar lvalue refs

\$::x = ... works, but not \local $x yet.

lvref.t: Tests for error massages

lvref.t: Remove to-do and eval from passing test

This one passing test was failing inside the eval because closures
are not yet supported.  (That’s why I added explicit closure tests
in the previous commit.)

lvref.t: To-do tests for closures

Document lvalue ref diagnostics

Also, use ‘a SCALAR reference’ rather than ‘a scalar reference’, to
match the style used elsewhere.

First stab at lexical scalar aliases

No \my$x= yet.  Only my $x; \$x =....

It does not work properly with variables closed over from outside;
hence, all the to-do tests fail still, since they do the assign-
ment in evals.

But this much works:

$ ./miniperl -Ilib -Mfeature=:all -e 'my $m; \$m = \$n; warn \$m; warn \$n'
Lvalue references are experimental at -e line 1.
SCALAR(0x7fa04b805510) at -e line 1.
SCALAR(0x7fa04b805510) at -e line 1.

op.c: In newBINOP, set up op_last before CHECKOP

Set up op_last pointers in newBINOP before calling the op-specific
ck_* routine.

That way, since this op sub-tree is well-formed from the outset, we
don’t need as much fix-up code elsewhere to account for the case where
the binop has been embedded inside a larger op tree (state var ini-
tialisation).

The repetition operator is an odd bird.  If the lhs is a list of one
item, it is effectively an unop, though still of class binop.  Though
op_last would usually point to the last immediate child, it ended
up null instead.  B::Deparse was written to expect that, so let’s
keep it that way by setting it to null in ck_repeat, now that the
last = first->sibling assignment in newBINOP (which used to do it)
happens earlier.

Increase $Opcode::VERSION to 1.29

Add refassign op type

op.c:ck_spair: Remove redundant checks

Neither the av nor the hv ops have the OA_RETSCALAR flag, so these
checks are unreachable.

These checks go all the way back to a0d0e21e (perl 5.000).

To-do tests for scalar lvalue refs

Increase $warnings::VERSION to 1.27

Add experimental::lvalue_refs warnings category

Increase $feature::VERSION to 1.38

Add lvalue_refs feature feature

Remove trailing space from perlipc.pod.

For: RT #122938 (first patch)

remove trailing whitespace.

For: RT #122942 (first patch)

Update libnet to version 3.02

This skips the interactive prompt() from the Makefile.PL reported by bulk88
(and removes the t/external/*.t tests which will not be run as a result).

Update EXCLUDED files list for libnet following 2e1731446c

move dMY_CXT in dlutils.c closer to first use

By computing dMY_CXT right before its first and usually last use, my_cxt
pointer doesn't need to be carried across function calls in SaveError. This
frees a C stack auto and/or register from being saved and restored in
SaveError. On VC 2003 32 bits -O1 threaded, the machine code size in bytes
dropped from 0x72 to 0x70 after this patch.

Set PERL_MM_USE_DEFAULT in make_ext.pl

In the perl core, we shouldn’t be getting messages like this when
trying to build perl:

Should I do external tests?
These tests will fail if there is no internet connection or if a firewall
blocks or modifies some traffic.
[y/N] [n]

libnet’s Makefile.PL now does that.  To make it easier to maintain
such Makefiles.PL to work both on CPAN and in the core, set
PERL_MM_USE_DEFAULT temporarily in make_ext.pl when running the
Makefile.PL.

optimize & rmv from public API Perl_tmps_grow and related code

Previously in PUSH_EXTEND_MORTAL__SV_C, "PL_tmps_ix + 1" would execute
twice, once for the nonmutable if(>=), then again after the potential
tmps_grow call. tmps_grow has an unused return register/void proto, put it
to use by returning ix.  Also change tmps_grow to take the result of
"PL_tmps_ix + the constant (usually 1) or non-constant (EXTEND_MORTAL)".
This avoid having to put the constant twice in machine code, once for the
if test, 2nd time for extend length param for tmps_grow call. For
non-constant/EXTEND_MORTAL usage, it allows the C optimizer to have the
length var to go out of liveness sooner if possible. Also the var used for
the if(>=) test is more likely to be in a register than length var.
So "if test variable" is closer on hand to the CPU than length var. In some
cases, if non-const len var isn't used again, it becomes the "ix" variable
by having PL_tmps_ix added to it. Change sv_2mortal to return sv instead
of NULL to remove a unique branch/block of machine code that assigns 0 to
return variable (Visual C didn't figure out return sv == returned NULL,
not sv). See also [perl #121845].

Deparse split-to-our-array correctly

$ ./perl -Ilib -MO=Deparse -e 'our @x = split //, $a'
@x = split(//, $a, 0);

The ‘our’ disappears because ‘split’ swallows up the assignment and
writes to @x directly.  But the result is that no OUR_INTRO flag is
left in the op tree.

Fixing this based on the current op tree is very complicated.  So
this commit sets the flag on the split op and makes B::Deparse
look for it.

toke.c:S_parse_opt_lexvar: Don’t use null terminator

allocmy no longer depends on it.

op.c:allocmy: Remove obsolete cmnts and assert

We are no longer depending on strlen at all.  The name[2] check was
removed in 2009 in d6447115b.

op.c:allocmy: Don’t depend on null termination

This function has a len argument, but still depends on its argument’s
being null-terminated in one spot.  (All other parts of the function
use the length.)

Deparse local our LIST

The ‘local’ was being omitted.  I missed the list form of
‘local our’ in commit f351564117.

Update libnet to CPAN version 3.01

  [DELTA]

libnet 3.01  -- Thu Oct 09 2014

  * Require IO::Socket::SSL >= 1.999 to protect against a bad version (0.30) of
    IO::Socket::IP and hopefully fix another bunch of CPAN Testers failures.

libnet 3.00  -- Thu Oct 09 2014

  * Skip Perl Critic, Pod and Pod Coverage tests unless AUTHOR_TESTING.
    [Resolves CPAN RT#99399]
  * Synchronize all $VERSIONs to the distribution's version number, bumping that
    to 3.00 so that no $VERSIONs end up going backwards.

libnet 1.30  -- Wed Oct 08 2014

  * Sigh. Fix PAUSE indexing problem again. Net::SMTP::SSL is already used by
    Net-SMTP-SSL.

libnet 1.29  -- Wed Oct 08 2014

  * Fix PAUSE indexing problem. Net::POP3::_SSLified and Net::SMTP::_SSLified
    are already used by Net-SSLGlue.

libnet 1.28  -- Wed Oct 08 2014

  * Improve code()/message() initialization and error handling in Net::Cmd
    [Tom Metro; resolves CPAN RT#14875]
  * Don't use the ALLO command on FTP servers that don't support it.  [Resolves
    CPAN RT#95717]
  * Stop Makefile.PL from requiring interactive configuration when running via
    cpan, cpanp or cpanm: just accept all defaults in these cases, as when
    running non-interactively.  [Resolves CPAN RT#48966]
  * Add optional POD coverage testing.
  * Add optional POD testing.
  * Add optional Perl::Critic testing.
  * Make code Perl::Critic clean.
  * Move Net/*.pm into lib/Net/ sub-directory within distribution. This is the
    usual layout style these days.
  * Change Net::SMTP::auth() so that it now falls back to another supported AUTH
    method if a given AUTH method fails.  [Ivan Baktsheev; closes PR#3]
  * Change Net::SMTP::auth() so that it uses the SMTP AUTH mechanism(s)
    specified in the Authen::SASL object if one is provided instead of a
    username.   If a plain text username is specified then use the first
    reported SMTP AUTH method supported, as usual.  [Ewen McNeill; resolves CPAN
    RT#58002]
  * Add support for IPv6 and SSL to Net::FTP, Net::NNTP, Net::POP3 and
    Net::SMTP.  These features are only available if the user has

      a recent IO::Socket::SSL for SSL support
      a recent IO::Socket::IP or an older IO::Socket::INET6 for IPv6 support

    If no SSL module is available it will work as before, but attempts to use
    the SSL functionality will result in an error message.  If no IPv6 modules
    are available it will just use IPv4 as before.  With IPv6 modules installed
    one can of course still access IPv4 hosts.
    [Steffen Ullrich; resolves CPAN RT#93823]

Update Socket to CPAN version 2.016

  [DELTA]

2.016   2014/10/08 21:53:10
        [BUGFIXES]
         * Wrap configure tests in a {} block in case of C99-deficient
           compilers (RT99363)
         * #include <stddef.h> so that NULL definitely exists (RT98248)
         * Need to pass NI_NUMERICSERV during unit tests for some OSes not to
           error (VMS) (RT98217)

Update JSON-PP to CPAN version 2.27300

  [DELTA]

2.27300
  - fixed a problem about substr in perl 5.8.6 and below
    many people report this issue and patched by haarg[at]haarg.org

fix WinCE build

locale changes in 2014 broke WinCE build. localconv() doesn't exist on
WinCE. locale.h from celib has to be included for
setlocale()/xcesetlocale() and LC_* constants.

perldelta for 11f610b5c537

remove dl_nonlazy global if unused in Dynaloader

Saves an int of memory per interp. Removes a env var lookup, and on Win32
also remove a registry check for PERL_DL_NONLAZY. This speeds up start up
time of interp a tiny bit. While platforms other than hpux and dlopen use
RTLD_LAZY, they use it unconditionally ignoring PERL_DL_NONLAZY. I am not
judging that decision in this commit.

t/op/crypt.t: Perform SHA-256 algorithm if default one is disabled

The crypt(3) call may return NULL. This is the case on FIPS-enabled
platforms. Then "salt makes a difference" test would fail.

This fixes RT#121591.

Signed-off-by: Petr Písař <ppisar@redhat.com>

perldelta for 2c2d7daa9519, a6d695237c4c

[perl #122445] use magic on $DB::single etc to avoid overload issues

This prevents perl recursing infinitely when an overloaded object is
assigned to $DB::single, $DB::trace or $DB::signal

This is done by referencing their values as IVs instead of as SVs in
dbstate, and by adding magic to those variables so that assignments to
the scalars update the PL_DBcontrol array.