ext/Devel-Peek/t/Peek.t

   1 #!./perl -T
   2
   3 BEGIN {
   4     require Config; import Config;
   5     if ($Config{'extensions'} !~ /\bDevel\/Peek\b/) {
   6         print "1..0 # Skip: Devel::Peek was not built\n";
   7         exit 0;
   8     }
   9 }
  10
  11 use Test::More;
  12
  13 use Devel::Peek;
  14
  15 our $DEBUG = 0;
  16 open(SAVERR, ">&STDERR") or die "Can't dup STDERR: $!";
  17
  18 # If I reference any lexicals in this, I get the entire outer subroutine (or
  19 # MAIN) dumped too, which isn't really what I want, as it's a lot of faff to
  20 # maintain that.
  21 format PIE =
  22 Pie     @<<<<<
  23 $::type
  24 Good    @>>>>>
  25 $::mmmm
  26 .
  27
  28 use constant thr => $Config{useithreads};
  29
  30 sub do_test {
  31     my $todo = $_[3];
  32     my $repeat_todo = $_[4];
  33     my $pattern = $_[2];
  34     if (open(OUT,">peek$$")) {
  35         open(STDERR, ">&OUT") or die "Can't dup OUT: $!";
  36         Dump($_[1]);
  37         print STDERR "*****\n";
  38         Dump($_[1]); # second dump to compare with the first to make sure nothing changed.
  39         open(STDERR, ">&SAVERR") or die "Can't restore STDERR: $!";
  40         close(OUT);
  41         if (open(IN, "peek$$")) {
  42             local $/;
  43             $pattern =~ s/\$ADDR/0x[[:xdigit:]]+/g;
  44             $pattern =~ s/\$FLOAT/(?:\\d*\\.\\d+(?:e[-+]\\d+)?|\\d+)/g;
  45             # handle DEBUG_LEAKING_SCALARS prefix
  46             $pattern =~ s/^(\s*)(SV =.* at )/(?:$1ALLOCATED at .*?\n)?$1$2/mg;
  47
  48             # Need some clear generic mechanism to eliminate (or add) lines
  49             # of dump output dependant on perl version. The (previous) use of
  50             # things like $IVNV gave the illusion that the string passed in was
  51             # a regexp into which variables were interpolated, but this wasn't
  52             # actually true as those 'variables' actually also ate the
  53             # whitespace on the line. So it seems better to mark lines that
  54             # need to be eliminated. I considered (?# ... ) and (?{ ... }),
  55             # but whilst embedded code or comment syntax would keep it as a
  56             # legitimate regexp, it still isn't true. Seems easier and clearer
  57             # things that look like comments.
  58
  59             # Could do this is in a s///mge but seems clearer like this:
  60             $pattern = join '', map {
  61                 # If we identify the version condition, take *it* out whatever
  62                 s/\s*# (\$].*)$//
  63                     ? (eval $1 ? $_ : '')
  64                     : $_ # Didn't match, so this line is in
  65             } split /^/, $pattern;
  66
  67             $pattern =~ s/\$PADMY/
  68                 ($] < 5.009) ? 'PADBUSY,PADMY' : 'PADMY';
  69             /mge;
  70             $pattern =~ s/\$PADTMP/
  71                 ($] < 5.009) ? 'PADBUSY,PADTMP' : 'PADTMP';
  72             /mge;
  73             $pattern =~ s/\$RV/
  74                 ($] < 5.011) ? 'RV' : 'IV';
  75             /mge;
  76
  77             print $pattern, "\n" if $DEBUG;
  78             my ($dump, $dump2) = split m/\*\*\*\*\*\n/, scalar <IN>;
  79             print $dump, "\n"    if $DEBUG;
  80             like( $dump, qr/\A$pattern\Z/ms, $_[0])
  81               or note("line " . (caller)[2]);
  82
  83             local $TODO = $repeat_todo;
  84             is($dump2, $dump, "$_[0] (unchanged by dump)")
  85               or note("line " . (caller)[2]);
  86
  87             close(IN);
  88
  89             return $1;
  90         } else {
  91             die "$0: failed to open peek$$: !\n";
  92         }
  93     } else {
  94         die "$0: failed to create peek$$: $!\n";
  95     }
  96 }
  97
  98 our   $a;
  99 our   $b;
 100 my    $c;
 101 local $d = 0;
 102
 103 END {
 104     1 while unlink("peek$$");
 105 }
 106
 107 do_test('assignment of immediate constant (string)',
 108         $a = "foo",
 109 'SV = PV\\($ADDR\\) at $ADDR
 110   REFCNT = 1
 111   FLAGS = \\(POK,pPOK\\)
 112   PV = $ADDR "foo"\\\0
 113   CUR = 3
 114   LEN = \\d+'
 115        );
 116
 117 do_test('immediate constant (string)',
 118         "bar",
 119 'SV = PV\\($ADDR\\) at $ADDR
 120   REFCNT = 1
 121   FLAGS = \\(.*POK,READONLY,pPOK\\)
 122   PV = $ADDR "bar"\\\0
 123   CUR = 3
 124   LEN = \\d+');
 125
 126 do_test('assignment of immediate constant (integer)',
 127         $b = 123,
 128 'SV = IV\\($ADDR\\) at $ADDR
 129   REFCNT = 1
 130   FLAGS = \\(IOK,pIOK\\)
 131   IV = 123');
 132
 133 do_test('immediate constant (integer)',
 134         456,
 135 'SV = IV\\($ADDR\\) at $ADDR
 136   REFCNT = 1
 137   FLAGS = \\(.*IOK,READONLY,pIOK\\)
 138   IV = 456');
 139
 140 do_test('assignment of immediate constant (integer)',
 141         $c = 456,
 142 'SV = IV\\($ADDR\\) at $ADDR
 143   REFCNT = 1
 144   FLAGS = \\($PADMY,IOK,pIOK\\)
 145   IV = 456');
 146
 147 # If perl is built with PERL_PRESERVE_IVUV then maths is done as integers
 148 # where possible and this scalar will be an IV. If NO_PERL_PRESERVE_IVUV then
 149 # maths is done in floating point always, and this scalar will be an NV.
 150 # ([NI]) captures the type, referred to by \1 in this regexp and $type for
 151 # building subsequent regexps.
 152 my $type = do_test('result of addition',
 153         $c + $d,
 154 'SV = ([NI])V\\($ADDR\\) at $ADDR
 155   REFCNT = 1
 156   FLAGS = \\(PADTMP,\1OK,p\1OK\\)
 157   \1V = 456');
 158
 159 ($d = "789") += 0.1;
 160
 161 do_test('floating point value',
 162        $d,
 163 'SV = PVNV\\($ADDR\\) at $ADDR
 164   REFCNT = 1
 165   FLAGS = \\(NOK,pNOK\\)
 166   IV = \d+
 167   NV = 789\\.(?:1(?:000+\d+)?|0999+\d+)
 168   PV = $ADDR "789"\\\0
 169   CUR = 3
 170   LEN = \\d+');
 171
 172 do_test('integer constant',
 173         0xabcd,
 174 'SV = IV\\($ADDR\\) at $ADDR
 175   REFCNT = 1
 176   FLAGS = \\(.*IOK,READONLY,pIOK\\)
 177   IV = 43981');
 178
 179 do_test('undef',
 180         undef,
 181 'SV = NULL\\(0x0\\) at $ADDR
 182   REFCNT = 1
 183   FLAGS = \\(\\)');
 184
 185 do_test('reference to scalar',
 186         \$a,
 187 'SV = $RV\\($ADDR\\) at $ADDR
 188   REFCNT = 1
 189   FLAGS = \\(ROK\\)
 190   RV = $ADDR
 191   SV = PV\\($ADDR\\) at $ADDR
 192     REFCNT = 2
 193     FLAGS = \\(POK,pPOK\\)
 194     PV = $ADDR "foo"\\\0
 195     CUR = 3
 196     LEN = \\d+');
 197
 198 my $c_pattern;
 199 if ($type eq 'N') {
 200   $c_pattern = '
 201     SV = PVNV\\($ADDR\\) at $ADDR
 202       REFCNT = 1
 203       FLAGS = \\(IOK,NOK,pIOK,pNOK\\)
 204       IV = 456
 205       NV = 456
 206       PV = 0';
 207 } else {
 208   $c_pattern = '
 209     SV = IV\\($ADDR\\) at $ADDR
 210       REFCNT = 1
 211       FLAGS = \\(IOK,pIOK\\)
 212       IV = 456';
 213 }
 214 do_test('reference to array',
 215        [$b,$c],
 216 'SV = $RV\\($ADDR\\) at $ADDR
 217   REFCNT = 1
 218   FLAGS = \\(ROK\\)
 219   RV = $ADDR
 220   SV = PVAV\\($ADDR\\) at $ADDR
 221     REFCNT = 1
 222     FLAGS = \\(\\)
 223     IV = 0                                      # $] < 5.009
 224     NV = 0                                      # $] < 5.009
 225     ARRAY = $ADDR
 226     FILL = 1
 227     MAX = 1
 228     ARYLEN = 0x0
 229     FLAGS = \\(REAL\\)
 230     Elt No. 0
 231     SV = IV\\($ADDR\\) at $ADDR
 232       REFCNT = 1
 233       FLAGS = \\(IOK,pIOK\\)
 234       IV = 123
 235     Elt No. 1' . $c_pattern);
 236
 237 do_test('reference to hash',
 238        {$b=>$c},
 239 'SV = $RV\\($ADDR\\) at $ADDR
 240   REFCNT = 1
 241   FLAGS = \\(ROK\\)
 242   RV = $ADDR
 243   SV = PVHV\\($ADDR\\) at $ADDR
 244     REFCNT = 1
 245     FLAGS = \\(SHAREKEYS\\)
 246     IV = 1                                      # $] < 5.009
 247     NV = $FLOAT                                 # $] < 5.009
 248     ARRAY = $ADDR  \\(0:7, 1:1\\)
 249     hash quality = 100.0%
 250     KEYS = 1
 251     FILL = 1
 252     MAX = 7
 253     RITER = -1
 254     EITER = 0x0
 255     Elt "123" HASH = $ADDR' . $c_pattern,
 256         '',
 257         $] > 5.009 && $] < 5.015
 258          && 'The hash iterator used in dump.c sets the OOK flag');
 259
 260 do_test('reference to anon sub with empty prototype',
 261         sub(){@_},
 262 'SV = $RV\\($ADDR\\) at $ADDR
 263   REFCNT = 1
 264   FLAGS = \\(ROK\\)
 265   RV = $ADDR
 266   SV = PVCV\\($ADDR\\) at $ADDR
 267     REFCNT = 2
 268     FLAGS = \\($PADMY,POK,pPOK,ANON,WEAKOUTSIDE,CVGV_RC\\) # $] < 5.015 || !thr
 269     FLAGS = \\($PADMY,POK,pPOK,ANON,WEAKOUTSIDE,CVGV_RC,DYNFILE\\) # $] >= 5.015 && thr
 270     IV = 0                                      # $] < 5.009
 271     NV = 0                                      # $] < 5.009
 272     PROTOTYPE = ""
 273     COMP_STASH = $ADDR\\t"main"
 274     START = $ADDR ===> \\d+
 275     ROOT = $ADDR
 276     XSUB = 0x0                                  # $] < 5.009
 277     XSUBANY = 0                                 # $] < 5.009
 278     GVGV::GV = $ADDR\\t"main" :: "__ANON__[^"]*"
 279     FILE = ".*\\b(?i:peek\\.t)"
 280     DEPTH = 0(?:
 281     MUTEXP = $ADDR
 282     OWNER = $ADDR)?
 283     FLAGS = 0x404                               # $] < 5.009
 284     FLAGS = 0x490               # $] >= 5.009 && ($] < 5.015 || !thr)
 285     FLAGS = 0x1490                              # $] >= 5.015 && thr
 286     OUTSIDE_SEQ = \\d+
 287     PADLIST = $ADDR
 288     PADNAME = $ADDR\\($ADDR\\) PAD = $ADDR\\($ADDR\\)
 289     OUTSIDE = $ADDR \\(MAIN\\)');
 290
 291 do_test('reference to named subroutine without prototype',
 292         \&do_test,
 293 'SV = $RV\\($ADDR\\) at $ADDR
 294   REFCNT = 1
 295   FLAGS = \\(ROK\\)
 296   RV = $ADDR
 297   SV = PVCV\\($ADDR\\) at $ADDR
 298     REFCNT = (3|4)
 299     FLAGS = \\(\\)                              # $] < 5.015 || !thr
 300     FLAGS = \\(DYNFILE\\)                       # $] >= 5.015 && thr
 301     IV = 0                                      # $] < 5.009
 302     NV = 0                                      # $] < 5.009
 303     COMP_STASH = $ADDR\\t"main"
 304     START = $ADDR ===> \\d+
 305     ROOT = $ADDR
 306     XSUB = 0x0                                  # $] < 5.009
 307     XSUBANY = 0                                 # $] < 5.009
 308     GVGV::GV = $ADDR\\t"main" :: "do_test"
 309     FILE = ".*\\b(?i:peek\\.t)"
 310     DEPTH = 1(?:
 311     MUTEXP = $ADDR
 312     OWNER = $ADDR)?
 313     FLAGS = 0x0                                 # $] < 5.015 || !thr
 314     FLAGS = 0x1000                              # $] >= 5.015 && thr
 315     OUTSIDE_SEQ = \\d+
 316     PADLIST = $ADDR
 317     PADNAME = $ADDR\\($ADDR\\) PAD = $ADDR\\($ADDR\\)
 318        \\d+\\. $ADDR<\\d+> \\(\\d+,\\d+\\) "\\$todo"
 319        \\d+\\. $ADDR<\\d+> \\(\\d+,\\d+\\) "\\$repeat_todo"
 320        \\d+\\. $ADDR<\\d+> \\(\\d+,\\d+\\) "\\$pattern"
 321       \\d+\\. $ADDR<\\d+> FAKE "\\$DEBUG"                       # $] < 5.009
 322       \\d+\\. $ADDR<\\d+> FAKE "\\$DEBUG" flags=0x0 index=0     # $] >= 5.009
 323       \\d+\\. $ADDR<\\d+> \\(\\d+,\\d+\\) "\\$dump"
 324       \\d+\\. $ADDR<\\d+> \\(\\d+,\\d+\\) "\\$dump2"
 325     OUTSIDE = $ADDR \\(MAIN\\)');
 326
 327 if ($] >= 5.011) {
 328 do_test('reference to regexp',
 329         qr(tic),
 330 'SV = $RV\\($ADDR\\) at $ADDR
 331   REFCNT = 1
 332   FLAGS = \\(ROK\\)
 333   RV = $ADDR
 334   SV = REGEXP\\($ADDR\\) at $ADDR
 335     REFCNT = 1
 336     FLAGS = \\(OBJECT,POK,FAKE,pPOK\\)
 337     PV = $ADDR "\\(\\?\\^:tic\\)"
 338     CUR = 8
 339     LEN = 0
 340     STASH = $ADDR\\t"Regexp"'
 341 . ($] < 5.013 ? '' :
 342 '
 343     EXTFLAGS = 0x680000 \(CHECK_ALL,USE_INTUIT_NOML,USE_INTUIT_ML\)
 344     INTFLAGS = 0x0
 345     NPARENS = 0
 346     LASTPAREN = 0
 347     LASTCLOSEPAREN = 0
 348     MINLEN = 3
 349     MINLENRET = 3
 350     GOFS = 0
 351     PRE_PREFIX = 4
 352     SUBLEN = 0
 353     SUBBEG = 0x0
 354     ENGINE = $ADDR
 355     MOTHER_RE = $ADDR
 356     PAREN_NAMES = 0x0
 357     SUBSTRS = $ADDR
 358     PPRIVATE = $ADDR
 359     OFFS = $ADDR
 360     QR_ANONCV = 0x0'
 361 ));
 362 } else {
 363 do_test('reference to regexp',
 364         qr(tic),
 365 'SV = $RV\\($ADDR\\) at $ADDR
 366   REFCNT = 1
 367   FLAGS = \\(ROK\\)
 368   RV = $ADDR
 369   SV = PVMG\\($ADDR\\) at $ADDR
 370     REFCNT = 1
 371     FLAGS = \\(OBJECT,SMG\\)
 372     IV = 0
 373     NV = 0
 374     PV = 0
 375     MAGIC = $ADDR
 376       MG_VIRTUAL = $ADDR
 377       MG_TYPE = PERL_MAGIC_qr\(r\)
 378       MG_OBJ = $ADDR
 379         PAT = "\(\?^:tic\)"                     # $] >= 5.009
 380         REFCNT = 2                              # $] >= 5.009
 381     STASH = $ADDR\\t"Regexp"');
 382 }
 383
 384 do_test('reference to blessed hash',
 385         (bless {}, "Tac"),
 386 'SV = $RV\\($ADDR\\) at $ADDR
 387   REFCNT = 1
 388   FLAGS = \\(ROK\\)
 389   RV = $ADDR
 390   SV = PVHV\\($ADDR\\) at $ADDR
 391     REFCNT = 1
 392     FLAGS = \\(OBJECT,SHAREKEYS\\)
 393     IV = 0                                      # $] < 5.009
 394     NV = 0                                      # $] < 5.009
 395     STASH = $ADDR\\t"Tac"
 396     ARRAY = 0x0
 397     KEYS = 0
 398     FILL = 0
 399     MAX = 7
 400     RITER = -1
 401     EITER = 0x0', '',
 402         $] > 5.009
 403         ? $] >= 5.015
 404              ? 0
 405              : 'The hash iterator used in dump.c sets the OOK flag'
 406         : "Something causes the HV's array to become allocated");
 407
 408 do_test('typeglob',
 409         *a,
 410 'SV = PVGV\\($ADDR\\) at $ADDR
 411   REFCNT = 5
 412   FLAGS = \\(MULTI(?:,IN_PAD)?\\)               # $] >= 5.009
 413   FLAGS = \\(GMG,SMG,MULTI(?:,IN_PAD)?\\)       # $] < 5.009
 414   IV = 0                                        # $] < 5.009
 415   NV = 0                                        # $] < 5.009
 416   PV = 0                                        # $] < 5.009
 417   MAGIC = $ADDR                                 # $] < 5.009
 418     MG_VIRTUAL = &PL_vtbl_glob                  # $] < 5.009
 419     MG_TYPE = PERL_MAGIC_glob\(\*\)             # $] < 5.009
 420     MG_OBJ = $ADDR                              # $] < 5.009
 421   NAME = "a"
 422   NAMELEN = 1
 423   GvSTASH = $ADDR\\t"main"
 424   GP = $ADDR
 425     SV = $ADDR
 426     REFCNT = 1
 427     IO = 0x0
 428     FORM = 0x0
 429     AV = 0x0
 430     HV = 0x0
 431     CV = 0x0
 432     CVGEN = 0x0
 433     GPFLAGS = 0x0                               # $] < 5.009
 434     LINE = \\d+
 435     FILE = ".*\\b(?i:peek\\.t)"
 436     FLAGS = $ADDR
 437     EGV = $ADDR\\t"a"');
 438
 439 if (ord('A') == 193) {
 440 do_test('string with Unicode',
 441         chr(256).chr(0).chr(512),
 442 'SV = PV\\($ADDR\\) at $ADDR
 443   REFCNT = 1
 444   FLAGS = \\((?:$PADTMP,)?POK,READONLY,pPOK,UTF8\\)
 445   PV = $ADDR "\\\214\\\101\\\0\\\235\\\101"\\\0 \[UTF8 "\\\x\{100\}\\\x\{0\}\\\x\{200\}"\]
 446   CUR = 5
 447   LEN = \\d+');
 448 } else {
 449 do_test('string with Unicode',
 450         chr(256).chr(0).chr(512),
 451 'SV = PV\\($ADDR\\) at $ADDR
 452   REFCNT = 1
 453   FLAGS = \\((?:$PADTMP,)?POK,READONLY,pPOK,UTF8\\)
 454   PV = $ADDR "\\\304\\\200\\\0\\\310\\\200"\\\0 \[UTF8 "\\\x\{100\}\\\x\{0\}\\\x\{200\}"\]
 455   CUR = 5
 456   LEN = \\d+');
 457 }
 458
 459 if (ord('A') == 193) {
 460 do_test('reference to hash containing Unicode',
 461         {chr(256)=>chr(512)},
 462 'SV = $RV\\($ADDR\\) at $ADDR
 463   REFCNT = 1
 464   FLAGS = \\(ROK\\)
 465   RV = $ADDR
 466   SV = PVHV\\($ADDR\\) at $ADDR
 467     REFCNT = 1
 468     FLAGS = \\(SHAREKEYS,HASKFLAGS\\)
 469     UV = 1                                      # $] < 5.009
 470     NV = $FLOAT                                 # $] < 5.009
 471     ARRAY = $ADDR  \\(0:7, 1:1\\)
 472     hash quality = 100.0%
 473     KEYS = 1
 474     FILL = 1
 475     MAX = 7
 476     RITER = -1
 477     EITER = $ADDR
 478     Elt "\\\214\\\101" \[UTF8 "\\\x\{100\}"\] HASH = $ADDR
 479     SV = PV\\($ADDR\\) at $ADDR
 480       REFCNT = 1
 481       FLAGS = \\(POK,pPOK,UTF8\\)
 482       PV = $ADDR "\\\235\\\101"\\\0 \[UTF8 "\\\x\{200\}"\]
 483       CUR = 2
 484       LEN = \\d+',
 485         $] > 5.009
 486         ? $] >= 5.015
 487             ?  0
 488             : 'The hash iterator used in dump.c sets the OOK flag'
 489         : 'sv_length has been called on the element, and cached the result in MAGIC');
 490 } else {
 491 do_test('reference to hash containing Unicode',
 492         {chr(256)=>chr(512)},
 493 'SV = $RV\\($ADDR\\) at $ADDR
 494   REFCNT = 1
 495   FLAGS = \\(ROK\\)
 496   RV = $ADDR
 497   SV = PVHV\\($ADDR\\) at $ADDR
 498     REFCNT = 1
 499     FLAGS = \\(SHAREKEYS,HASKFLAGS\\)
 500     UV = 1                                      # $] < 5.009
 501     NV = 0                                      # $] < 5.009
 502     ARRAY = $ADDR  \\(0:7, 1:1\\)
 503     hash quality = 100.0%
 504     KEYS = 1
 505     FILL = 1
 506     MAX = 7
 507     RITER = -1
 508     EITER = $ADDR
 509     Elt "\\\304\\\200" \[UTF8 "\\\x\{100\}"\] HASH = $ADDR
 510     SV = PV\\($ADDR\\) at $ADDR
 511       REFCNT = 1
 512       FLAGS = \\(POK,pPOK,UTF8\\)
 513       PV = $ADDR "\\\310\\\200"\\\0 \[UTF8 "\\\x\{200\}"\]
 514       CUR = 2
 515       LEN = \\d+', '',
 516         $] > 5.009
 517         ? $] >= 5.015
 518             ?  0
 519             : 'The hash iterator used in dump.c sets the OOK flag'
 520         : 'sv_length has been called on the element, and cached the result in MAGIC');
 521 }
 522
 523 my $x="";
 524 $x=~/.??/g;
 525 do_test('scalar with pos magic',
 526         $x,
 527 'SV = PVMG\\($ADDR\\) at $ADDR
 528   REFCNT = 1
 529   FLAGS = \\($PADMY,SMG,POK,pPOK\\)
 530   IV = 0
 531   NV = 0
 532   PV = $ADDR ""\\\0
 533   CUR = 0
 534   LEN = \d+
 535   MAGIC = $ADDR
 536     MG_VIRTUAL = &PL_vtbl_mglob
 537     MG_TYPE = PERL_MAGIC_regex_global\\(g\\)
 538     MG_FLAGS = 0x01
 539       MINMATCH');
 540
 541 #
 542 # TAINTEDDIR is not set on: OS2, AMIGAOS, WIN32, MSDOS
 543 # environment variables may be invisibly case-forced, hence the (?i:PATH)
 544 # C<scalar(@ARGV)> is turned into an IV on VMS hence the (?:IV)?
 545 # Perl 5.18 ensures all env vars end up as strings only, hence the (?:,pIOK)?
 546 # Perl 5.18 ensures even magic vars have public OK, hence the (?:,POK)?
 547 # VMS is setting FAKE and READONLY flags.  What VMS uses for storing
 548 # ENV hashes is also not always null terminated.
 549 #
 550 do_test('tainted value in %ENV',
 551         $ENV{PATH}=@ARGV,  # scalar(@ARGV) is a handy known tainted value
 552 'SV = PVMG\\($ADDR\\) at $ADDR
 553   REFCNT = 1
 554   FLAGS = \\(GMG,SMG,RMG(?:,POK)?(?:,pIOK)?,pPOK\\)
 555   IV = 0
 556   NV = 0
 557   PV = $ADDR "0"\\\0
 558   CUR = 1
 559   LEN = \d+
 560   MAGIC = $ADDR
 561     MG_VIRTUAL = &PL_vtbl_envelem
 562     MG_TYPE = PERL_MAGIC_envelem\\(e\\)
 563 (?:    MG_FLAGS = 0x01
 564       TAINTEDDIR
 565 )?    MG_LEN = -?\d+
 566     MG_PTR = $ADDR (?:"(?i:PATH)"|=> HEf_SVKEY
 567     SV = PV(?:IV)?\\($ADDR\\) at $ADDR
 568       REFCNT = \d+
 569       FLAGS = \\(TEMP,POK,(?:FAKE,READONLY,)?pPOK\\)
 570 (?:      IV = 0
 571 )?      PV = $ADDR "(?i:PATH)"(?:\\\0)?
 572       CUR = \d+
 573       LEN = \d+)
 574   MAGIC = $ADDR
 575     MG_VIRTUAL = &PL_vtbl_taint
 576     MG_TYPE = PERL_MAGIC_taint\\(t\\)');
 577
 578 do_test('blessed reference',
 579         bless(\\undef, 'Foobar'),
 580 'SV = $RV\\($ADDR\\) at $ADDR
 581   REFCNT = 1
 582   FLAGS = \\(ROK\\)
 583   RV = $ADDR
 584   SV = PVMG\\($ADDR\\) at $ADDR
 585     REFCNT = 2
 586     FLAGS = \\(OBJECT,ROK\\)
 587     IV = -?\d+
 588     NV = $FLOAT
 589     RV = $ADDR
 590     SV = NULL\\(0x0\\) at $ADDR
 591       REFCNT = \d+
 592       FLAGS = \\(READONLY\\)
 593     PV = $ADDR ""
 594     CUR = 0
 595     LEN = 0
 596     STASH = $ADDR\s+"Foobar"');
 597
 598 sub const () {
 599     "Perl rules";
 600 }
 601
 602 do_test('constant subroutine',
 603         \&const,
 604 'SV = $RV\\($ADDR\\) at $ADDR
 605   REFCNT = 1
 606   FLAGS = \\(ROK\\)
 607   RV = $ADDR
 608   SV = PVCV\\($ADDR\\) at $ADDR
 609     REFCNT = (2)
 610     FLAGS = \\(POK,pPOK,CONST,ISXSUB\\)         # $] < 5.015
 611     FLAGS = \\(POK,pPOK,CONST,DYNFILE,ISXSUB\\) # $] >= 5.015
 612     IV = 0                                      # $] < 5.009
 613     NV = 0                                      # $] < 5.009
 614     PROTOTYPE = ""
 615     COMP_STASH = 0x0
 616     ROOT = 0x0                                  # $] < 5.009
 617     XSUB = $ADDR
 618     XSUBANY = $ADDR \\(CONST SV\\)
 619     SV = PV\\($ADDR\\) at $ADDR
 620       REFCNT = 1
 621       FLAGS = \\(.*POK,READONLY,pPOK\\)
 622       PV = $ADDR "Perl rules"\\\0
 623       CUR = 10
 624       LEN = \\d+
 625     GVGV::GV = $ADDR\\t"main" :: "const"
 626     FILE = ".*\\b(?i:peek\\.t)"
 627     DEPTH = 0(?:
 628     MUTEXP = $ADDR
 629     OWNER = $ADDR)?
 630     FLAGS = 0x200                               # $] < 5.009
 631     FLAGS = 0xc00                               # $] >= 5.009 && $] < 5.013
 632     FLAGS = 0xc                                 # $] >= 5.013 && $] < 5.015
 633     FLAGS = 0x100c                              # $] >= 5.015
 634     OUTSIDE_SEQ = 0
 635     PADLIST = 0x0
 636     OUTSIDE = 0x0 \\(null\\)');
 637
 638 do_test('isUV should show on PVMG',
 639         do { my $v = $1; $v = ~0; $v },
 640 'SV = PVMG\\($ADDR\\) at $ADDR
 641   REFCNT = 1
 642   FLAGS = \\(IOK,pIOK,IsUV\\)
 643   UV = \d+
 644   NV = 0
 645   PV = 0');
 646
 647 do_test('IO',
 648         *STDOUT{IO},
 649 'SV = $RV\\($ADDR\\) at $ADDR
 650   REFCNT = 1
 651   FLAGS = \\(ROK\\)
 652   RV = $ADDR
 653   SV = PVIO\\($ADDR\\) at $ADDR
 654     REFCNT = 3
 655     FLAGS = \\(OBJECT\\)
 656     IV = 0                                      # $] < 5.011
 657     NV = 0                                      # $] < 5.011
 658     STASH = $ADDR\s+"IO::File"
 659     IFP = $ADDR
 660     OFP = $ADDR
 661     DIRP = 0x0
 662     LINES = 0
 663     PAGE = 0
 664     PAGE_LEN = 60
 665     LINES_LEFT = 0
 666     TOP_GV = 0x0
 667     FMT_GV = 0x0
 668     BOTTOM_GV = 0x0
 669     SUBPROCESS = 0                              # $] < 5.009
 670     TYPE = \'>\'
 671     FLAGS = 0x4');
 672
 673 do_test('FORMAT',
 674         *PIE{FORMAT},
 675 'SV = $RV\\($ADDR\\) at $ADDR
 676   REFCNT = 1
 677   FLAGS = \\(ROK\\)
 678   RV = $ADDR
 679   SV = PVFM\\($ADDR\\) at $ADDR
 680     REFCNT = 2
 681     FLAGS = \\(\\)                              # $] < 5.015 || !thr
 682     FLAGS = \\(DYNFILE\\)                       # $] >= 5.015 && thr
 683     IV = 0                                      # $] < 5.009
 684     NV = 0                                      # $] < 5.009
 685 (?:    PV = 0
 686 )?    COMP_STASH = 0x0
 687     START = $ADDR ===> \\d+
 688     ROOT = $ADDR
 689     XSUB = 0x0                                  # $] < 5.009
 690     XSUBANY = 0                                 # $] < 5.009
 691     GVGV::GV = $ADDR\\t"main" :: "PIE"
 692     FILE = ".*\\b(?i:peek\\.t)"(?:
 693     DEPTH = 0)?(?:
 694     MUTEXP = $ADDR
 695     OWNER = $ADDR)?
 696     FLAGS = 0x0                                 # $] < 5.015 || !thr
 697     FLAGS = 0x1000                              # $] >= 5.015 && thr
 698     OUTSIDE_SEQ = \\d+
 699     LINES = 0                                   # $] < 5.017_003
 700     PADLIST = $ADDR
 701     PADNAME = $ADDR\\($ADDR\\) PAD = $ADDR\\($ADDR\\)
 702     OUTSIDE = $ADDR \\(MAIN\\)');
 703
 704 do_test('blessing to a class with embedded NUL characters',
 705         (bless {}, "\0::foo::\n::baz::\t::\0"),
 706 'SV = $RV\\($ADDR\\) at $ADDR
 707   REFCNT = 1
 708   FLAGS = \\(ROK\\)
 709   RV = $ADDR
 710   SV = PVHV\\($ADDR\\) at $ADDR
 711     REFCNT = 1
 712     FLAGS = \\(OBJECT,SHAREKEYS\\)
 713     IV = 0                                      # $] < 5.009
 714     NV = 0                                      # $] < 5.009
 715     STASH = $ADDR\\t"\\\\0::foo::\\\\n::baz::\\\\t::\\\\0"
 716     ARRAY = $ADDR
 717     KEYS = 0
 718     FILL = 0
 719     MAX = 7
 720     RITER = -1
 721     EITER = 0x0', '',
 722         $] > 5.009
 723         ? $] >= 5.015
 724             ?  0
 725             : 'The hash iterator used in dump.c sets the OOK flag'
 726         : "Something causes the HV's array to become allocated");
 727
 728 do_test('ENAME on a stash',
 729         \%RWOM::,
 730 'SV = $RV\\($ADDR\\) at $ADDR
 731   REFCNT = 1
 732   FLAGS = \\(ROK\\)
 733   RV = $ADDR
 734   SV = PVHV\\($ADDR\\) at $ADDR
 735     REFCNT = 2
 736     FLAGS = \\(OOK,SHAREKEYS\\)
 737     IV = 1                                      # $] < 5.009
 738     NV = $FLOAT                                 # $] < 5.009
 739     ARRAY = $ADDR
 740     KEYS = 0
 741     FILL = 0
 742     MAX = 7
 743     RITER = -1
 744     EITER = 0x0
 745     NAME = "RWOM"
 746     ENAME = "RWOM"                              # $] > 5.012
 747 ');
 748
 749 *KLANK:: = \%RWOM::;
 750
 751 do_test('ENAMEs on a stash',
 752         \%RWOM::,
 753 'SV = $RV\\($ADDR\\) at $ADDR
 754   REFCNT = 1
 755   FLAGS = \\(ROK\\)
 756   RV = $ADDR
 757   SV = PVHV\\($ADDR\\) at $ADDR
 758     REFCNT = 3
 759     FLAGS = \\(OOK,SHAREKEYS\\)
 760     IV = 1                                      # $] < 5.009
 761     NV = $FLOAT                                 # $] < 5.009
 762     ARRAY = $ADDR
 763     KEYS = 0
 764     FILL = 0
 765     MAX = 7
 766     RITER = -1
 767     EITER = 0x0
 768     NAME = "RWOM"
 769     NAMECOUNT = 2                               # $] > 5.012
 770     ENAME = "RWOM", "KLANK"                     # $] > 5.012
 771 ');
 772
 773 undef %RWOM::;
 774
 775 do_test('ENAMEs on a stash with no NAME',
 776         \%RWOM::,
 777 'SV = $RV\\($ADDR\\) at $ADDR
 778   REFCNT = 1
 779   FLAGS = \\(ROK\\)
 780   RV = $ADDR
 781   SV = PVHV\\($ADDR\\) at $ADDR
 782     REFCNT = 3
 783     FLAGS = \\(OOK,SHAREKEYS\\)                 # $] < 5.017
 784     FLAGS = \\(OOK,OVERLOAD,SHAREKEYS\\)        # $] >=5.017
 785     IV = 1                                      # $] < 5.009
 786     NV = $FLOAT                                 # $] < 5.009
 787     ARRAY = $ADDR
 788     KEYS = 0
 789     FILL = 0
 790     MAX = 7
 791     RITER = -1
 792     EITER = 0x0
 793     NAMECOUNT = -3                              # $] > 5.012
 794     ENAME = "RWOM", "KLANK"                     # $] > 5.012
 795 ');
 796
 797 SKIP: {
 798     skip "Not built with usemymalloc", 1
 799       unless $Config{usemymalloc} eq 'y';
 800     my $x = __PACKAGE__;
 801     ok eval { fill_mstats($x); 1 }, 'fill_mstats on COW scalar'
 802      or diag $@;
 803 }
 804
 805 # This is more a test of fbm_compile/pp_study (non) interaction than dumping
 806 # prowess, but short of duplicating all the gubbins of this file, I can't see
 807 # a way to make a better place for it:
 808
 809 use constant {
 810     perl => 'rules',
 811     beer => 'foamy',
 812 };
 813
 814 unless ($Config{useithreads}) {
 815     # These end up as copies in pads under ithreads, which rather defeats the
 816     # the point of what we're trying to test here.
 817
 818     do_test('regular string constant', perl,
 819 'SV = PV\\($ADDR\\) at $ADDR
 820   REFCNT = 5
 821   FLAGS = \\(PADMY,POK,READONLY,pPOK\\)
 822   PV = $ADDR "rules"\\\0
 823   CUR = 5
 824   LEN = \d+
 825 ');
 826
 827     eval 'index "", perl';
 828
 829     # FIXME - really this shouldn't say EVALED. It's a false posistive on
 830     # 0x40000000 being used for several things, not a flag for "I'm in a string
 831     # eval"
 832
 833     do_test('string constant now an FBM', perl,
 834 'SV = PVMG\\($ADDR\\) at $ADDR
 835   REFCNT = 5
 836   FLAGS = \\(PADMY,SMG,POK,READONLY,pPOK,VALID,EVALED\\)
 837   PV = $ADDR "rules"\\\0
 838   CUR = 5
 839   LEN = \d+
 840   MAGIC = $ADDR
 841     MG_VIRTUAL = &PL_vtbl_regexp
 842     MG_TYPE = PERL_MAGIC_bm\\(B\\)
 843     MG_LEN = 256
 844     MG_PTR = $ADDR "(?:\\\\\d){256}"
 845   RARE = \d+
 846   PREVIOUS = 1
 847   USEFUL = 100
 848 ');
 849
 850     is(study perl, '', "Not allowed to study an FBM");
 851
 852     do_test('string constant still an FBM', perl,
 853 'SV = PVMG\\($ADDR\\) at $ADDR
 854   REFCNT = 5
 855   FLAGS = \\(PADMY,SMG,POK,READONLY,pPOK,VALID,EVALED\\)
 856   PV = $ADDR "rules"\\\0
 857   CUR = 5
 858   LEN = \d+
 859   MAGIC = $ADDR
 860     MG_VIRTUAL = &PL_vtbl_regexp
 861     MG_TYPE = PERL_MAGIC_bm\\(B\\)
 862     MG_LEN = 256
 863     MG_PTR = $ADDR "(?:\\\\\d){256}"
 864   RARE = \d+
 865   PREVIOUS = 1
 866   USEFUL = 100
 867 ');
 868
 869     do_test('regular string constant', beer,
 870 'SV = PV\\($ADDR\\) at $ADDR
 871   REFCNT = 6
 872   FLAGS = \\(PADMY,POK,READONLY,pPOK\\)
 873   PV = $ADDR "foamy"\\\0
 874   CUR = 5
 875   LEN = \d+
 876 ');
 877
 878     is(study beer, 1, "Our studies were successful");
 879
 880     do_test('string constant quite unaffected', beer, 'SV = PV\\($ADDR\\) at $ADDR
 881   REFCNT = 6
 882   FLAGS = \\(PADMY,POK,READONLY,pPOK\\)
 883   PV = $ADDR "foamy"\\\0
 884   CUR = 5
 885   LEN = \d+
 886 ');
 887
 888     my $want = 'SV = PVMG\\($ADDR\\) at $ADDR
 889   REFCNT = 6
 890   FLAGS = \\(PADMY,SMG,POK,READONLY,pPOK,VALID,EVALED\\)
 891   PV = $ADDR "foamy"\\\0
 892   CUR = 5
 893   LEN = \d+
 894   MAGIC = $ADDR
 895     MG_VIRTUAL = &PL_vtbl_regexp
 896     MG_TYPE = PERL_MAGIC_bm\\(B\\)
 897     MG_LEN = 256
 898     MG_PTR = $ADDR "(?:\\\\\d){256}"
 899   RARE = \d+
 900   PREVIOUS = \d+
 901   USEFUL = 100
 902 ';
 903
 904     is (eval 'index "not too foamy", beer', 8, 'correct index');
 905
 906     do_test('string constant now FBMed', beer, $want);
 907
 908     my $pie = 'good';
 909
 910     is(study $pie, 1, "Our studies were successful");
 911
 912     do_test('string constant still FBMed', beer, $want);
 913
 914     do_test('second string also unaffected', $pie, 'SV = PV\\($ADDR\\) at $ADDR
 915   REFCNT = 1
 916   FLAGS = \\(PADMY,POK,pPOK\\)
 917   PV = $ADDR "good"\\\0
 918   CUR = 4
 919   LEN = \d+
 920 ');
 921 }
 922
 923 # (One block of study tests removed when study was made a no-op.)
 924
 925 {
 926     open(OUT,">peek$$") or die "Failed to open peek $$: $!";
 927     open(STDERR, ">&OUT") or die "Can't dup OUT: $!";
 928     DeadCode();
 929     open(STDERR, ">&SAVERR") or die "Can't restore STDERR: $!";
 930     pass "no crash with DeadCode";
 931 }
 932
 933 done_testing();