-
Notifications
You must be signed in to change notification settings - Fork 559
/
av.c
1272 lines (1059 loc) · 35.6 KB
/
av.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
/* av.c
*
* Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
* 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
*
* You may distribute under the terms of either the GNU General Public
* License or the Artistic License, as specified in the README file.
*
*/
/*
* '...for the Entwives desired order, and plenty, and peace (by which they
* meant that things should remain where they had set them).' --Treebeard
*
* [p.476 of _The Lord of the Rings_, III/iv: "Treebeard"]
*/
#include "EXTERN.h"
#define PERL_IN_AV_C
#include "perl.h"
void
Perl_av_reify(pTHX_ AV *av)
{
SSize_t key;
PERL_ARGS_ASSERT_AV_REIFY;
assert(SvTYPE(av) == SVt_PVAV);
if (AvREAL(av))
return;
#ifdef DEBUGGING
if (SvTIED_mg((const SV *)av, PERL_MAGIC_tied))
Perl_ck_warner_d(aTHX_ packWARN(WARN_DEBUGGING), "av_reify called on tied array");
#endif
key = AvMAX(av) + 1;
while (key > AvFILLp(av) + 1)
AvARRAY(av)[--key] = NULL;
while (key) {
SV * const sv = AvARRAY(av)[--key];
if (sv != &PL_sv_undef)
SvREFCNT_inc_simple_void(sv);
}
key = AvARRAY(av) - AvALLOC(av);
if (key)
Zero(AvALLOC(av), key, SV*);
AvREIFY_off(av);
AvREAL_on(av);
}
/*
=for apidoc av_extend
Pre-extend an array so that it is capable of storing values at indexes
C<0..key>. Thus C<av_extend(av,99)> guarantees that the array can store 100
elements, i.e. that C<av_store(av, 0, sv)> through C<av_store(av, 99, sv)>
on a plain array will work without any further memory allocation.
If the av argument is a tied array then will call the C<EXTEND> tied
array method with an argument of C<(key+1)>.
=cut
*/
void
Perl_av_extend(pTHX_ AV *av, SSize_t key)
{
MAGIC *mg;
PERL_ARGS_ASSERT_AV_EXTEND;
assert(SvTYPE(av) == SVt_PVAV);
mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied);
if (mg) {
SV *arg1 = sv_newmortal();
/* NOTE: the API for av_extend() is NOT the same as the tie method EXTEND.
*
* The C function takes an *index* (assumes 0 indexed arrays) and ensures
* that the array is at least as large as the index provided.
*
* The tied array method EXTEND takes a *count* and ensures that the array
* is at least that many elements large. Thus we have to +1 the key when
* we call the tied method.
*/
sv_setiv(arg1, (IV)(key + 1));
Perl_magic_methcall(aTHX_ MUTABLE_SV(av), mg, SV_CONST(EXTEND), G_DISCARD, 1,
arg1);
return;
}
av_extend_guts(av,key,&AvMAX(av),&AvALLOC(av),&AvARRAY(av));
}
/* The guts of av_extend. *Not* for general use! */
/* Also called directly from pp_assign, padlist_store, padnamelist_store */
void
Perl_av_extend_guts(pTHX_ AV *av, SSize_t key, SSize_t *maxp, SV ***allocp,
SV ***arrayp)
{
PERL_ARGS_ASSERT_AV_EXTEND_GUTS;
if (key < -1) /* -1 is legal */
Perl_croak(aTHX_
"panic: av_extend_guts() negative count (%" IVdf ")", (IV)key);
if (key > *maxp) {
SSize_t ary_offset = *maxp + 1; /* Start NULL initialization
* from this element */
SSize_t to_null = 0; /* How many elements to Zero */
SSize_t newmax = 0;
if (av && *allocp != *arrayp) { /* a shifted SV* array exists */
/* to_null will contain the number of elements currently
* shifted and about to be unshifted. If the array has not
* been shifted to the maximum possible extent, this will be
* a smaller number than (*maxp - AvFILLp(av)). */
to_null = *arrayp - *allocp;
*maxp += to_null;
ary_offset = AvFILLp(av) + 1;
Move(*arrayp, *allocp, AvFILLp(av)+1, SV*);
if (key > *maxp - 10) {
newmax = key + *maxp;
/* Zero everything above AvFILLp(av), which could be more
* elements than have actually been shifted. If we don't
* do this, trailing elements at the end of the resized
* array may not be correctly initialized. */
to_null = *maxp - AvFILLp(av);
goto resize;
}
} else if (*allocp) { /* a full SV* array exists */
#ifdef Perl_safesysmalloc_size
/* Whilst it would be quite possible to move this logic around
(as I did in the SV code), so as to set AvMAX(av) early,
based on calling Perl_safesysmalloc_size() immediately after
allocation, I'm not convinced that it is a great idea here.
In an array we have to loop round setting everything to
NULL, which means writing to memory, potentially lots
of it, whereas for the SV buffer case we don't touch the
"bonus" memory. So there there is no cost in telling the
world about it, whereas here we have to do work before we can
tell the world about it, and that work involves writing to
memory that might never be read. So, I feel, better to keep
the current lazy system of only writing to it if our caller
has a need for more space. NWC */
newmax = Perl_safesysmalloc_size((void*)*allocp) /
sizeof(const SV *) - 1;
if (key <= newmax)
goto resized;
#endif
/* overflow-safe version of newmax = key + *maxp/5 */
newmax = *maxp / 5;
newmax = (key > SSize_t_MAX - newmax)
? SSize_t_MAX : key + newmax;
resize:
{
/* it should really be newmax+1 here, but if newmax
* happens to equal SSize_t_MAX, then newmax+1 is
* undefined. This means technically we croak one
* index lower than we should in theory; in practice
* its unlikely the system has SSize_t_MAX/sizeof(SV*)
* bytes to spare! */
MEM_WRAP_CHECK_s(newmax, SV*, "Out of memory during array extend");
}
#ifdef STRESS_REALLOC
{
SV ** const old_alloc = *allocp;
Newx(*allocp, newmax+1, SV*);
Copy(old_alloc, *allocp, *maxp + 1, SV*);
Safefree(old_alloc);
}
#else
Renew(*allocp,newmax+1, SV*);
#endif
#ifdef Perl_safesysmalloc_size
resized:
#endif
to_null += newmax - *maxp; /* Initialize all new elements
* (newmax - *maxp) in addition to
* any previously specified */
*maxp = newmax;
/* See GH#18014 for discussion of when this might be needed: */
if (av == PL_curstack) { /* Oops, grew stack (via av_store()?) */
PL_stack_sp = *allocp + (PL_stack_sp - PL_stack_base);
PL_stack_base = *allocp;
PL_stack_max = PL_stack_base + newmax;
}
} else { /* there is no SV* array yet */
*maxp = key < PERL_ARRAY_NEW_MIN_KEY ?
PERL_ARRAY_NEW_MIN_KEY : key;
{
/* see comment above about newmax+1*/
MEM_WRAP_CHECK_s(*maxp, SV*,
"Out of memory during array extend");
}
/* Newxz isn't used below because testing showed it to be slower
* than Newx+Zero (also slower than Newx + the previous while
* loop) for small arrays, which are very common in perl. */
Newx(*allocp, *maxp+1, SV*);
/* Stacks require only the first element to be &PL_sv_undef
* (set elsewhere). However, since non-stack AVs are likely
* to dominate in modern production applications, stacks
* don't get any special treatment here.
* See https://github.com/Perl/perl5/pull/18690 for more detail */
ary_offset = 0;
to_null = *maxp+1; /* Initialize all new array elements */
goto zero;
}
if (av && AvREAL(av)) {
zero:
Zero(*allocp + ary_offset,to_null,SV*);
}
*arrayp = *allocp;
}
}
/*
=for apidoc av_fetch
Returns the SV at the specified index in the array. The C<key> is the
index. If C<lval> is true, you are guaranteed to get a real SV back (in case
it wasn't real before), which you can then modify. Check that the return
value is non-NULL before dereferencing it to a C<SV*>.
See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for
more information on how to use this function on tied arrays.
The rough perl equivalent is C<$myarray[$key]>.
=cut
*/
static bool
S_adjust_index(pTHX_ AV *av, const MAGIC *mg, SSize_t *keyp)
{
bool adjust_index = 1;
if (mg) {
/* Handle negative array indices 20020222 MJD */
SV * const ref = SvTIED_obj(MUTABLE_SV(av), mg);
SvGETMAGIC(ref);
if (SvROK(ref) && SvOBJECT(SvRV(ref))) {
SV * const * const negative_indices_glob =
hv_fetchs(SvSTASH(SvRV(ref)), NEGATIVE_INDICES_VAR, 0);
if (negative_indices_glob && isGV(*negative_indices_glob)
&& SvTRUE(GvSV(*negative_indices_glob)))
adjust_index = 0;
}
}
if (adjust_index) {
*keyp += AvFILL(av) + 1;
if (*keyp < 0)
return FALSE;
}
return TRUE;
}
SV**
Perl_av_fetch(pTHX_ AV *av, SSize_t key, I32 lval)
{
SSize_t neg;
SSize_t size;
PERL_ARGS_ASSERT_AV_FETCH;
assert(SvTYPE(av) == SVt_PVAV);
if (UNLIKELY(SvRMAGICAL(av))) {
const MAGIC * const tied_magic
= mg_find((const SV *)av, PERL_MAGIC_tied);
if (tied_magic || mg_find((const SV *)av, PERL_MAGIC_regdata)) {
SV *sv;
if (key < 0) {
if (!S_adjust_index(aTHX_ av, tied_magic, &key))
return NULL;
}
sv = newSV_type_mortal(SVt_PVLV);
mg_copy(MUTABLE_SV(av), sv, 0, key);
if (!tied_magic) /* for regdata, force leavesub to make copies */
SvTEMP_off(sv);
LvTYPE(sv) = 't';
LvTARG(sv) = sv; /* fake (SV**) */
return &(LvTARG(sv));
}
}
neg = (key < 0);
size = AvFILLp(av) + 1;
key += neg * size; /* handle negative index without using branch */
/* the cast from SSize_t to Size_t allows both (key < 0) and (key >= size)
* to be tested as a single condition */
if ((Size_t)key >= (Size_t)size) {
if (UNLIKELY(neg))
return NULL;
goto emptiness;
}
if (!AvARRAY(av)[key]) {
emptiness:
return lval ? av_store(av,key,newSV_type(SVt_NULL)) : NULL;
}
return &AvARRAY(av)[key];
}
/*
=for apidoc av_store
Stores an SV in an array. The array index is specified as C<key>. The
return value will be C<NULL> if the operation failed or if the value did not
need to be actually stored within the array (as in the case of tied
arrays). Otherwise, it can be dereferenced
to get the C<SV*> that was stored
there (= C<val>)).
Note that the caller is responsible for suitably incrementing the reference
count of C<val> before the call, and decrementing it if the function
returned C<NULL>.
Approximate Perl equivalent: C<splice(@myarray, $key, 1, $val)>.
See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for
more information on how to use this function on tied arrays.
=cut
*/
SV**
Perl_av_store(pTHX_ AV *av, SSize_t key, SV *val)
{
SV** ary;
PERL_ARGS_ASSERT_AV_STORE;
assert(SvTYPE(av) == SVt_PVAV);
/* S_regclass relies on being able to pass in a NULL sv
(unicode_alternate may be NULL).
*/
if (SvRMAGICAL(av)) {
const MAGIC * const tied_magic = mg_find((const SV *)av, PERL_MAGIC_tied);
if (tied_magic) {
if (key < 0) {
if (!S_adjust_index(aTHX_ av, tied_magic, &key))
return 0;
}
if (val) {
mg_copy(MUTABLE_SV(av), val, 0, key);
}
return NULL;
}
}
if (key < 0) {
key += AvFILL(av) + 1;
if (key < 0)
return NULL;
}
if (SvREADONLY(av) && key >= AvFILL(av))
Perl_croak_no_modify();
if (!AvREAL(av) && AvREIFY(av))
av_reify(av);
if (key > AvMAX(av))
av_extend(av,key);
ary = AvARRAY(av);
if (AvFILLp(av) < key) {
if (!AvREAL(av)) {
if (av == PL_curstack && key > PL_stack_sp - PL_stack_base)
PL_stack_sp = PL_stack_base + key; /* XPUSH in disguise */
do {
ary[++AvFILLp(av)] = NULL;
} while (AvFILLp(av) < key);
}
AvFILLp(av) = key;
}
else if (AvREAL(av))
SvREFCNT_dec(ary[key]);
/* store the val into the AV before we call magic so that the magic can
* "see" the new value. Especially set magic on the AV itself. */
ary[key] = val;
if (SvSMAGICAL(av)) {
const MAGIC *mg = SvMAGIC(av);
bool set = TRUE;
/* We have to increment the refcount on val before we call any magic,
* as it is now stored in the AV (just before this block), we will
* then call the magic handlers which might die/Perl_croak, and
* longjmp up the stack to the most recent exception trap. Which means
* the caller code that would be expected to handle the refcount
* increment likely would never be executed, leading to a double free.
* This can happen in a case like
*
* @ary = (1);
*
* or this:
*
* if (av_store(av,n,sv)) SvREFCNT_inc(sv);
*
* where @ary/av has set magic applied to it which can die. In the
* first case the sv representing 1 would be mortalized, so when the
* set magic threw an exception it would be freed as part of the
* normal stack unwind. However this leaves the av structure still
* holding a valid visible pointer to the now freed value. In practice
* the next SV created will reuse the same reference, but without the
* refcount to account for the previous ownership and we end up with
* warnings about a totally different variable being double freed in
* the form of "attempt to free unreferenced variable"
* warnings/errors.
*
* https://github.com/Perl/perl5/issues/20675
*
* Arguably the API for av_store is broken in the face of magic. Instead
* av_store should be responsible for the refcount increment, and only
* not do it when specifically told to do so (eg, when storing an
* otherwise unreferenced scalar into an AV).
*/
SvREFCNT_inc(val); /* see comment above */
for (; mg; mg = mg->mg_moremagic) {
if (!isUPPER(mg->mg_type)) continue;
if (val) {
sv_magic(val, MUTABLE_SV(av), toLOWER(mg->mg_type), 0, key);
}
if (PL_delaymagic && mg->mg_type == PERL_MAGIC_isa) {
PL_delaymagic |= DM_ARRAY_ISA;
set = FALSE;
}
}
if (set)
mg_set(MUTABLE_SV(av));
/* And now we are done the magic, we have to decrement it back as the av_store() api
* says the caller is responsible for the refcount increment, assuming
* av_store returns true. */
SvREFCNT_dec(val);
}
return &ary[key];
}
/*
=for apidoc av_make
Creates a new AV and populates it with a list (C<**strp>, length C<size>) of
SVs. A copy is made of each SV, so their refcounts are not changed. The new
AV will have a reference count of 1.
Perl equivalent: C<my @new_array = ($scalar1, $scalar2, $scalar3...);>
=cut
*/
AV *
Perl_av_make(pTHX_ SSize_t size, SV **strp)
{
AV * const av = newAV();
/* sv_upgrade does AvREAL_only() */
PERL_ARGS_ASSERT_AV_MAKE;
assert(SvTYPE(av) == SVt_PVAV);
if (size) { /* "defined" was returning undef for size==0 anyway. */
SV** ary;
SSize_t i;
SSize_t orig_ix;
Newx(ary,size,SV*);
AvALLOC(av) = ary;
AvARRAY(av) = ary;
AvMAX(av) = size - 1;
/* avoid av being leaked if croak when calling magic below */
EXTEND_MORTAL(1);
PL_tmps_stack[++PL_tmps_ix] = (SV*)av;
orig_ix = PL_tmps_ix;
for (i = 0; i < size; i++) {
assert (*strp);
/* Don't let sv_setsv swipe, since our source array might
have multiple references to the same temp scalar (e.g.
from a list slice) */
SvGETMAGIC(*strp); /* before newSV, in case it dies */
AvFILLp(av)++;
ary[i] = newSV_type(SVt_NULL);
sv_setsv_flags(ary[i], *strp,
SV_DO_COW_SVSETSV|SV_NOSTEAL);
strp++;
}
/* disarm av's leak guard */
if (LIKELY(PL_tmps_ix == orig_ix))
PL_tmps_ix--;
else
PL_tmps_stack[orig_ix] = &PL_sv_undef;
}
return av;
}
/*
=for apidoc newAVav
Creates a new AV and populates it with values copied from an existing AV. The
new AV will have a reference count of 1, and will contain newly created SVs
copied from the original SV. The original source will remain unchanged.
Perl equivalent: C<my @new_array = @existing_array;>
=cut
*/
AV *
Perl_newAVav(pTHX_ AV *oav)
{
PERL_ARGS_ASSERT_NEWAVAV;
Size_t count = av_count(oav);
if(UNLIKELY(!oav) || count == 0)
return newAV();
AV *ret = newAV_alloc_x(count);
/* avoid ret being leaked if croak when calling magic below */
EXTEND_MORTAL(1);
PL_tmps_stack[++PL_tmps_ix] = (SV *)ret;
SSize_t ret_at_tmps_ix = PL_tmps_ix;
Size_t i;
if(LIKELY(!SvRMAGICAL(oav) && AvREAL(oav) && (SvTYPE(oav) == SVt_PVAV))) {
for(i = 0; i < count; i++) {
SV **svp = av_fetch_simple(oav, i, 0);
av_push_simple(ret, svp ? newSVsv(*svp) : &PL_sv_undef);
}
} else {
for(i = 0; i < count; i++) {
SV **svp = av_fetch(oav, i, 0);
av_push_simple(ret, svp ? newSVsv(*svp) : &PL_sv_undef);
}
}
/* disarm leak guard */
if(LIKELY(PL_tmps_ix == ret_at_tmps_ix))
PL_tmps_ix--;
else
PL_tmps_stack[ret_at_tmps_ix] = &PL_sv_undef;
return ret;
}
/*
=for apidoc newAVhv
Creates a new AV and populates it with keys and values copied from an existing
HV. The new AV will have a reference count of 1, and will contain newly
created SVs copied from the original HV. The original source will remain
unchanged.
Perl equivalent: C<my @new_array = %existing_hash;>
=cut
*/
AV *
Perl_newAVhv(pTHX_ HV *ohv)
{
PERL_ARGS_ASSERT_NEWAVHV;
if(UNLIKELY(!ohv))
return newAV();
bool tied = SvRMAGICAL(ohv) && mg_find(MUTABLE_SV(ohv), PERL_MAGIC_tied);
Size_t nkeys = hv_iterinit(ohv);
/* This number isn't perfect but it doesn't matter; it only has to be
* close to make the initial allocation about the right size
*/
AV *ret = newAV_alloc_xz(nkeys ? nkeys * 2 : 2);
/* avoid ret being leaked if croak when calling magic below */
EXTEND_MORTAL(1);
PL_tmps_stack[++PL_tmps_ix] = (SV *)ret;
SSize_t ret_at_tmps_ix = PL_tmps_ix;
HE *he;
while((he = hv_iternext(ohv))) {
if(tied) {
av_push_simple(ret, newSVsv(hv_iterkeysv(he)));
av_push_simple(ret, newSVsv(hv_iterval(ohv, he)));
}
else {
av_push_simple(ret, newSVhek(HeKEY_hek(he)));
av_push_simple(ret, HeVAL(he) ? newSVsv(HeVAL(he)) : &PL_sv_undef);
}
}
/* disarm leak guard */
if(LIKELY(PL_tmps_ix == ret_at_tmps_ix))
PL_tmps_ix--;
else
PL_tmps_stack[ret_at_tmps_ix] = &PL_sv_undef;
return ret;
}
/*
=for apidoc av_clear
Frees all the elements of an array, leaving it empty.
The XS equivalent of C<@array = ()>. See also L</av_undef>.
Note that it is possible that the actions of a destructor called directly
or indirectly by freeing an element of the array could cause the reference
count of the array itself to be reduced (e.g. by deleting an entry in the
symbol table). So it is a possibility that the AV could have been freed
(or even reallocated) on return from the call unless you hold a reference
to it.
=cut
*/
void
Perl_av_clear(pTHX_ AV *av)
{
bool real;
SSize_t orig_ix = 0;
PERL_ARGS_ASSERT_AV_CLEAR;
assert(SvTYPE(av) == SVt_PVAV);
#ifdef DEBUGGING
if (SvREFCNT(av) == 0) {
Perl_ck_warner_d(aTHX_ packWARN(WARN_DEBUGGING), "Attempt to clear deleted array");
}
#endif
if (SvREADONLY(av))
Perl_croak_no_modify();
/* Give any tie a chance to cleanup first */
if (SvRMAGICAL(av)) {
const MAGIC* const mg = SvMAGIC(av);
if (PL_delaymagic && mg && mg->mg_type == PERL_MAGIC_isa)
PL_delaymagic |= DM_ARRAY_ISA;
else
mg_clear(MUTABLE_SV(av));
}
if (AvMAX(av) < 0)
return;
if ((real = cBOOL(AvREAL(av)))) {
SV** const ary = AvARRAY(av);
SSize_t index = AvFILLp(av) + 1;
/* avoid av being freed when calling destructors below */
EXTEND_MORTAL(1);
PL_tmps_stack[++PL_tmps_ix] = SvREFCNT_inc_simple_NN(av);
orig_ix = PL_tmps_ix;
while (index) {
SV * const sv = ary[--index];
/* undef the slot before freeing the value, because a
* destructor might try to modify this array */
ary[index] = NULL;
SvREFCNT_dec(sv);
}
}
AvFILLp(av) = -1;
av_remove_offset(av);
if (real) {
/* disarm av's premature free guard */
if (LIKELY(PL_tmps_ix == orig_ix))
PL_tmps_ix--;
else
PL_tmps_stack[orig_ix] = &PL_sv_undef;
SvREFCNT_dec_NN(av);
}
}
/*
=for apidoc av_undef
Undefines the array. The XS equivalent of C<undef(@array)>.
As well as freeing all the elements of the array (like C<av_clear()>), this
also frees the memory used by the av to store its list of scalars.
See L</av_clear> for a note about the array possibly being invalid on
return.
=cut
*/
void
Perl_av_undef(pTHX_ AV *av)
{
bool real;
SSize_t orig_ix = PL_tmps_ix; /* silence bogus warning about possible uninitialized use */
PERL_ARGS_ASSERT_AV_UNDEF;
assert(SvTYPE(av) == SVt_PVAV);
/* Give any tie a chance to cleanup first */
if (SvTIED_mg((const SV *)av, PERL_MAGIC_tied))
av_fill(av, -1);
real = cBOOL(AvREAL(av));
if (real) {
SSize_t key = AvFILLp(av) + 1;
/* avoid av being freed when calling destructors below */
EXTEND_MORTAL(1);
PL_tmps_stack[++PL_tmps_ix] = SvREFCNT_inc_simple_NN(av);
orig_ix = PL_tmps_ix;
while (key)
SvREFCNT_dec(AvARRAY(av)[--key]);
}
Safefree(AvALLOC(av));
AvALLOC(av) = NULL;
AvARRAY(av) = NULL;
AvMAX(av) = AvFILLp(av) = -1;
if(SvRMAGICAL(av)) mg_clear(MUTABLE_SV(av));
if (real) {
/* disarm av's premature free guard */
if (LIKELY(PL_tmps_ix == orig_ix))
PL_tmps_ix--;
else
PL_tmps_stack[orig_ix] = &PL_sv_undef;
SvREFCNT_dec_NN(av);
}
}
/*
=for apidoc av_create_and_push
Push an SV onto the end of the array, creating the array if necessary.
A small internal helper function to remove a commonly duplicated idiom.
=cut
*/
void
Perl_av_create_and_push(pTHX_ AV **const avp, SV *const val)
{
PERL_ARGS_ASSERT_AV_CREATE_AND_PUSH;
if (!*avp)
*avp = newAV();
av_push(*avp, val);
}
/*
=for apidoc av_push
=for apidoc_item av_push_simple
These each push an SV (transferring control of one reference count) onto the
end of the array. The array will grow automatically to accommodate the
addition.
Perl equivalent: C<push @myarray, $val;>.
C<av_push> is the general purpose form, suitable for all situations.
C<av_push_simple> is a cut-down version of C<av_push> that assumes that the
array is very straightforward, with no magic, not readonly, and is AvREAL
(see L<perlguts/Real AVs - and those that are not>), and that C<key> is not
less than -1. This function MUST NOT be used in situations where any of those
assumptions may not hold.
=cut
*/
void
Perl_av_push(pTHX_ AV *av, SV *val)
{
MAGIC *mg;
PERL_ARGS_ASSERT_AV_PUSH;
assert(SvTYPE(av) == SVt_PVAV);
if (SvREADONLY(av))
Perl_croak_no_modify();
if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
Perl_magic_methcall(aTHX_ MUTABLE_SV(av), mg, SV_CONST(PUSH), G_DISCARD, 1,
val);
return;
}
av_store(av,AvFILLp(av)+1,val);
}
/*
=for apidoc av_pop
Removes one SV from the end of the array, reducing its size by one and
returning the SV (transferring control of one reference count) to the
caller. Returns C<&PL_sv_undef> if the array is empty.
Perl equivalent: C<pop(@myarray);>
=cut
*/
SV *
Perl_av_pop(pTHX_ AV *av)
{
SV *retval;
MAGIC* mg;
PERL_ARGS_ASSERT_AV_POP;
assert(SvTYPE(av) == SVt_PVAV);
if (SvREADONLY(av))
Perl_croak_no_modify();
if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
retval = Perl_magic_methcall(aTHX_ MUTABLE_SV(av), mg, SV_CONST(POP), 0, 0);
if (retval)
retval = newSVsv(retval);
return retval;
}
if (AvFILL(av) < 0)
return &PL_sv_undef;
retval = AvARRAY(av)[AvFILLp(av)];
AvARRAY(av)[AvFILLp(av)--] = NULL;
if (SvSMAGICAL(av))
mg_set(MUTABLE_SV(av));
return retval ? retval : &PL_sv_undef;
}
/*
=for apidoc av_create_and_unshift_one
Unshifts an SV onto the beginning of the array, creating the array if
necessary.
A small internal helper function to remove a commonly duplicated idiom.
=cut
*/
SV **
Perl_av_create_and_unshift_one(pTHX_ AV **const avp, SV *const val)
{
PERL_ARGS_ASSERT_AV_CREATE_AND_UNSHIFT_ONE;
if (!*avp)
*avp = newAV();
av_unshift(*avp, 1);
return av_store(*avp, 0, val);
}
/*
=for apidoc av_unshift
Unshift the given number of C<undef> values onto the beginning of the
array. The array will grow automatically to accommodate the addition.
Perl equivalent: S<C<unshift @myarray, ((undef) x $num);>>
=cut
*/
void
Perl_av_unshift(pTHX_ AV *av, SSize_t num)
{
SSize_t i;
MAGIC* mg;
PERL_ARGS_ASSERT_AV_UNSHIFT;
assert(SvTYPE(av) == SVt_PVAV);
if (SvREADONLY(av))
Perl_croak_no_modify();
if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
Perl_magic_methcall(aTHX_ MUTABLE_SV(av), mg, SV_CONST(UNSHIFT),
G_DISCARD | G_UNDEF_FILL, num);
return;
}
if (num <= 0)
return;
if (!AvREAL(av) && AvREIFY(av))
av_reify(av);
i = AvARRAY(av) - AvALLOC(av);
if (i) {
if (i > num)
i = num;
num -= i;
AvMAX(av) += i;
AvFILLp(av) += i;
AvARRAY(av) = AvARRAY(av) - i;
#ifdef PERL_RC_STACK
Zero(AvARRAY(av), i, SV*);
#endif
}
if (num) {
SV **ary;
const SSize_t i = AvFILLp(av);
/* Create extra elements */
const SSize_t slide = i > 0 ? i : 0;
num += slide;
av_extend(av, i + num);
AvFILLp(av) += num;
ary = AvARRAY(av);
Move(ary, ary + num, i + 1, SV*);
do {
ary[--num] = NULL;
} while (num);
/* Make extra elements into a buffer */
AvMAX(av) -= slide;
AvFILLp(av) -= slide;
AvARRAY(av) = AvARRAY(av) + slide;
}
}
/*
=for apidoc av_shift
Removes one SV from the start of the array, reducing its size by one and
returning the SV (transferring control of one reference count) to the
caller. Returns C<&PL_sv_undef> if the array is empty.
Perl equivalent: C<shift(@myarray);>
=cut
*/
SV *
Perl_av_shift(pTHX_ AV *av)
{
SV *retval;
MAGIC* mg;
PERL_ARGS_ASSERT_AV_SHIFT;
assert(SvTYPE(av) == SVt_PVAV);
if (SvREADONLY(av))
Perl_croak_no_modify();
if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
retval = Perl_magic_methcall(aTHX_ MUTABLE_SV(av), mg, SV_CONST(SHIFT), 0, 0);
if (retval)
retval = newSVsv(retval);
return retval;
}
if (AvFILL(av) < 0)
return &PL_sv_undef;
retval = *AvARRAY(av);
#ifndef PERL_RC_STACK
if (AvREAL(av))
*AvARRAY(av) = NULL;
#endif
AvARRAY(av) = AvARRAY(av) + 1;
AvMAX(av)--;
AvFILLp(av)--;
if (SvSMAGICAL(av))
mg_set(MUTABLE_SV(av));
return retval ? retval : &PL_sv_undef;
}
/*
=for apidoc av_top_index
=for apidoc_item av_tindex
=for apidoc_item AvFILL
=for apidoc_item av_len
These behave identically.
If the array C<av> is empty, these return -1; otherwise they return the maximum
value of the indices of all the array elements which are currently defined in
C<av>.
They process 'get' magic.
The Perl equivalent for these is C<$#av>.
Note that, unlike what the name C<av_len> implies, it returns
the maximum index in the array. This is unlike L</sv_len>, which returns what
you would expect. To get the actual number of elements in an array, use
C<L</av_count>>.
=cut
*/