Skip to content

Commit 36a6235

Browse files
khwilliamsonkhwilliamson
committed
embed.fnc: Add automatic generation of assert(s < e)
for functions where that is valid.
1 parent 47956cb commit 36a6235

File tree

2 files changed

+94
-92
lines changed

2 files changed

+94
-92
lines changed

‎embed.fnc‎

Lines changed: 51 additions & 51 deletions
Original file line numberDiff line numberDiff line change
@@ -958,7 +958,7 @@ CTp |Signal_t|csighandler3 |int sig \
958958
|NULLOK void *uap
959959
ATdmp |bool |c9strict_utf8_to_uv \
960960
|NN const U8 * const s \
961-
|NN const U8 * const e \
961+
|EPTR const U8 * const e \
962962
|NN UV *cp_p \
963963
|NULLOK Size_t *advance_p
964964
EXp |regexp_engine const *|current_re_engine
@@ -1219,7 +1219,7 @@ AOdp |SSize_t|eval_sv |NN SV *sv \
12191219
EMTpx |Size_t |expected_size |UV size
12201220
ATdmp |bool |extended_utf8_to_uv \
12211221
|NN const U8 * const s \
1222-
|NN const U8 * const e \
1222+
|EPTR const U8 * const e \
12231223
|NN UV *cp_p \
12241224
|NULLOK Size_t *advance_p
12251225
Adfp |void |fatal_warner |U32 err \
@@ -1283,7 +1283,7 @@ Adpx |void |forbid_outofblock_ops \
12831283
p |void |force_locale_unlock
12841284
Cp |void |force_out_malformed_utf8_message_ \
12851285
|NN const U8 * const p \
1286-
|NN const U8 * const e \
1286+
|EPTR const U8 * const e \
12871287
|U32 flags \
12881288
|const bool die_here
12891289
Adfp |char * |form |NN const char *pat \
@@ -1741,18 +1741,18 @@ ARTdip |Size_t |isUTF8_CHAR |NN const U8 * const s0 \
17411741
|NN const U8 * const e
17421742
ATdmp |STRLEN |is_utf8_char_buf \
17431743
|NN const U8 *buf \
1744-
|NN const U8 *buf_end
1744+
|EPTR const U8 *buf_end
17451745
ARTdip |Size_t |isUTF8_CHAR_flags \
17461746
|NN const U8 * const s0 \
17471747
|NN const U8 * const e \
17481748
|const U32 flags
17491749
CPRTp |STRLEN |is_utf8_char_helper_ \
17501750
|NN const U8 * const s \
1751-
|NN const U8 *e \
1751+
|EPTR const U8 *e \
17521752
|const U32 flags
17531753
CPRTp |Size_t |is_utf8_FF_helper_ \
17541754
|NN const U8 * const s0 \
1755-
|NN const U8 * const e \
1755+
|EPTR const U8 * const e \
17561756
|const bool require_partial
17571757
ATdmp |bool |is_utf8_fixed_width_buf_flags \
17581758
|NN const U8 * const s \
@@ -1771,17 +1771,17 @@ ATdip |bool |is_utf8_fixed_width_buf_loclen_flags \
17711771
|const U32 flags
17721772
CRp |Size_t |is_utf8_FOO_ |const U8 classnum \
17731773
|NN const U8 *p \
1774-
|NN const U8 * const e
1774+
|EPTR const U8 * const e
17751775
ARTdip |bool |is_utf8_invariant_string_loc \
17761776
|NN const U8 * const s \
17771777
|STRLEN len \
17781778
|NULLOK const U8 **ep
17791779
CRp |Size_t |is_utf8_perl_idcont_ \
17801780
|NN const U8 *p \
1781-
|NN const U8 * const e
1781+
|EPTR const U8 * const e
17821782
CRp |Size_t |is_utf8_perl_idstart_ \
17831783
|NN const U8 *p \
1784-
|NN const U8 * const e
1784+
|EPTR const U8 * const e
17851785
ARTdmp |bool |is_utf8_string |NN const U8 *s \
17861786
|STRLEN len
17871787
ARTdip |bool |is_utf8_string_flags \
@@ -1810,10 +1810,10 @@ ATdip |bool |is_utf8_string_loclen_flags \
18101810
|const U32 flags
18111811
APTdmp |bool |is_utf8_valid_partial_char \
18121812
|NN const U8 * const s0 \
1813-
|NN const U8 * const e
1813+
|EPTR const U8 * const e
18141814
ARTdip |bool |is_utf8_valid_partial_char_flags \
18151815
|NN const U8 * const s0 \
1816-
|NN const U8 * const e \
1816+
|EPTR const U8 * const e \
18171817
|const U32 flags
18181818

18191819
: Used in perly.y
@@ -1876,7 +1876,7 @@ p |OP * |localize |NN OP *o \
18761876
|I32 lex
18771877
CTp |UV |long_valid_utf8_to_uv \
18781878
|NN const U8 * const s \
1879-
|NN const U8 * const e
1879+
|EPTR const U8 * const e
18801880
ARdp |I32 |looks_like_number \
18811881
|NN SV * const sv
18821882
CRTip |unsigned|lsbit_pos32 |U32 word
@@ -2431,9 +2431,9 @@ dp |CV * |newXS_len_flags|NULLOK const char *name \
24312431
p |PerlIO *|nextargv |NN GV *gv \
24322432
|bool nomagicopen
24332433
AMPTdp |char * |ninstr |NN const char *big \
2434-
|NN const char *bigend \
2434+
|EPTR const char *bigend \
24352435
|NN const char *little \
2436-
|NN const char *lend
2436+
|EPTR const char *lend
24372437

24382438
p |void |no_bareword_filehandle \
24392439
|NN const char *fhname
@@ -3076,7 +3076,7 @@ Adp |const char *|scan_version \
30763076
|NN SV *rv \
30773077
|bool qv
30783078
Adp |char * |scan_vstring |NN const char *s \
3079-
|NN const char * const e \
3079+
|EPTR const char * const e \
30803080
|NN SV *sv
30813081
EXpx |char * |scan_word |NN char *s \
30823082
|NN char *dest \
@@ -3132,7 +3132,7 @@ Adp |I32 |start_subparse |I32 is_format \
31323132
|U32 flags
31333133
ATdmp |bool |strict_utf8_to_uv \
31343134
|NN const U8 * const s \
3135-
|NN const U8 * const e \
3135+
|EPTR const U8 * const e \
31363136
|NN UV *cp_p \
31373137
|NULLOK Size_t *advance_p
31383138
CRp |NV |str_to_version |NN SV *sv
@@ -3755,7 +3755,7 @@ ARTdip |U8 * |utf8_hop_back_overshoot \
37553755
ARTdmp |U8 * |utf8_hop_forward \
37563756
|NN const U8 *s \
37573757
|SSize_t off \
3758-
|NN const U8 * const end
3758+
|EPTR const U8 * const end
37593759
ARTdip |U8 * |utf8_hop_forward_overshoot \
37603760
|NN const U8 *s \
37613761
|SSize_t off \
@@ -3765,12 +3765,12 @@ ARTdip |U8 * |utf8_hop_overshoot \
37653765
|NN const U8 *s \
37663766
|SSize_t off \
37673767
|NN const U8 * const start \
3768-
|NN const U8 * const end \
3768+
|EPTR const U8 * const end \
37693769
|NULLOK SSize_t *remaining
37703770
ARTdmp |U8 * |utf8_hop_safe |NN const U8 *s \
37713771
|SSize_t off \
37723772
|NN const U8 * const start \
3773-
|NN const U8 * const end
3773+
|EPTR const U8 * const end
37743774
ARdp |STRLEN |utf8_length |NN const U8 *s0 \
37753775
|NN const U8 *e
37763776
ATdmp |UV |utf8n_to_uvchr |NN const U8 *s \
@@ -3834,46 +3834,46 @@ EMXp |U8 * |utf16_to_utf8_reversed \
38343834
|Size_t bytelen \
38353835
|NN Size_t *newlen
38363836
ATdmp |bool |utf8_to_uv |NN const U8 * const s \
3837-
|NN const U8 * const e \
3837+
|EPTR const U8 * const e \
38383838
|NN UV *cp_p \
38393839
|NULLOK Size_t *advance_p
38403840
ADbdp |UV |utf8_to_uvchr |NN const U8 *s \
38413841
|NULLOK STRLEN *retlen
38423842
AMdip |UV |utf8_to_uvchr_buf \
38433843
|NN const U8 *s \
3844-
|NN const U8 *send \
3844+
|EPTR const U8 *send \
38453845
|NULLOK STRLEN *retlen
38463846
ATdmp |bool |utf8_to_uv_errors \
38473847
|NN const U8 * const s \
3848-
|NN const U8 * const e \
3848+
|EPTR const U8 * const e \
38493849
|NN UV *cp_p \
38503850
|NULLOK Size_t *advance_p \
38513851
|U32 flags \
38523852
|NULLOK U32 *errors
38533853
ATdmp |bool |utf8_to_uv_flags \
38543854
|NN const U8 * const s \
3855-
|NN const U8 * const e \
3855+
|EPTR const U8 * const e \
38563856
|NN UV *cp_p \
38573857
|NULLOK Size_t *advance_p \
38583858
|U32 flags
38593859
ATdip |bool |utf8_to_uv_msgs|NN const U8 * const s0 \
3860-
|NN const U8 *e \
3860+
|EPTR const U8 *e \
38613861
|NN UV *cp_p \
38623862
|NULLOK Size_t *advance_p \
38633863
|U32 flags \
38643864
|NULLOK U32 *errors \
38653865
|NULLOK AV **msgs
38663866
CTp |bool |utf8_to_uv_msgs_helper_ \
38673867
|NN const U8 * const s0 \
3868-
|NN const U8 * const e \
3868+
|EPTR const U8 * const e \
38693869
|NN UV *cp_p \
38703870
|NULLOK Size_t *advance_p \
38713871
|U32 flags \
38723872
|NULLOK U32 *errors \
38733873
|NULLOK AV **msgs
38743874
ATdip |UV |utf8_to_uv_or_die \
38753875
|NN const U8 * const s \
3876-
|NN const U8 *e \
3876+
|EPTR const U8 *e \
38773877
|NULLOK Size_t *advance_p
38783878
CDbdp |UV |utf8_to_uvuni |NN const U8 *s \
38793879
|NULLOK STRLEN *retlen
@@ -3923,7 +3923,7 @@ EXdpx |bool |validate_proto |NN SV *name \
39233923
|bool curstash
39243924
Adp |bool |valid_identifier_pve \
39253925
|NN const char *s \
3926-
|NN const char *end \
3926+
|EPTR const char *end \
39273927
|U32 flags
39283928
Adp |bool |valid_identifier_pvn \
39293929
|NN const char *s \
@@ -4458,23 +4458,23 @@ ERXp |const char *|form_alien_digit_msg \
44584458
|const U8 which \
44594459
|const STRLEN valids_len \
44604460
|NN const char * const first_bad \
4461-
|NN const char * const send \
4461+
|EPTR const char * const send \
44624462
|const bool UTF \
44634463
|const bool braced
44644464
ERXp |bool |grok_bslash_c |const char source \
44654465
|NN U8 *result \
44664466
|NN const char **message \
44674467
|NULLOK U32 *packed_warn
44684468
ERXp |bool |grok_bslash_o |NN char **s \
4469-
|NN const char * const send \
4469+
|EPTR const char * const send \
44704470
|NN UV *uv \
44714471
|NN const char **message \
44724472
|NULLOK U32 *packed_warn \
44734473
|const bool strict \
44744474
|const bool allow_UV_MAX \
44754475
|const bool utf8
44764476
ERXp |bool |grok_bslash_x |NN char **s \
4477-
|NN const char * const send \
4477+
|EPTR const char * const send \
44784478
|NN UV *uv \
44794479
|NN const char **message \
44804480
|NULLOK U32 *packed_warn \
@@ -4774,7 +4774,7 @@ S |void |new_collate |NN const char *newcoll \
47744774
# if defined(DEBUGGING)
47754775
S |void |print_collxfrm_input_and_return \
47764776
|NN const char *s \
4777-
|NN const char *e \
4777+
|EPTR const char *e \
47784778
|NULLOK const char *xbuf \
47794779
|const STRLEN xlen \
47804780
|const bool is_utf8
@@ -4840,7 +4840,7 @@ S |const char *|find_locale_from_environment \
48404840
# if defined(USE_LOCALE) || defined(DEBUGGING)
48414841
S |const char *|get_displayable_string \
48424842
|NN const char * const s \
4843-
|NN const char * const e \
4843+
|EPTR const char * const e \
48444844
|const bool is_utf8
48454845
# endif
48464846
#endif /* defined(PERL_IN_LOCALE_C) */
@@ -5443,7 +5443,7 @@ ETi |Size_t |find_first_differing_byte_pos \
54435443
ES |U32 |get_quantifier_value \
54445444
|NN RExC_state_t *pRExC_state \
54455445
|NN const char *start \
5446-
|NN const char *end
5446+
|EPTR const char *end
54475447
ES |bool |grok_bslash_N |NN RExC_state_t *pRExC_state \
54485448
|NULLOK regnode_offset *nodep \
54495449
|NULLOK UV *code_point_p \
@@ -5619,7 +5619,7 @@ Ep |void |populate_invlist_from_bitmap \
56195619
defined(PERL_IN_TOKE_C)
56205620
ERp |bool |is_grapheme |NN const U8 *strbeg \
56215621
|NN const U8 *s \
5622-
|NN const U8 *strend \
5622+
|EPTR const U8 *strend \
56235623
|const UV cp
56245624
#endif
56255625
#if defined(PERL_IN_REGCOMP_C) || defined(PERL_IN_REGEXEC_C) || \
@@ -5631,7 +5631,7 @@ ETXp |UV |to_fold_latin1_|const U8 c \
56315631
#endif
56325632
#if defined(PERL_IN_REGCOMP_C) || defined(PERL_IN_TOKE_C)
56335633
ERTXp |bool |regcurly |NN const char *s \
5634-
|NN const char *e \
5634+
|EPTR const char *e \
56355635
|NULLOK const char *result[5]
56365636
#endif
56375637
#if defined(PERL_IN_REGCOMP_DEBUG_C) && defined(DEBUGGING)
@@ -5730,13 +5730,13 @@ ES |void |unwind_scan_frames \
57305730
#endif /* defined(PERL_IN_REGCOMP_STUDY_C) */
57315731
#if defined(PERL_IN_REGEXEC_C)
57325732
ERS |LB_enum|advance_one_LB |NN U8 **curpos \
5733-
|NN const U8 * const strend \
5733+
|EPTR const U8 * const strend \
57345734
|const bool utf8_target
57355735
ERS |SB_enum|advance_one_SB |NN U8 **curpos \
5736-
|NN const U8 * const strend \
5736+
|EPTR const U8 * const strend \
57375737
|const bool utf8_target
57385738
ERS |WB_enum|advance_one_WB_|NN U8 **curpos \
5739-
|NN const U8 * const strend \
5739+
|EPTR const U8 * const strend \
57405740
|const bool utf8_target \
57415741
|const bool skip_Extend_Format
57425742
ERS |GCB_enum|backup_one_GCB|NN const U8 * const strbeg \
@@ -5784,7 +5784,7 @@ ERS |bool |isFOO_lc |const U8 classnum \
57845784
|const U8 character
57855785
ERS |bool |isFOO_utf8_lc |const U8 classnum \
57865786
|NN const U8 *character \
5787-
|NN const U8 *e
5787+
|EPTR const U8 *e
57885788
ERS |bool |isGCB |const GCB_enum before \
57895789
|const GCB_enum after \
57905790
|NN const U8 * const strbeg \
@@ -5794,20 +5794,20 @@ ERS |bool |isLB |LB_enum before \
57945794
|LB_enum after \
57955795
|NN const U8 * const strbeg \
57965796
|NN const U8 * const curpos \
5797-
|NN const U8 * const strend \
5797+
|EPTR const U8 * const strend \
57985798
|const bool utf8_target
57995799
ERS |bool |isSB |SB_enum before \
58005800
|SB_enum after \
58015801
|NN const U8 * const strbeg \
58025802
|NN const U8 * const curpos \
5803-
|NN const U8 * const strend \
5803+
|EPTR const U8 * const strend \
58045804
|const bool utf8_target
58055805
ERS |bool |isWB |WB_enum previous \
58065806
|WB_enum before \
58075807
|WB_enum after \
58085808
|NN const U8 * const strbeg \
58095809
|NN const U8 * const curpos \
5810-
|NN const U8 * const strend \
5810+
|EPTR const U8 * const strend \
58115811
|const bool utf8_target
58125812
ERST |I32 |reg_check_named_buff_matched \
58135813
|NN const regexp *rex \
@@ -5829,7 +5829,7 @@ ERST |U8 * |reghopmaybe3 |NN U8 *s \
58295829
ERS |bool |reginclass |NULLOK regexp * const prog \
58305830
|NN const regnode * const n \
58315831
|NN const U8 * const p \
5832-
|NN const U8 * const p_end \
5832+
|EPTR const U8 * const p_end \
58335833
|bool const utf8_target
58345834
ERS |SSize_t|regmatch |NN regmatch_info *reginfo \
58355835
|NN char *startpos \
@@ -5994,19 +5994,19 @@ S |STRLEN |sv_pos_u2b_cached \
59945994
|NN SV * const sv \
59955995
|NN MAGIC ** const mgp \
59965996
|NN const U8 * const start \
5997-
|NN const U8 * const send \
5997+
|EPTR const U8 * const send \
59985998
|STRLEN uoffset \
59995999
|STRLEN uoffset0 \
60006000
|STRLEN boffset0
60016001
ST |STRLEN |sv_pos_u2b_forwards \
60026002
|NN const U8 * const start \
6003-
|NN const U8 * const send \
6003+
|EPTR const U8 * const send \
60046004
|NN STRLEN * const uoffset \
60056005
|NN bool * const at_end \
60066006
|NN bool *canonical_position
60076007
ST |STRLEN |sv_pos_u2b_midway \
60086008
|NN const U8 * const start \
6009-
|NN const U8 *send \
6009+
|EPTR const U8 *send \
60106010
|STRLEN uoffset \
60116011
|const STRLEN uend
60126012
i |void |sv_unglob |NN SV * const sv \
@@ -6108,7 +6108,7 @@ So |SV * |new_constant |NULLOK const char *s \
61086108
|NULLOK const char **error_msg
61096109
S |void |parse_ident |NN char **s \
61106110
|NN char **d \
6111-
|NN char * const e \
6111+
|EPTR char * const e \
61126112
|int allow_package \
61136113
|bool is_utf8 \
61146114
|bool check_dollar
@@ -6184,7 +6184,7 @@ RS |UV |check_locale_boundary_crossing \
61846184
|NN STRLEN *lenp
61856185
RTi |int |does_utf8_overflow \
61866186
|NN const U8 * const s \
6187-
|NN const U8 *e
6187+
|EPTR const U8 *e
61886188
RTi |int |isFF_overlong |NN const U8 * const s \
61896189
|const STRLEN len
61906190
RTi |int |is_utf8_overlong \
@@ -6215,15 +6215,15 @@ S |UV |to_utf8_case_ |const UV original \
62156215
|NULLOK const U8 * const aux_table_lengths \
62166216
|NN const char * const normal
62176217
S |UV |turkic_fc |NN const U8 * const p \
6218-
|NN const U8 * const e \
6218+
|EPTR const U8 * const e \
62196219
|NN U8 *ustrp \
62206220
|NN STRLEN *lenp
62216221
S |UV |turkic_lc |NN const U8 * const p0 \
6222-
|NN const U8 * const e \
6222+
|EPTR const U8 * const e \
62236223
|NN U8 *ustrp \
62246224
|NN STRLEN *lenp
62256225
S |UV |turkic_uc |NN const U8 * const p \
6226-
|NN const U8 * const e \
6226+
|EPTR const U8 * const e \
62276227
|NN U8 *ustrp \
62286228
|NN STRLEN *lenp
62296229
RS |char * |unexpected_non_continuation_text \

0 commit comments

Comments
 (0)