[perl5.git] / ext / B / t / optree_varinit.t

#!perl

BEGIN {
    unshift @INC, 't';
    require Config;
    if (($Config::Config{'extensions'} !~ /\bB\b/) ){
        print "1..0 # Skip -- Perl configured without B module\n";
        exit 0;
    }
    if (!$Config::Config{useperlio}) {
        print "1..0 # Skip -- need perlio to walk the optree\n";
        exit 0;
    }
}
use OptreeCheck;
use Config;
plan tests	=> 42;

pass("OPTIMIZER TESTS - VAR INITIALIZATION");

checkOptree ( name	=> 'sub {my $a}',
	      bcopts	=> '-exec',
	      code	=> sub {my $a},
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
# 1  <;> nextstate(main 45 optree.t:23) v:>,<,%
# 2  <0> padsv[$a:45,46] M/LVINTRO
# 3  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 45 optree.t:23) v:>,<,%
# 2  <0> padsv[$a:45,46] M/LVINTRO
# 3  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> '-exec sub {my $a}',
	      bcopts	=> '-exec',
	      code	=> sub {my $a},
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
# 1  <;> nextstate(main 49 optree.t:52) v:>,<,%
# 2  <0> padsv[$a:49,50] M/LVINTRO
# 3  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 49 optree.t:45) v:>,<,%
# 2  <0> padsv[$a:49,50] M/LVINTRO
# 3  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'sub {our $a}',
	      bcopts	=> '-exec',
	      code	=> sub {our $a},
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <;> nextstate(main 21 optree.t:47) v:>,<,%
2  <#> gvsv[*a] s/OURINTR
3  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 51 optree.t:56) v:>,<,%
# 2  <$> gvsv(*a) s/OURINTR
# 3  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'sub {local $a}',
	      bcopts	=> '-exec',
	      code	=> sub {local $a},
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <;> nextstate(main 23 optree.t:57) v:>,<,%,{
2  <#> gvsv[*a] s/LVINTRO
3  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 53 optree.t:67) v:>,<,%,{
# 2  <$> gvsv(*a) s/LVINTRO
# 3  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'my $a',
	      prog	=> 'my $a',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
# 4  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# 3     <0> padsv[$a:1,2] vM/LVINTRO ->4
EOT_EOT
# 4  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# 3     <0> padsv[$a:1,2] vM/LVINTRO ->4
EONT_EONT

checkOptree ( name	=> 'our $a',
	      prog	=> 'our $a',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
4  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
-     <1> ex-rv2sv vK/17 ->4
3        <#> gvsv[*a] s/OURINTR ->4
EOT_EOT
# 4  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# -     <1> ex-rv2sv vK/17 ->4
# 3        <$> gvsv(*a) s/OURINTR ->4
EONT_EONT

checkOptree ( name	=> 'local $c',
	      prog	=> 'local $c',
	      errs      => ['Name "main::c" used only once: possible typo at -e line 1.'],
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
4  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
-     <1> ex-rv2sv vKM/129 ->4
3        <#> gvsv[*c] s/LVINTRO ->4
EOT_EOT
# 4  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# -     <1> ex-rv2sv vKM/129 ->4
# 3        <$> gvsv(*c) s/LVINTRO ->4
EONT_EONT

pass("MY, OUR, LOCAL, BOTH SUB AND MAIN, = undef");

checkOptree ( name	=> 'sub {my $a=undef}',
	      code	=> sub {my $a=undef},
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
5  <1> leavesub[1 ref] K/REFC,1 ->(end)
-     <@> lineseq KP ->5
1        <;> nextstate(main 641 optree_varinit.t:130) v:>,<,% ->2
4        <2> sassign sKS/2 ->5
2           <0> undef s ->3
3           <0> padsv[$a:641,642] sRM*/LVINTRO ->4
EOT_EOT
# 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
# -     <@> lineseq KP ->5
# 1        <;> nextstate(main 641 optree_varinit.t:130) v:>,<,% ->2
# 4        <2> sassign sKS/2 ->5
# 2           <0> undef s ->3
# 3           <0> padsv[$a:641,642] sRM*/LVINTRO ->4
EONT_EONT

checkOptree ( name	=> 'sub {our $a=undef}',
	      code	=> sub {our $a=undef},
	      note	=> 'the global must be reset',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
5  <1> leavesub[1 ref] K/REFC,1 ->(end)
-     <@> lineseq KP ->5
1        <;> nextstate(main 26 optree.t:109) v:>,<,%,{ ->2
4        <2> sassign sKS/2 ->5
2           <0> undef s ->3
-           <1> ex-rv2sv sKRM*/17 ->4
3              <#> gvsv[*a] s/OURINTR ->4
EOT_EOT
# 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
# -     <@> lineseq KP ->5
# 1        <;> nextstate(main 446 optree_varinit.t:137) v:>,<,%,{ ->2
# 4        <2> sassign sKS/2 ->5
# 2           <0> undef s ->3
# -           <1> ex-rv2sv sKRM*/17 ->4
# 3              <$> gvsv(*a) s/OURINTR ->4
EONT_EONT

checkOptree ( name	=> 'sub {local $a=undef}',
	      code	=> sub {local $a=undef},
	      note	=> 'local not used enough to bother',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
5  <1> leavesub[1 ref] K/REFC,1 ->(end)
-     <@> lineseq KP ->5
1        <;> nextstate(main 28 optree.t:122) v:>,<,%,{ ->2
4        <2> sassign sKS/2 ->5
2           <0> undef s ->3
-           <1> ex-rv2sv sKRM*/129 ->4
3              <#> gvsv[*a] s/LVINTRO ->4
EOT_EOT
# 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
# -     <@> lineseq KP ->5
# 1        <;> nextstate(main 58 optree.t:141) v:>,<,%,{ ->2
# 4        <2> sassign sKS/2 ->5
# 2           <0> undef s ->3
# -           <1> ex-rv2sv sKRM*/129 ->4
# 3              <$> gvsv(*a) s/LVINTRO ->4
EONT_EONT

checkOptree ( name	=> 'my $a=undef',
	      prog	=> 'my $a=undef',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
5     <2> sassign vKS/2 ->6
3        <0> undef s ->4
4        <0> padsv[$a:1,2] sRM*/LVINTRO ->5
EOT_EOT
# 6  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# 5     <2> sassign vKS/2 ->6
# 3        <0> undef s ->4
# 4        <0> padsv[$a:1,2] sRM*/LVINTRO ->5
EONT_EONT

checkOptree ( name	=> 'our $a=undef',
	      prog	=> 'our $a=undef',
	      note	=> 'global must be reassigned',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
5     <2> sassign vKS/2 ->6
3        <0> undef s ->4
-        <1> ex-rv2sv sKRM*/17 ->5
4           <#> gvsv[*a] s/OURINTR ->5
EOT_EOT
# 6  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# 5     <2> sassign vKS/2 ->6
# 3        <0> undef s ->4
# -        <1> ex-rv2sv sKRM*/17 ->5
# 4           <$> gvsv(*a) s/OURINTR ->5
EONT_EONT

checkOptree ( name	=> 'local $c=undef',
	      prog	=> 'local $c=undef',
	      errs      => ['Name "main::c" used only once: possible typo at -e line 1.'],
	      note	=> 'locals are rare, probably not worth doing',
	      bcopts	=> '-basic',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
5     <2> sassign vKS/2 ->6
3        <0> undef s ->4
-        <1> ex-rv2sv sKRM*/129 ->5
4           <#> gvsv[*c] s/LVINTRO ->5
EOT_EOT
# 6  <@> leave[1 ref] vKP/REFC ->(end)
# 1     <0> enter ->2
# 2     <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
# 5     <2> sassign vKS/2 ->6
# 3        <0> undef s ->4
# -        <1> ex-rv2sv sKRM*/129 ->5
# 4           <$> gvsv(*c) s/LVINTRO ->5
EONT_EONT

checkOptree ( name	=> 'sub {my $a=()}',
	      code	=> sub {my $a=()},
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <;> nextstate(main -439 optree.t:105) v:>,<,%
2  <0> stub sP
3  <0> padsv[$a:-439,-438] sRM*/LVINTRO
4  <2> sassign sKS/2
5  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 438 optree_varinit.t:247) v:>,<,%
# 2  <0> stub sP
# 3  <0> padsv[$a:438,439] sRM*/LVINTRO
# 4  <2> sassign sKS/2
# 5  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'sub {our $a=()}',
	      code	=> sub {our $a=()},
              #todo	=> 'probly not worth doing',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <;> nextstate(main 31 optree.t:177) v:>,<,%,{
2  <0> stub sP
3  <#> gvsv[*a] s/OURINTR
4  <2> sassign sKS/2
5  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 440 optree_varinit.t:262) v:>,<,%,{
# 2  <0> stub sP
# 3  <$> gvsv(*a) s/OURINTR
# 4  <2> sassign sKS/2
# 5  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'sub {local $a=()}',
	      code	=> sub {local $a=()},
              #todo	=> 'probly not worth doing',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <;> nextstate(main 33 optree.t:190) v:>,<,%,{
2  <0> stub sP
3  <#> gvsv[*a] s/LVINTRO
4  <2> sassign sKS/2
5  <1> leavesub[1 ref] K/REFC,1
EOT_EOT
# 1  <;> nextstate(main 63 optree.t:225) v:>,<,%,{
# 2  <0> stub sP
# 3  <$> gvsv(*a) s/LVINTRO
# 4  <2> sassign sKS/2
# 5  <1> leavesub[1 ref] K/REFC,1
EONT_EONT

checkOptree ( name	=> 'my $a=()',
	      prog	=> 'my $a=()',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <0> enter 
2  <;> nextstate(main 1 -e:1) v:>,<,%,{
3  <0> stub sP
4  <0> padsv[$a:1,2] sRM*/LVINTRO
5  <2> sassign vKS/2
6  <@> leave[1 ref] vKP/REFC
EOT_EOT
# 1  <0> enter 
# 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
# 3  <0> stub sP
# 4  <0> padsv[$a:1,2] sRM*/LVINTRO
# 5  <2> sassign vKS/2
# 6  <@> leave[1 ref] vKP/REFC
EONT_EONT

checkOptree ( name	=> 'our $a=()',
	      prog	=> 'our $a=()',
              #todo	=> 'probly not worth doing',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <0> enter 
2  <;> nextstate(main 1 -e:1) v:>,<,%,{
3  <0> stub sP
4  <#> gvsv[*a] s/OURINTR
5  <2> sassign vKS/2
6  <@> leave[1 ref] vKP/REFC
EOT_EOT
# 1  <0> enter 
# 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
# 3  <0> stub sP
# 4  <$> gvsv(*a) s/OURINTR
# 5  <2> sassign vKS/2
# 6  <@> leave[1 ref] vKP/REFC
EONT_EONT

checkOptree ( name	=> 'local $c=()',
	      prog	=> 'local $c=()',
	      errs      => ['Name "main::c" used only once: possible typo at -e line 1.'],
              #todo	=> 'probly not worth doing',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
1  <0> enter 
2  <;> nextstate(main 1 -e:1) v:>,<,%,{
3  <0> stub sP
4  <#> gvsv[*c] s/LVINTRO
5  <2> sassign vKS/2
6  <@> leave[1 ref] vKP/REFC
EOT_EOT
# 1  <0> enter 
# 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
# 3  <0> stub sP
# 4  <$> gvsv(*c) s/LVINTRO
# 5  <2> sassign vKS/2
# 6  <@> leave[1 ref] vKP/REFC
EONT_EONT

checkOptree ( name	=> 'my ($a,$b)=()',
	      prog	=> 'my ($a,$b)=()',
              #todo	=> 'probly not worth doing',
	      bcopts	=> '-exec',
	      strip_open_hints => 1,
	      expect	=> <<'EOT_EOT', expect_nt => <<'EONT_EONT');
# 1  <0> enter 
# 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
# 3  <0> pushmark s
# 4  <0> padrange[$a:1,2; $b:1,2] lRM/LVINTRO,2
# 5  <2> aassign[t3] vKS
# 6  <@> leave[1 ref] vKP/REFC
EOT_EOT
# 1  <0> enter 
# 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
# 3  <0> pushmark s
# 4  <0> padrange[$a:1,2; $b:1,2] lRM/LVINTRO,2
# 5  <2> aassign[t3] vKS
# 6  <@> leave[1 ref] vKP/REFC
EONT_EONT
Commit	Line	Data
724aa791 JC	1	#!perl
	2
	3	BEGIN {
74517a3a	4	unshift @INC, 't';
9cd8f857 NC	5	require Config;
	6	if (($Config::Config{'extensions'} !~ /\bB\b/) ){
	7	print "1..0 # Skip -- Perl configured without B module\n";
	8	exit 0;
	9	}
27e11f68 NC	10	if (!$Config::Config{useperlio}) {
	11	print "1..0 # Skip -- need perlio to walk the optree\n";
	12	exit 0;
	13	}
724aa791 JC	14	}
724aa791 JC	15	use OptreeCheck;
2ce64696	16	use Config;
3857d07c	17	plan tests => 42;
2ce64696	18
724aa791 JC	19	pass("OPTIMIZER TESTS - VAR INITIALIZATION");
	20
	21	checkOptree ( name => 'sub {my $a}',
	22	bcopts => '-exec',
	23	code => sub {my $a},
be2b1c74	24	strip_open_hints => 1,
724aa791	25	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	26	# 1 <;> nextstate(main 45 optree.t:23) v:>,<,%
724aa791 JC	27	# 2 <0> padsv[$a:45,46] M/LVINTRO
	28	# 3 <1> leavesub[1 ref] K/REFC,1
	29	EOT_EOT
be2b1c74	30	# 1 <;> nextstate(main 45 optree.t:23) v:>,<,%
724aa791 JC	31	# 2 <0> padsv[$a:45,46] M/LVINTRO
	32	# 3 <1> leavesub[1 ref] K/REFC,1
	33	EONT_EONT
	34
	35	checkOptree ( name => '-exec sub {my $a}',
	36	bcopts => '-exec',
	37	code => sub {my $a},
be2b1c74	38	strip_open_hints => 1,
724aa791	39	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	40	# 1 <;> nextstate(main 49 optree.t:52) v:>,<,%
724aa791 JC	41	# 2 <0> padsv[$a:49,50] M/LVINTRO
	42	# 3 <1> leavesub[1 ref] K/REFC,1
	43	EOT_EOT
be2b1c74	44	# 1 <;> nextstate(main 49 optree.t:45) v:>,<,%
724aa791 JC	45	# 2 <0> padsv[$a:49,50] M/LVINTRO
	46	# 3 <1> leavesub[1 ref] K/REFC,1
	47	EONT_EONT
	48
	49	checkOptree ( name => 'sub {our $a}',
	50	bcopts => '-exec',
	51	code => sub {our $a},
be2b1c74	52	strip_open_hints => 1,
724aa791	53	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	54	1 <;> nextstate(main 21 optree.t:47) v:>,<,%
724aa791 JC	55	2 <#> gvsv[*a] s/OURINTR
	56	3 <1> leavesub[1 ref] K/REFC,1
	57	EOT_EOT
be2b1c74	58	# 1 <;> nextstate(main 51 optree.t:56) v:>,<,%
724aa791 JC	59	# 2 <$> gvsv(*a) s/OURINTR
	60	# 3 <1> leavesub[1 ref] K/REFC,1
	61	EONT_EONT
	62
	63	checkOptree ( name => 'sub {local $a}',
	64	bcopts => '-exec',
	65	code => sub {local $a},
be2b1c74	66	strip_open_hints => 1,
724aa791	67	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	68	1 <;> nextstate(main 23 optree.t:57) v:>,<,%,{
724aa791 JC	69	2 <#> gvsv[*a] s/LVINTRO
	70	3 <1> leavesub[1 ref] K/REFC,1
	71	EOT_EOT
be2b1c74	72	# 1 <;> nextstate(main 53 optree.t:67) v:>,<,%,{
724aa791 JC	73	# 2 <$> gvsv(*a) s/LVINTRO
	74	# 3 <1> leavesub[1 ref] K/REFC,1
	75	EONT_EONT
	76
	77	checkOptree ( name => 'my $a',
	78	prog => 'my $a',
	79	bcopts => '-basic',
be2b1c74	80	strip_open_hints => 1,
724aa791 JC	81	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	82	# 4 <@> leave[1 ref] vKP/REFC ->(end)
	83	# 1 <0> enter ->2
be2b1c74	84	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	85	# 3 <0> padsv[$a:1,2] vM/LVINTRO ->4
	86	EOT_EOT
	87	# 4 <@> leave[1 ref] vKP/REFC ->(end)
	88	# 1 <0> enter ->2
be2b1c74	89	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	90	# 3 <0> padsv[$a:1,2] vM/LVINTRO ->4
	91	EONT_EONT
	92
	93	checkOptree ( name => 'our $a',
	94	prog => 'our $a',
	95	bcopts => '-basic',
be2b1c74	96	strip_open_hints => 1,
724aa791 JC	97	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	98	4 <@> leave[1 ref] vKP/REFC ->(end)
	99	1 <0> enter ->2
be2b1c74	100	2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	101	- <1> ex-rv2sv vK/17 ->4
	102	3 <#> gvsv[*a] s/OURINTR ->4
	103	EOT_EOT
	104	# 4 <@> leave[1 ref] vKP/REFC ->(end)
	105	# 1 <0> enter ->2
be2b1c74	106	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	107	# - <1> ex-rv2sv vK/17 ->4
	108	# 3 <$> gvsv(*a) s/OURINTR ->4
	109	EONT_EONT
	110
ea238638 FC	111	checkOptree ( name => 'local $c',
	112	prog => 'local $c',
	113	errs => ['Name "main::c" used only once: possible typo at -e line 1.'],
724aa791	114	bcopts => '-basic',
be2b1c74	115	strip_open_hints => 1,
724aa791 JC	116	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	117	4 <@> leave[1 ref] vKP/REFC ->(end)
	118	1 <0> enter ->2
be2b1c74	119	2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791	120	- <1> ex-rv2sv vKM/129 ->4
ea238638	121	3 <#> gvsv[*c] s/LVINTRO ->4
724aa791 JC	122	EOT_EOT
	123	# 4 <@> leave[1 ref] vKP/REFC ->(end)
	124	# 1 <0> enter ->2
be2b1c74	125	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791	126	# - <1> ex-rv2sv vKM/129 ->4
ea238638	127	# 3 <$> gvsv(*c) s/LVINTRO ->4
724aa791 JC	128	EONT_EONT
	129
	130	pass("MY, OUR, LOCAL, BOTH SUB AND MAIN, = undef");
	131
	132	checkOptree ( name => 'sub {my $a=undef}',
	133	code => sub {my $a=undef},
	134	bcopts => '-basic',
be2b1c74	135	strip_open_hints => 1,
724aa791	136	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
0b599ae5 RGS	137	5 <1> leavesub[1 ref] K/REFC,1 ->(end)
0b599ae5 RGS	138	- <@> lineseq KP ->5
be2b1c74	139	1 <;> nextstate(main 641 optree_varinit.t:130) v:>,<,% ->2
0b599ae5 RGS	140	4 <2> sassign sKS/2 ->5
	141	2 <0> undef s ->3
	142	3 <0> padsv[$a:641,642] sRM*/LVINTRO ->4
724aa791	143	EOT_EOT
0b599ae5 RGS	144	# 5 <1> leavesub[1 ref] K/REFC,1 ->(end)
0b599ae5 RGS	145	# - <@> lineseq KP ->5
be2b1c74	146	# 1 <;> nextstate(main 641 optree_varinit.t:130) v:>,<,% ->2
0b599ae5 RGS	147	# 4 <2> sassign sKS/2 ->5
	148	# 2 <0> undef s ->3
	149	# 3 <0> padsv[$a:641,642] sRM*/LVINTRO ->4
724aa791 JC	150	EONT_EONT
	151
	152	checkOptree ( name => 'sub {our $a=undef}',
	153	code => sub {our $a=undef},
	154	note => 'the global must be reset',
	155	bcopts => '-basic',
be2b1c74	156	strip_open_hints => 1,
724aa791 JC	157	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	158	5 <1> leavesub[1 ref] K/REFC,1 ->(end)
	159	- <@> lineseq KP ->5
be2b1c74	160	1 <;> nextstate(main 26 optree.t:109) v:>,<,%,{ ->2
724aa791 JC	161	4 <2> sassign sKS/2 ->5
	162	2 <0> undef s ->3
	163	- <1> ex-rv2sv sKRM*/17 ->4
	164	3 <#> gvsv[*a] s/OURINTR ->4
	165	EOT_EOT
	166	# 5 <1> leavesub[1 ref] K/REFC,1 ->(end)
	167	# - <@> lineseq KP ->5
be2b1c74	168	# 1 <;> nextstate(main 446 optree_varinit.t:137) v:>,<,%,{ ->2
724aa791 JC	169	# 4 <2> sassign sKS/2 ->5
	170	# 2 <0> undef s ->3
	171	# - <1> ex-rv2sv sKRM*/17 ->4
	172	# 3 <$> gvsv(*a) s/OURINTR ->4
	173	EONT_EONT
	174
	175	checkOptree ( name => 'sub {local $a=undef}',
	176	code => sub {local $a=undef},
	177	note => 'local not used enough to bother',
	178	bcopts => '-basic',
be2b1c74	179	strip_open_hints => 1,
724aa791 JC	180	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	181	5 <1> leavesub[1 ref] K/REFC,1 ->(end)
	182	- <@> lineseq KP ->5
be2b1c74	183	1 <;> nextstate(main 28 optree.t:122) v:>,<,%,{ ->2
724aa791 JC	184	4 <2> sassign sKS/2 ->5
	185	2 <0> undef s ->3
	186	- <1> ex-rv2sv sKRM*/129 ->4
	187	3 <#> gvsv[*a] s/LVINTRO ->4
	188	EOT_EOT
	189	# 5 <1> leavesub[1 ref] K/REFC,1 ->(end)
	190	# - <@> lineseq KP ->5
be2b1c74	191	# 1 <;> nextstate(main 58 optree.t:141) v:>,<,%,{ ->2
724aa791 JC	192	# 4 <2> sassign sKS/2 ->5
	193	# 2 <0> undef s ->3
	194	# - <1> ex-rv2sv sKRM*/129 ->4
	195	# 3 <$> gvsv(*a) s/LVINTRO ->4
	196	EONT_EONT
	197
	198	checkOptree ( name => 'my $a=undef',
	199	prog => 'my $a=undef',
	200	bcopts => '-basic',
be2b1c74	201	strip_open_hints => 1,
724aa791	202	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
0b599ae5	203	6 <@> leave[1 ref] vKP/REFC ->(end)
724aa791	204	1 <0> enter ->2
be2b1c74	205	2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
0b599ae5 RGS	206	5 <2> sassign vKS/2 ->6
	207	3 <0> undef s ->4
	208	4 <0> padsv[$a:1,2] sRM*/LVINTRO ->5
724aa791	209	EOT_EOT
0b599ae5	210	# 6 <@> leave[1 ref] vKP/REFC ->(end)
724aa791	211	# 1 <0> enter ->2
be2b1c74	212	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
0b599ae5 RGS	213	# 5 <2> sassign vKS/2 ->6
	214	# 3 <0> undef s ->4
	215	# 4 <0> padsv[$a:1,2] sRM*/LVINTRO ->5
724aa791 JC	216	EONT_EONT
	217
	218	checkOptree ( name => 'our $a=undef',
	219	prog => 'our $a=undef',
	220	note => 'global must be reassigned',
	221	bcopts => '-basic',
be2b1c74	222	strip_open_hints => 1,
724aa791 JC	223	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	224	6 <@> leave[1 ref] vKP/REFC ->(end)
	225	1 <0> enter ->2
be2b1c74	226	2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	227	5 <2> sassign vKS/2 ->6
	228	3 <0> undef s ->4
	229	- <1> ex-rv2sv sKRM*/17 ->5
	230	4 <#> gvsv[*a] s/OURINTR ->5
	231	EOT_EOT
	232	# 6 <@> leave[1 ref] vKP/REFC ->(end)
	233	# 1 <0> enter ->2
be2b1c74	234	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	235	# 5 <2> sassign vKS/2 ->6
	236	# 3 <0> undef s ->4
	237	# - <1> ex-rv2sv sKRM*/17 ->5
	238	# 4 <$> gvsv(*a) s/OURINTR ->5
	239	EONT_EONT
	240
ea238638 FC	241	checkOptree ( name => 'local $c=undef',
	242	prog => 'local $c=undef',
	243	errs => ['Name "main::c" used only once: possible typo at -e line 1.'],
b7b1e41b	244	note => 'locals are rare, probably not worth doing',
724aa791	245	bcopts => '-basic',
be2b1c74	246	strip_open_hints => 1,
724aa791 JC	247	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
	248	6 <@> leave[1 ref] vKP/REFC ->(end)
	249	1 <0> enter ->2
be2b1c74	250	2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	251	5 <2> sassign vKS/2 ->6
	252	3 <0> undef s ->4
	253	- <1> ex-rv2sv sKRM*/129 ->5
ea238638	254	4 <#> gvsv[*c] s/LVINTRO ->5
724aa791 JC	255	EOT_EOT
	256	# 6 <@> leave[1 ref] vKP/REFC ->(end)
	257	# 1 <0> enter ->2
be2b1c74	258	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{ ->3
724aa791 JC	259	# 5 <2> sassign vKS/2 ->6
	260	# 3 <0> undef s ->4
	261	# - <1> ex-rv2sv sKRM*/129 ->5
ea238638	262	# 4 <$> gvsv(*c) s/LVINTRO ->5
724aa791 JC	263	EONT_EONT
	264
	265	checkOptree ( name => 'sub {my $a=()}',
	266	code => sub {my $a=()},
724aa791	267	bcopts => '-exec',
be2b1c74	268	strip_open_hints => 1,
724aa791	269	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	270	1 <;> nextstate(main -439 optree.t:105) v:>,<,%
724aa791 JC	271	2 <0> stub sP
	272	3 <0> padsv[$a:-439,-438] sRM*/LVINTRO
	273	4 <2> sassign sKS/2
	274	5 <1> leavesub[1 ref] K/REFC,1
	275	EOT_EOT
be2b1c74	276	# 1 <;> nextstate(main 438 optree_varinit.t:247) v:>,<,%
724aa791 JC	277	# 2 <0> stub sP
	278	# 3 <0> padsv[$a:438,439] sRM*/LVINTRO
	279	# 4 <2> sassign sKS/2
	280	# 5 <1> leavesub[1 ref] K/REFC,1
	281	EONT_EONT
	282
	283	checkOptree ( name => 'sub {our $a=()}',
	284	code => sub {our $a=()},
	285	#todo => 'probly not worth doing',
	286	bcopts => '-exec',
be2b1c74	287	strip_open_hints => 1,
724aa791	288	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	289	1 <;> nextstate(main 31 optree.t:177) v:>,<,%,{
724aa791 JC	290	2 <0> stub sP
	291	3 <#> gvsv[*a] s/OURINTR
	292	4 <2> sassign sKS/2
	293	5 <1> leavesub[1 ref] K/REFC,1
	294	EOT_EOT
be2b1c74	295	# 1 <;> nextstate(main 440 optree_varinit.t:262) v:>,<,%,{
724aa791 JC	296	# 2 <0> stub sP
	297	# 3 <$> gvsv(*a) s/OURINTR
	298	# 4 <2> sassign sKS/2
	299	# 5 <1> leavesub[1 ref] K/REFC,1
	300	EONT_EONT
	301
	302	checkOptree ( name => 'sub {local $a=()}',
	303	code => sub {local $a=()},
	304	#todo => 'probly not worth doing',
	305	bcopts => '-exec',
be2b1c74	306	strip_open_hints => 1,
724aa791	307	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
be2b1c74	308	1 <;> nextstate(main 33 optree.t:190) v:>,<,%,{
724aa791 JC	309	2 <0> stub sP
	310	3 <#> gvsv[*a] s/LVINTRO
	311	4 <2> sassign sKS/2
	312	5 <1> leavesub[1 ref] K/REFC,1
	313	EOT_EOT
be2b1c74	314	# 1 <;> nextstate(main 63 optree.t:225) v:>,<,%,{
724aa791 JC	315	# 2 <0> stub sP
	316	# 3 <$> gvsv(*a) s/LVINTRO
	317	# 4 <2> sassign sKS/2
	318	# 5 <1> leavesub[1 ref] K/REFC,1
	319	EONT_EONT
	320
	321	checkOptree ( name => 'my $a=()',
	322	prog => 'my $a=()',
724aa791	323	bcopts => '-exec',
be2b1c74	324	strip_open_hints => 1,
724aa791 JC	325	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
724aa791 JC	326	1 <0> enter
be2b1c74	327	2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791 JC	328	3 <0> stub sP
	329	4 <0> padsv[$a:1,2] sRM*/LVINTRO
	330	5 <2> sassign vKS/2
	331	6 <@> leave[1 ref] vKP/REFC
	332	EOT_EOT
	333	# 1 <0> enter
be2b1c74	334	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791 JC	335	# 3 <0> stub sP
	336	# 4 <0> padsv[$a:1,2] sRM*/LVINTRO
	337	# 5 <2> sassign vKS/2
	338	# 6 <@> leave[1 ref] vKP/REFC
	339	EONT_EONT
	340
	341	checkOptree ( name => 'our $a=()',
	342	prog => 'our $a=()',
	343	#todo => 'probly not worth doing',
	344	bcopts => '-exec',
be2b1c74	345	strip_open_hints => 1,
724aa791 JC	346	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
724aa791 JC	347	1 <0> enter
be2b1c74	348	2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791 JC	349	3 <0> stub sP
	350	4 <#> gvsv[*a] s/OURINTR
	351	5 <2> sassign vKS/2
	352	6 <@> leave[1 ref] vKP/REFC
	353	EOT_EOT
	354	# 1 <0> enter
be2b1c74	355	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791 JC	356	# 3 <0> stub sP
	357	# 4 <$> gvsv(*a) s/OURINTR
	358	# 5 <2> sassign vKS/2
	359	# 6 <@> leave[1 ref] vKP/REFC
	360	EONT_EONT
	361
ea238638 FC	362	checkOptree ( name => 'local $c=()',
	363	prog => 'local $c=()',
	364	errs => ['Name "main::c" used only once: possible typo at -e line 1.'],
724aa791 JC	365	#todo => 'probly not worth doing',
724aa791 JC	366	bcopts => '-exec',
be2b1c74	367	strip_open_hints => 1,
724aa791 JC	368	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
724aa791 JC	369	1 <0> enter
be2b1c74	370	2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791	371	3 <0> stub sP
ea238638	372	4 <#> gvsv[*c] s/LVINTRO
724aa791 JC	373	5 <2> sassign vKS/2
	374	6 <@> leave[1 ref] vKP/REFC
	375	EOT_EOT
	376	# 1 <0> enter
be2b1c74	377	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791	378	# 3 <0> stub sP
ea238638	379	# 4 <$> gvsv(*c) s/LVINTRO
724aa791 JC	380	# 5 <2> sassign vKS/2
	381	# 6 <@> leave[1 ref] vKP/REFC
	382	EONT_EONT
	383
	384	checkOptree ( name => 'my ($a,$b)=()',
	385	prog => 'my ($a,$b)=()',
	386	#todo => 'probly not worth doing',
	387	bcopts => '-exec',
be2b1c74	388	strip_open_hints => 1,
724aa791 JC	389	expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
724aa791 JC	390	# 1 <0> enter
be2b1c74	391	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791	392	# 3 <0> pushmark s
d5524600	393	# 4 <0> padrange[$a:1,2; $b:1,2] lRM/LVINTRO,2
a7fd8ef6 DM	394	# 5 <2> aassign[t3] vKS
a7fd8ef6 DM	395	# 6 <@> leave[1 ref] vKP/REFC
724aa791 JC	396	EOT_EOT
724aa791 JC	397	# 1 <0> enter
be2b1c74	398	# 2 <;> nextstate(main 1 -e:1) v:>,<,%,{
724aa791	399	# 3 <0> pushmark s
d5524600	400	# 4 <0> padrange[$a:1,2; $b:1,2] lRM/LVINTRO,2
a7fd8ef6 DM	401	# 5 <2> aassign[t3] vKS
a7fd8ef6 DM	402	# 6 <@> leave[1 ref] vKP/REFC
724aa791	403	EONT_EONT