[Merge] CVs without GVs

Subroutines in packages no longer need typeglobs to live in.  Concep-
tually the typeglobs still exist, and will be reified as necessary.

(This was already the case with constant subs, which could be stored
in the stash as refs to constants, but now the stash can have sub
refs, too.)

Currently this optimisation is undone if a sub is exported or used as
a method.  Also, it does not apply to XSUBs.

Here is the full list of notable changes:

Internal:

• CvGV now reifies the GV if necessary.
• Lexical subs now have notional GVs, which are likewise rei-
  fied by CvGV.
• The new CVf_LEXICAL flag indicates that the package name should be
  dropped in error messages.

XS API:

• New cv_name function
• New cv_set_call_checker_flags function

Perl-visible changes:

• New B::safename function

concise-xs.t needs to know about B::safename

Tweak Peek.t again

dump.c: Missing comma from CVf_HASEVAL output

Teach Deparse about coderefs in stashes

Increase $B::VERSION to 1.51

Add safename() func to B

Remove no-longer-used op.c:S_gv_ename

Teach ck_entersub_args_proto about non-GV names

Now ck_subr no longer needs to vivify GVs:

$ ./miniperl -e 'sub foo{} BEGIN { warn $::{foo} } foo(); BEGIN { warn $::{foo} }'
CODE(0x7fc98282ad98) at -e line 1.
CODE(0x7fc98282ad98) at -e line 1.

Previously it was like this:

$ ./miniperl -e 'sub foo{} BEGIN { warn $::{foo} } foo(); BEGIN { warn $::{foo} }'
CODE(0x7f8ef082ad98) at -e line 1.
*main::foo at -e line 1.

Inline op.c:too_many_arguments_sv into its only caller

I’m about to change this code anyway, and it’s easier in one spot.

Inline op.c:too_few_arguments_sv into its only caller

I’m about to change this code anyway, and it’s easier in one spot.

Teach dump.c about CVf_LEXICAL

Teach dump.c about CVf_NAMED

I should have added this in perl 5.18.

op.c:ck_subr: reify GVs based on call checker

Instead of faking up a GV to pass to the call checker if we have a
lexical sub, just get the GV from CvGV (since that will reify the GV,
even for lexical subs), unless the call checker has not specifically
requested GVs.

For now, we assume the default call checker cannot handle non-GV sub
names, as indeed it cannot.  An imminent commit will rectify that.

The code in scope.c was getting the name hek from the proto CV (stowed
in magic on the pad name) if the CV in the pad had lost it.  Now, the
proto CV can lose it at compile time via CvGV, so that does not work
anymore.  Instead, just get it from the GV.

Use cv_name in pp_hot.c:sub_crush_depth

The next commit will allow lexical subs with GVs to reach this code
path, so use cv_name, since it knows how to handle those.

Add cv_set_call_checker_flags

This is like cv_set_call_checker, except that it allows the caller to
decide whether the call checker needs a GV.

Currently the GV flag is recorded, but ck_subr does not do anything
with it yet.

pad.c: Avoid struct name followed by colon

Some old clang++ versions have trouble with this.  See ticket #112786.

pad.c:cv_name: Reword docs for future extensibility

Avoid reifying GVs in rv2cv

\&foo no longer reifies GVs in the stash:

$ ./miniperl -e 'sub foo{} warn $::{foo}; \&foo; warn $::{foo}'
CODE(0x7fab6282ad98) at -e line 1.
CODE(0x7fab6282ad98) at -e line 1.

Sub calls still reify them though, because of the way ck_subr cur-
rently works.

Constant proxies are still upgraded to full GVs for now, just to mini-
mise the churn per patch.

This makes it possible for OP_GVs to point to things other than GVs,
and these things are stored in the pad under threads.  Hence, pad_tidy
could turn on PADTMP, and then IS_PADGV becomes true when it is
upgraded to a glob, so refgen will fail assertions.  There is actually
no need to turn on PADTMP in pad_tidy, since it will already be on for
op targets.  (We need to get rid of IS_PADGV one of these days.  It
doesn’t actually do anything.)

op.c: ck_rvconst: Inline the noexpand var

It is only used once now, and its name is about to become confusing,
as GV_NOEXPAND will be used for all CVs.

Increase $Attribute::Handlers::VERSION to 0.97

Tweak Peek.t

beab08741 introduced XSUB constants, but the code it added to
newATTRSUB does not set CvSTASH if there is already a CV stub.  It
does set it if there is no sub there at all (because it goes through
newCONSTSUB).

Recent changes have made constant declarations like ‘sub foo(){}’
put just a constant reference in the stash if possible, the way con-
stant.pm does.  When this gets upgraded to a typeglob, the CV is rei-
fied via newCONSTSUB, so it gets a CvSTASH pointer.

CvSTASH on a constant sub really makes no difference in practice.
It’s mostly cosmetic.

This exercises the two code paths with the oldest perl installa-
tion I have:

$ /opt/bin/perl5.8.8 -MDevel::Peek -e 'BEGIN{\&foo} sub foo(){3} Dump \&foo'
SV = RV(0x9baa18) at 0x98d580
  REFCNT = 1
  FLAGS = (TEMP,ROK)
  RV = 0x9b7398
  SV = PVCV(0x9b4810) at 0x9b7398
    REFCNT = 2
    FLAGS = (POK,pPOK,CONST)
    IV = 0
    NV = 0
    PROTOTYPE = ""
    COMP_STASH = 0x98d4a8 "main" <----------
    ROOT = 0x0
    XSUB = 0x5bb44
    XSUBANY = 10018864
    GVGV::GV = 0x98df7c "main" :: "foo"
    FILE = "-e"
    DEPTH = 0
    FLAGS = 0x200
    OUTSIDE_SEQ = 96
    PADLIST = 0x98e228
    PADNAME = 0x98e24c(0x0) PAD = 0x98e264(0x22d560)
    OUTSIDE = 0x98df34 (UNIQUE)
$ /opt/bin/perl5.8.8 -MDevel::Peek -e 'sub foo(){3} Dump \&foo'
SV = RV(0xc11018) at 0xbe3b80
  REFCNT = 1
  FLAGS = (TEMP,ROK)
  RV = 0xbe4570
  SV = PVCV(0xc0ae10) at 0xbe4570
    REFCNT = 2
    FLAGS = (POK,pPOK,CONST)
    IV = 0
    NV = 0
    PROTOTYPE = ""
    COMP_STASH = 0x0 <--------------------------
    ROOT = 0x0
    XSUB = 0x5bb44
    XSUBANY = 12469628
    GVGV::GV = 0xbe3c40 "main" :: "foo"
    FILE = "-e"
    DEPTH = 0
    FLAGS = 0x200
    OUTSIDE_SEQ = 0
    PADLIST = 0x0
    OUTSIDE = 0x0 (null)

Fix-ups for Attribute::Handlers

It was making unreliable assumptions about the contents of stashes.

sv.h: Expand comment about potential SVf_UTF8 conflict

Avoid creating GVs when subs are declared

This patch changes ‘sub foo {...}’ declarations to store subroutine
references in the stash, to save memory.

Typeglobs still notionally exist.  Accessing CvGV(cv) will reify them.
Hence, currently the savings are lost when a sub call is compiled.

$ ./miniperl -e 'sub foo{} BEGIN { warn $::{foo} } foo(); BEGIN { warn $::{foo} }'
CODE(0x7f8ef082ad98) at -e line 1.
*main::foo at -e line 1.

This optimisation is skipped if the subroutine declaration contains a
package separator.

Concerning the changes in caller.t, this code:

    sub foo { print +(caller(0))[3],"\n" }
    my $fooref = delete $::{foo};
    $fooref -> ();

used to crash in 5.7.3 or thereabouts.  It was fixed by 16658 (aka
07b8c804e8) to produce ‘(unknown)’ instead.  Then in 5.13.3 it was
changed (by 803f274) to produce ‘main::__ANON__’ instead.  So the
tests are really checking that we don’t get a crash.  I think it is
acceptable that it has now changed to ‘main::foo’.

Remove bogus gv-handling code from toke.c

This code was added by 211a4342c, which was actually restoring some
code that f74617600 removed.

Its purpose was to expand a proxy to a real GV after we found out that
we really are going to compile a sub call op.

This code is actually unreachable at present (sub call lookup via
rv2cv ops expands stub declarations, but not references to constants;
references to constants are not compiled to sub calls), which is a
good thing, because (1) it does not take UTF8 names into account and
(2) it does not work with rv2cv hooks or our subs, because it assumes
that the value of PL_tokenbuf is normative and can be used to
reify a glob.

For lexical subs, reify CvGV from CvSTASH and CvNAME_HEK

From now on, the presence of a name hek implies a GV.  Any access to
CvGV will cause that implicit GV to be reified.

Increase $XS::APItest::VERSION to 0.64

Test cv_name

pad.c: Document cv_name

sv_cathek

This macro, intended for internal use, simplifies the code in
a couple of places.

cv_name

An API function for getting the name of a CV.  Docs to follow.

Turn on CVf_LEXICAL for lexical subs

This flag will signify that lexical subs should not have package names
associated with them in error messages, etc.

Add CVf_LEXICAL flag

Lexical subs will use this instead of CvNAMED to indicate that the
name should not include the package.

perldelta for d205f0c

Clone lex sub names properly

I used share_hek_hek, which is wrong.  HEKs are not shared between
interpreters, so it must be hek_dup.

Consistent spaces after dots in perlsub

perldelta for 6678689 and 56cd2ef

perldelta for b4fa55d and 0ddd4a5

perldelta for 2c1f00b/#122747

perldelta for c4c61c6

perldelta for 1542cb4/#122728

perldelta for cfc7ef1

Darwin: set ld to 'cc' if $cc is 'cc' or empty, $cc otherwise.

add test for rt122747

share_hek_hek "return value" is unused here.

(noticed by gcc 4.9)

Darwin: if cc is explicitly gcc/g++, use it also as ld.

Define Perl_isfinite only if not already defined.

perldelta: Entry for [perl #122655].

5.20 regression: '"X" !~ /[x]/i'

It looks like this patch, included in 5.20.1, did not get a perldelta
entry for that release.

perldelta: Note bug fix to suppress repeated warnings

perldelta: Mention -T -B changes

Copy perl5201delta into blead

Changed Module-CoreList version to how it should be

That's the last time I try and be clever and use a tool to
update versions

Remove the corevers.t from Module-CoreList and amend corelist porting test

Bump Module-CoreList versions again

I've removed all the v5.21.4 data from the release I am going to
make to CPAN, so as not to break blead the version needs bumping
again to a higher version than I am going to release.

Bump Module-CoreList versions to new date stamped version

Add epigraph for 5.20.1

Perl 5.20.1 today

Perl 5.20.1 today

Use Perl_frexp, and cast arg to NV as appropriate.

Warning about the va_arg vs long doubles.

Untangle the fp value retrieval.

Disable isfinite on VMS.

While the macro exists (in fp.h, not math.h) and it does work on
ordinary doubles, it does not work on long doubles, which is the
only use of it so far in the Perl core.  In Perl_sv_vcatpvfn_flags,
isfinite is testing a long double even when not configured with
long doubles (assuming long doubles are at least available).

So the better part of valor is to say we don't have it and use the
fallback.  Gets t/op/infnan.t #13 passing.

Obsolete comment in sv.c:utf8_mg_pos_cache_update

ab8be49d3 added this comment and the SvPOKp check.  Half the comment
is not relevant any more, since we stopped caching UTF8 offsets on
references in commit d91e94e1ac8.  The SvPOKp check is still a good
idea, though.

$ perl5.14.4 -e 'use overload q|""| => sub { "\x{100}" }; $_ = bless[]; $__ = substr $_,0,1; use Devel::Peek; Dump $_'
SV = PVMG(0x7fb2f2856738) at 0x7fb2f283a348
  REFCNT = 1
  FLAGS = (SMG,ROK,UTF8)
  IV = 0
  NV = 0
  RV = 0x7fb2f2806d00
  SV = PVAV(0x7fb2f2807ec0) at 0x7fb2f2806d00
    REFCNT = 1
    FLAGS = (OBJECT,OVERLOAD)
    STASH = 0x7fb2f2806b68 "main"
    ARRAY = 0x0
    FILL = -1
    MAX = -1
    ARYLEN = 0x0
    FLAGS = (REAL)
  PV = 0x7fb2f2806d00 "" [UTF8 ""]
  CUR = 0
  LEN = 0
  MAGIC = 0x7fb2f240f708
    MG_VIRTUAL = &PL_vtbl_utf8
    MG_TYPE = PERL_MAGIC_utf8(w)
    MG_LEN = 1
$ perl5.18.1 -e 'use overload q|""| => sub { "\x{100}" }; $_ = bless[]; $__ = substr $_,0,1; use Devel::Peek; Dump $_'
SV = IV(0x7fc048837c40) at 0x7fc048837c50
  REFCNT = 1
  FLAGS = (ROK,UTF8)
  RV = 0x7fc0488060e8
  SV = PVAV(0x7fc048807e80) at 0x7fc0488060e8
    REFCNT = 1
    FLAGS = (OBJECT)
    STASH = 0x7fc048805f50 "main"
    ARRAY = 0x0
    FILL = -1
    MAX = -1
    ARYLEN = 0x0
    FLAGS = (REAL)

toke.c: Remove redundant PL_expect check

PL_expect is only ever XREF when we already know there is an open
brace.  So we would never even get to this code path.

Update IO-Socket-IP to CPAN version 0.32

  [DELTA]

0.32    2014/09/12 10:11:27
        [CHANGES]
         * Implementation of Timeout for ->connect (RT92075)

Make the link not a link.

Mention inf/nan and POSIX C99 math improvements.

Semicolon before ellipsis inside block disambiguates.

Correct documentation which indicated that, inside a block, a semicolon after
an ellipsis statement would disambiguate between a block and a hash reference
constructor.  The semicolon must precede the ellipsis to perform this
disambiguation.

Add tests to demonstrate that whitespace around the ellipsis statement does
not impeded the disambiguation.  Add perldelta entry.

For: RT #122661

Add perldelta entry for 8a384d3a99 (ParseXS and locales).

Use HAS_ISFINITE for Perl_isfinitel.

HAS_C99 comment tweak.

Need to have frexpl for long doubles.

concise-xs.t is overly chummy with B::Deparse

Increase $B::Deparse::VERSION to 1.28

Deparse.pm:pp_list: Don’t call $lop->name repeatedly

because it’s inefficient.

Deparse typed vars

Deparse our(LIST) correctly

It was coming out like this:

our($main::foo, $main::bar, $main::baz);

pp_ctl.c: Remove junk from #endif

What was I thinking?

Mathomise save_re_context

at Jarkko’s suggestion.

pp_ctl.c: Remove PL_curcop assignment

This was added years ago in commit 7fb6a879.  Now that save_re_context
does nothing (and die_unwind no longer even calls it), we don’t need to
assign to PL_curcop.  In the case where it matters, that is, the implicit
eval scope that require provides, the values of PL_curcop and oldcop
should always be the same.

utf8.c: Move an #ifndef for clarity

The comment really belongs inside it, as it refers to those two
lines of code.

Remove obsolete comment from utf8.c

The call to save_re_context was removed by the previous commit.  The
commit before that stopped save_re_context from doing anything.

Commit db2c6cb33 stopped the errsv_save line from triggering
get-magic.

So this comment, added in dc0c6abb4, no longer applies.

Don’t call save_re_context

It is an empty function.

Gut Perl_save_re_context

What it does is not longer necessary.  See ticket #122747 and
commits 2c1f00b90 and 7d75537e.

The only CPAN module using this function, XML::Fast, passes its tests
with this change.

expl will not be used if long double is double.

(found in arm-linux)

The space computation for hexfp was overovershooting.

Comment tweak for HAS_C99.

Use the multiplication test instead of the DBL_MAX/LDBL_MAX.

Comparing to decimal float constants feels unclean.

Perl_isfinitel should not use the fpclass macross blindly.

(Whether the macros are safe for long doubles, is complicated.)

Porting/Maintainers.pl - Tidy up @IGNORABLE

Scalar-List-Utils has been upgraded from version 1.40 to 1.41

This incorporates ca81d15134, which was naughtily not listed as a
CUSTOMIZED file.

Upgrade ExtUtils::CBuilder from version 0.280217 to 0.280219

Upgrade CPAN::Meta::Requirements from version 2.126 to 2.128

More ways to Perl_isfinitel.

Unfinished business from e4c957f4.

Use -fstack-protector-strong, if available.

In preference to just -fstack-protector. gcc 4.8.x? gcc 4.9, definitely.

(FWIW, users include at least Google Chrome, Fedora 20, Ubuntu)

long double / NV schizophrenia continues.

Have a Perl_isfinitel() separate from USE_LONG_DOUBLE.

(Also correct uses of HAS_C99.)

perl #122747: localize PL_curpm to null in _core_swash_init

Set PL_curpm to null before we do any swash intialization
in _core_swash_init(). This "hides" the current regop from the
swash code, with the intent of prevent weird reentrancy bugs
when the swashes are initialized.

Long term you could argue that we should just not use the regex
engine to initialize a swash, and then this would be unnecessary.

Thanks to FC for the suggestion!