32#if defined(__GNUC__) && __GNUC__ >= 12
33#pragma GCC diagnostic ignored "-Warray-bounds"
34#pragma GCC diagnostic ignored "-Wstringop-overflow"
35#pragma GCC diagnostic ignored "-Wrestrict"
40#include "internal/sanitizers.h"
42#define WARN_BUFSIZE 256
44#define CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
48 (( SYN_GNU_REGEX_OP | ONIG_SYN_OP_QMARK_NON_GREEDY |
49 ONIG_SYN_OP_ESC_OCTAL3 | ONIG_SYN_OP_ESC_X_HEX2 |
50 ONIG_SYN_OP_ESC_X_BRACE_HEX8 | ONIG_SYN_OP_ESC_CONTROL_CHARS |
51 ONIG_SYN_OP_ESC_C_CONTROL )
52 & ~ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END )
53 , ( ONIG_SYN_OP2_QMARK_GROUP_EFFECT |
54 ONIG_SYN_OP2_OPTION_RUBY |
55 ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP | ONIG_SYN_OP2_ESC_K_NAMED_BACKREF |
56 ONIG_SYN_OP2_ESC_G_SUBEXP_CALL |
57 ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY |
58 ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT |
59 ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT |
60 ONIG_SYN_OP2_CCLASS_SET_OP | ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL |
61 ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META | ONIG_SYN_OP2_ESC_V_VTAB |
62 ONIG_SYN_OP2_ESC_H_XDIGIT |
64 ONIG_SYN_OP2_ESC_U_HEX4 |
66 ONIG_SYN_OP2_ESC_CAPITAL_X_EXTENDED_GRAPHEME_CLUSTER |
67 ONIG_SYN_OP2_QMARK_LPAREN_CONDITION |
68 ONIG_SYN_OP2_ESC_CAPITAL_R_LINEBREAK |
69 ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP |
70 ONIG_SYN_OP2_QMARK_TILDE_ABSENT )
71 , ( SYN_GNU_REGEX_BV |
72 ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV |
73 ONIG_SYN_DIFFERENT_LEN_ALT_LOOK_BEHIND |
74 ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP |
75 ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME |
76 ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY |
77 ONIG_SYN_WARN_CC_OP_NOT_ESCAPED |
78 ONIG_SYN_WARN_CC_DUP |
79 ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT )
80 , ( ONIG_OPTION_ASCII_RANGE | ONIG_OPTION_POSIX_BRACKET_ALL_RANGE |
81 ONIG_OPTION_WORD_BOUND_ALL_RANGE )
85 , (OnigCodePoint )ONIG_INEFFECTIVE_META_CHAR
86 , (OnigCodePoint )ONIG_INEFFECTIVE_META_CHAR
87 , (OnigCodePoint )ONIG_INEFFECTIVE_META_CHAR
88 , (OnigCodePoint )ONIG_INEFFECTIVE_META_CHAR
89 , (OnigCodePoint )ONIG_INEFFECTIVE_META_CHAR
95extern void onig_null_warn(
const char* s ARG_UNUSED) { }
97#ifdef DEFAULT_WARN_FUNCTION
98static OnigWarnFunc onig_warn = (OnigWarnFunc )DEFAULT_WARN_FUNCTION;
100static OnigWarnFunc onig_warn = onig_null_warn;
103#ifdef DEFAULT_VERB_WARN_FUNCTION
104static OnigWarnFunc onig_verb_warn = (OnigWarnFunc )DEFAULT_VERB_WARN_FUNCTION;
106static OnigWarnFunc onig_verb_warn = onig_null_warn;
109extern void onig_set_warn_func(OnigWarnFunc f)
114extern void onig_set_verb_warn_func(OnigWarnFunc f)
119static void CC_DUP_WARN(
ScanEnv *env, OnigCodePoint from, OnigCodePoint to);
122static unsigned int ParseDepthLimit = DEFAULT_PARSE_DEPTH_LIMIT;
125onig_get_parse_depth_limit(
void)
127 return ParseDepthLimit;
131onig_set_parse_depth_limit(
unsigned int depth)
134 ParseDepthLimit = DEFAULT_PARSE_DEPTH_LIMIT;
136 ParseDepthLimit = depth;
144 if (IS_NOT_NULL(bbuf)) {
157 CHECK_NULL_RETURN_MEMERR(to);
158 r = BBUF_INIT(to, from->alloc);
159 if (r != 0)
return r;
160 to->used = from->used;
161 xmemcpy(to->p, from->p, from->used);
165#define BACKREF_REL_TO_ABS(rel_no, env) \
166 ((env)->num_mem + 1 + (rel_no))
168#define ONOFF(v,f,negative) (negative) ? ((v) &= ~(f)) : ((v) |= (f))
170#define MBCODE_START_POS(enc) \
171 (OnigCodePoint )(ONIGENC_MBC_MINLEN(enc) > 1 ? 0 : 0x80)
173#define SET_ALL_MULTI_BYTE_RANGE(enc, pbuf) \
174 add_code_range_to_buf(pbuf, env, MBCODE_START_POS(enc), ONIG_LAST_CODE_POINT)
176#define ADD_ALL_MULTI_BYTE_RANGE(enc, mbuf) do {\
177 if (! ONIGENC_IS_SINGLEBYTE(enc)) {\
178 r = SET_ALL_MULTI_BYTE_RANGE(enc, &(mbuf));\
184#define BITSET_SET_BIT_CHKDUP(bs, pos) do { \
185 if (BITSET_AT(bs, pos)) CC_DUP_WARN(env, pos, pos); \
186 BS_ROOM(bs, pos) |= BS_BIT(pos); \
189#define BITSET_IS_EMPTY(bs,empty) do {\
192 for (i = 0; i < BITSET_SIZE; i++) {\
200bitset_set_range(
ScanEnv *env, BitSetRef bs,
int from,
int to)
203 for (i = from; i <= to && i < SINGLE_BYTE_SIZE; i++) {
204 BITSET_SET_BIT_CHKDUP(bs, i);
210bitset_set_all(BitSetRef bs)
213 for (i = 0; i < BITSET_SIZE; i++) { bs[i] = ~((Bits )0); }
218bitset_invert(BitSetRef bs)
221 for (i = 0; i < BITSET_SIZE; i++) { bs[i] = ~(bs[i]); }
225bitset_invert_to(BitSetRef from, BitSetRef to)
228 for (i = 0; i < BITSET_SIZE; i++) { to[i] = ~(from[i]); }
232bitset_and(BitSetRef dest, BitSetRef bs)
235 for (i = 0; i < BITSET_SIZE; i++) { dest[i] &= bs[i]; }
239bitset_or(BitSetRef dest, BitSetRef bs)
242 for (i = 0; i < BITSET_SIZE; i++) { dest[i] |= bs[i]; }
246bitset_copy(BitSetRef dest, BitSetRef bs)
249 for (i = 0; i < BITSET_SIZE; i++) { dest[i] = bs[i]; }
252#if defined(USE_NAMED_GROUP) && !defined(USE_ST_LIBRARY)
254onig_strncmp(
const UChar* s1,
const UChar* s2,
size_t n)
267onig_strcpy(UChar* dest,
const UChar* src,
const UChar* end)
269 ptrdiff_t
len = end - src;
271 xmemcpy(dest, src,
len);
272 dest[
len] = (UChar )0;
276#ifdef USE_NAMED_GROUP
278strdup_with_null(
OnigEncoding enc,
const UChar* s,
const UChar* end)
285 term_len = ONIGENC_MBC_MINLEN(enc);
287 r = (UChar* )
xmalloc(slen + term_len);
288 CHECK_NULL_RETURN(r);
291 for (i = 0; i < term_len; i++)
292 r[slen + i] = (UChar )0;
303# define PFETCH_READY UChar* pfetch_prev = NULL; (void)pfetch_prev
305# define PFETCH_READY UChar* pfetch_prev
307#define PEND (p < end ? 0 : 1)
308#define PUNFETCH p = pfetch_prev
311 p += enclen(enc, p, end); \
313#define PFETCH(c) do { \
314 c = ((enc->max_enc_len == 1) ? *p : ONIGENC_MBC_TO_CODE(enc, p, end)); \
316 p += enclen(enc, p, end); \
320 p += enclen(enc, p, end); \
322#define PFETCH_S(c) do { \
323 c = ((enc->max_enc_len == 1) ? *p : ONIGENC_MBC_TO_CODE(enc, p, end)); \
324 p += enclen(enc, p, end); \
327#define PPEEK (p < end ? ONIGENC_MBC_TO_CODE(enc, p, end) : PEND_VALUE)
328#define PPEEK_IS(c) (PPEEK == (OnigCodePoint )c)
331strcat_capa(UChar* dest, UChar* dest_end,
const UChar* src,
const UChar* src_end,
341 CHECK_NULL_RETURN(r);
342 onig_strcpy(r + (dest_end - dest), src, src_end);
348strcat_capa_from_static(UChar* dest, UChar* dest_end,
349 const UChar* src,
const UChar* src_end,
size_t capa)
354 CHECK_NULL_RETURN(r);
355 onig_strcpy(r, dest, dest_end);
356 onig_strcpy(r + (dest_end - dest), src, src_end);
375str_end_cmp(st_data_t xp, st_data_t yp)
383 if ((x->end - x->s) != (y->end - y->s))
389 c = (int )*p - (
int )*q;
390 if (c != 0)
return c;
398NO_SANITIZE(
"unsigned-integer-overflow",
static st_index_t str_end_hash(st_data_t xp));
401str_end_hash(st_data_t xp)
409 val = val * 997 + (int )*p++;
412 return val + (val >> 5);
415extern hash_table_type*
416onig_st_init_strend_table_with_size(st_index_t size)
423 return (hash_table_type* )
424 onig_st_init_table_with_size(&hashType, size);
428onig_st_lookup_strend(hash_table_type* table,
const UChar* str_key,
429 const UChar* end_key, hash_data_type *value)
433 key.s = (UChar* )str_key;
434 key.end = (UChar* )end_key;
436 return onig_st_lookup(table, (st_data_t )(&key), value);
440onig_st_insert_strend(hash_table_type* table,
const UChar* str_key,
441 const UChar* end_key, hash_data_type value)
447 key->s = (UChar* )str_key;
448 key->end = (UChar* )end_key;
449 result = onig_st_insert(table, (st_data_t )key, value);
459#ifdef USE_NAMED_GROUP
461# define INIT_NAME_BACKREFS_ALLOC_NUM 8
472# ifdef USE_ST_LIBRARY
475typedef st_data_t HashDataType;
479i_print_name_entry(HashDataType key_, HashDataType e_, HashDataType arg_)
481 UChar* key = (UChar *)key_;
483 void* arg = (
void *)arg_;
487 fprintf(fp,
"%s: ", e->name);
488 if (e->back_num == 0)
490 else if (e->back_num == 1)
491 fprintf(fp,
"%d", e->back_ref1);
493 for (i = 0; i < e->back_num; i++) {
494 if (i > 0) fprintf(fp,
", ");
495 fprintf(fp,
"%d", e->back_refs[i]);
507 if (IS_NOT_NULL(t)) {
508 fprintf(fp,
"name table\n");
509 onig_st_foreach(t, i_print_name_entry, (HashDataType )fp);
517i_free_name_entry(HashDataType key_, HashDataType e_, HashDataType arg_ ARG_UNUSED)
519 UChar* key = (UChar *)key_;
533 if (IS_NOT_NULL(t)) {
534 onig_st_foreach(t, i_free_name_entry, 0);
545 r = names_clear(reg);
549 if (IS_NOT_NULL(t)) onig_st_free_table(t);
550 reg->name_table = (
void* )NULL;
555copy_named_captures_iter(
const OnigUChar *name,
const OnigUChar *name_end,
556 int back_num,
int *back_refs,
OnigRegex regex,
void *arg)
560 if (IS_NULL(entry_copy))
return -1;
562 entry_copy->name_len = name_end - name;
563 entry_copy->back_num = back_num;
564 entry_copy->back_alloc = back_num;
565 entry_copy->back_ref1 = back_refs[0];
566 entry_copy->back_refs =
xmalloc(back_num * (
sizeof(
int*)));
567 if (IS_NULL(entry_copy->back_refs)) {
571 memcpy(entry_copy->back_refs, back_refs, back_num *
sizeof(back_refs[0]));
573 UChar *new_name = strdup_with_null(regex->enc, name, name_end);
574 if (IS_NULL(new_name)) {
575 xfree(entry_copy->back_refs);
579 entry_copy->name = new_name;
581 if (onig_st_insert_strend(copy_table, new_name, (new_name + entry_copy->name_len), (hash_data_type)entry_copy)) {
582 xfree(entry_copy->name);
583 xfree(entry_copy->back_refs);
595 NameTable * t = onig_st_init_strend_table_with_size(onig_number_of_names(oreg));
596 CHECK_NULL_RETURN_MEMERR(t);
597 if (onig_foreach_name(oreg, copy_named_captures_iter, (
void*)t)) {
598 onig_st_free_table(t);
599 return ONIGERR_MEMORY;
607name_find(
regex_t* reg,
const UChar* name,
const UChar* name_end)
613 if (IS_NOT_NULL(t)) {
614 onig_st_lookup_strend(t, name, name_end, (HashDataType* )((
void* )(&e)));
620 int (*func)(
const UChar*,
const UChar*,int,
int*,
regex_t*,
void*);
628i_names(HashDataType key_ ARG_UNUSED, HashDataType e_, HashDataType arg_)
632 int r = (*(arg->func))(e->name,
633 e->name + e->name_len,
635 (e->back_num > 1 ? e->back_refs : &(e->back_ref1)),
646 int (*func)(
const UChar*,
const UChar*,
int,
int*,
regex_t*,
void*),
void* arg)
652 if (IS_NOT_NULL(t)) {
657 onig_st_foreach(t, i_names, (HashDataType )&narg);
663i_renumber_name(HashDataType key_ ARG_UNUSED, HashDataType e_, HashDataType map_)
669 if (e->back_num > 1) {
670 for (i = 0; i < e->back_num; i++) {
671 e->back_refs[i] = map[e->back_refs[i]].new_val;
674 else if (e->back_num == 1) {
675 e->back_ref1 = map[e->back_ref1].new_val;
686 if (IS_NOT_NULL(t)) {
687 onig_st_foreach(t, i_renumber_name, (HashDataType )map);
694onig_number_of_names(
const regex_t* reg)
699 return (
int )t->num_entries;
706# define INIT_NAMES_ALLOC_NUM 8
722 if (IS_NOT_NULL(t) && t->num > 0) {
723 fprintf(fp,
"name table\n");
724 for (i = 0; i < t->num; i++) {
726 fprintf(fp,
"%s: ", e->name);
727 if (e->back_num == 0) {
730 else if (e->back_num == 1) {
731 fprintf(fp,
"%d", e->back_ref1);
734 for (j = 0; j < e->back_num; j++) {
735 if (j > 0) fprintf(fp,
", ");
736 fprintf(fp,
"%d", e->back_refs[j]);
754 if (IS_NOT_NULL(t)) {
755 for (i = 0; i < t->num; i++) {
757 if (IS_NOT_NULL(e->name)) {
764 e->back_refs = (
int* )NULL;
767 if (IS_NOT_NULL(t->e)) {
782 r = names_clear(reg);
787 reg->name_table = NULL;
797 int i, num = ot->num;
799 CHECK_NULL_RETURN_MEMERR(t);
801 t->e =
xmalloc(t->alloc *
sizeof(t->e[0]));
804 return ONIGERR_MEMORY;
808 for (i = 0; i < num; t->num = ++i) {
814 e->name = strdup_with_null(enc, oe->name, oe->name + e->name_len);
815 if (IS_NULL(e->name)) {
816 onig_names_free(reg);
817 return ONIGERR_MEMORY;
819 e->back_refs =
xmalloc(e->back_alloc *
sizeof(e->back_refs[0]));
820 if (IS_NULL(e->back_refs)) {
822 onig_names_free(reg);
823 return ONIGERR_MEMORY;
825 memcpy(e->back_refs, oe->back_refs, e->back_num *
sizeof(e->back_refs[0]));
826 e->back_ref1 = e->back_refs[0];
833name_find(
regex_t* reg,
const UChar* name,
const UChar* name_end)
840 if (IS_NOT_NULL(t)) {
841 len = name_end - name;
842 for (i = 0; i < t->num; i++) {
844 if (
len == e->name_len && onig_strncmp(name, e->name,
len) == 0)
853 int (*func)(
const UChar*,
const UChar*,
int,
int*,
regex_t*,
void*),
void* arg)
859 if (IS_NOT_NULL(t)) {
860 for (i = 0; i < t->num; i++) {
862 r = (*func)(e->name, e->name + e->name_len, e->back_num,
863 (e->back_num > 1 ? e->back_refs : &(e->back_ref1)),
865 if (r != 0)
return r;
878 if (IS_NOT_NULL(t)) {
879 for (i = 0; i < t->num; i++) {
882 if (e->back_num > 1) {
883 for (j = 0; j < e->back_num; j++) {
884 e->back_refs[j] = map[e->back_refs[j]].new_val;
887 else if (e->back_num == 1) {
888 e->back_ref1 = map[e->back_ref1].new_val;
896onig_number_of_names(
const regex_t* reg)
909name_add(
regex_t* reg, UChar* name, UChar* name_end,
int backref,
ScanEnv* env)
915 if (name_end - name <= 0)
916 return ONIGERR_EMPTY_GROUP_NAME;
918 e = name_find(reg, name, name_end);
920# ifdef USE_ST_LIBRARY
922 t = onig_st_init_strend_table_with_size(5);
923 reg->name_table = (
void* )t;
926 CHECK_NULL_RETURN_MEMERR(e);
928 e->name = strdup_with_null(reg->enc, name, name_end);
929 if (IS_NULL(e->name)) {
931 return ONIGERR_MEMORY;
933 onig_st_insert_strend(t, e->name, (e->name + (name_end - name)),
936 e->name_len = name_end - name;
939 e->back_refs = (
int* )NULL;
944 alloc = INIT_NAMES_ALLOC_NUM;
946 CHECK_NULL_RETURN_MEMERR(t);
954 return ONIGERR_MEMORY;
960 else if (t->num == t->alloc) {
964 alloc = t->alloc * 2;
966 CHECK_NULL_RETURN_MEMERR(p);
971 for (i = t->num; i < t->alloc; i++) {
973 t->e[i].name_len = 0;
974 t->e[i].back_num = 0;
975 t->e[i].back_alloc = 0;
976 t->e[i].back_refs = (
int* )NULL;
981 e->name = strdup_with_null(reg->enc, name, name_end);
982 if (IS_NULL(e->name))
return ONIGERR_MEMORY;
983 e->name_len = name_end - name;
987 if (e->back_num >= 1 &&
988 ! IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME)) {
989 onig_scan_env_set_error_string(env, ONIGERR_MULTIPLEX_DEFINED_NAME,
991 return ONIGERR_MULTIPLEX_DEFINED_NAME;
995 if (e->back_num == 1) {
996 e->back_ref1 = backref;
999 if (e->back_num == 2) {
1000 alloc = INIT_NAME_BACKREFS_ALLOC_NUM;
1001 e->back_refs = (
int* )
xmalloc(
sizeof(
int) * alloc);
1002 CHECK_NULL_RETURN_MEMERR(e->back_refs);
1003 e->back_alloc = alloc;
1004 e->back_refs[0] = e->back_ref1;
1005 e->back_refs[1] = backref;
1008 if (e->back_num > e->back_alloc) {
1010 alloc = e->back_alloc * 2;
1011 p = (
int* )
xrealloc(e->back_refs,
sizeof(
int) * alloc);
1012 CHECK_NULL_RETURN_MEMERR(p);
1014 e->back_alloc = alloc;
1016 e->back_refs[e->back_num - 1] = backref;
1024onig_name_to_group_numbers(
regex_t* reg,
const UChar* name,
1025 const UChar* name_end,
int** nums)
1027 NameEntry* e = name_find(reg, name, name_end);
1029 if (IS_NULL(e))
return ONIGERR_UNDEFINED_NAME_REFERENCE;
1031 switch (e->back_num) {
1036 *nums = &(e->back_ref1);
1039 *nums = e->back_refs;
1046onig_name_to_backref_number(
regex_t* reg,
const UChar* name,
1047 const UChar* name_end,
const OnigRegion *region)
1051 n = onig_name_to_group_numbers(reg, name, name_end, &nums);
1055 return ONIGERR_PARSER_BUG;
1059 if (IS_NOT_NULL(region)) {
1060 for (i = n - 1; i >= 0; i--) {
1061 if (region->beg[nums[i]] != ONIG_REGION_NOTPOS)
1072onig_name_to_group_numbers(
regex_t* reg,
const UChar* name,
1073 const UChar* name_end,
int** nums)
1075 return ONIG_NO_SUPPORT_CONFIG;
1079onig_name_to_backref_number(
regex_t* reg,
const UChar* name,
1080 const UChar* name_end,
const OnigRegion* region)
1082 return ONIG_NO_SUPPORT_CONFIG;
1086onig_foreach_name(
regex_t* reg,
1087 int (*func)(
const UChar*,
const UChar*,
int,
int*,
regex_t*,
void*),
void* arg)
1089 return ONIG_NO_SUPPORT_CONFIG;
1093onig_number_of_names(
const regex_t* reg)
1106onig_noname_group_capture_is_active(
const regex_t* reg)
1108 if (ONIG_IS_OPTION_ON(reg->options, ONIG_OPTION_DONT_CAPTURE_GROUP))
1111#ifdef USE_NAMED_GROUP
1112 if (onig_number_of_names(reg) > 0 &&
1113 IS_SYNTAX_BV(reg->syntax, ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP) &&
1114 !ONIG_IS_OPTION_ON(reg->options, ONIG_OPTION_CAPTURE_GROUP)) {
1123#define INIT_SCANENV_MEMNODES_ALLOC_SIZE 16
1130 BIT_STATUS_CLEAR(env->capture_history);
1131 BIT_STATUS_CLEAR(env->bt_mem_start);
1132 BIT_STATUS_CLEAR(env->bt_mem_end);
1133 BIT_STATUS_CLEAR(env->backrefed_mem);
1134 env->error = (UChar* )NULL;
1135 env->error_end = (UChar* )NULL;
1138#ifdef USE_NAMED_GROUP
1142 env->mem_nodes_dynamic = (
Node** )NULL;
1144 for (i = 0; i < SCANENV_MEMNODES_SIZE; i++)
1145 env->mem_nodes_static[i] = NULL_NODE;
1147#ifdef USE_COMBINATION_EXPLOSION_CHECK
1148 env->num_comb_exp_check = 0;
1149 env->comb_exp_max_regnum = 0;
1150 env->curr_max_regnum = 0;
1151 env->has_recursion = 0;
1153 env->parse_depth = 0;
1154 env->warnings_flag = 0;
1158scan_env_add_mem_entry(
ScanEnv* env)
1163 need = env->num_mem + 1;
1164 if (need > ONIG_MAX_CAPTURE_GROUP_NUM)
1165 return ONIGERR_TOO_MANY_CAPTURE_GROUPS;
1166 if (need >= SCANENV_MEMNODES_SIZE) {
1167 if (env->mem_alloc <= need) {
1168 if (IS_NULL(env->mem_nodes_dynamic)) {
1169 alloc = INIT_SCANENV_MEMNODES_ALLOC_SIZE;
1171 CHECK_NULL_RETURN_MEMERR(p);
1172 xmemcpy(p, env->mem_nodes_static,
1173 sizeof(
Node*) * SCANENV_MEMNODES_SIZE);
1176 alloc = env->mem_alloc * 2;
1178 CHECK_NULL_RETURN_MEMERR(p);
1181 for (i = env->num_mem + 1; i < alloc; i++)
1184 env->mem_nodes_dynamic = p;
1185 env->mem_alloc = alloc;
1190 return env->num_mem;
1194scan_env_set_mem_node(
ScanEnv* env,
int num,
Node* node)
1196 if (env->num_mem >= num)
1197 SCANENV_MEM_NODES(env)[num] = node;
1199 return ONIGERR_PARSER_BUG;
1205onig_node_free(
Node* node)
1208 if (IS_NULL(node)) return ;
1210 switch (NTYPE(node)) {
1212 if (NSTR(node)->
capa != 0 &&
1213 IS_NOT_NULL(NSTR(node)->s) && NSTR(node)->s != NSTR(node)->buf) {
1214 xfree(NSTR(node)->s);
1220 onig_node_free(NCAR(node));
1222 Node* next_node = NCDR(node);
1234 bbuf_free(cc->mbuf);
1239 onig_node_free(NQTFR(node)->target);
1243 onig_node_free(NENCLOSE(node)->target);
1247 xfree(NBREF(node)->back_dynamic);
1251 onig_node_free(NANCHOR(node)->target);
1271 BITSET_CLEAR(cc->bs);
1278node_new_cclass(
void)
1280 Node* node = node_new();
1281 CHECK_NULL_RETURN(node);
1283 SET_NTYPE(node, NT_CCLASS);
1284 initialize_cclass(NCCLASS(node));
1289node_new_ctype(
int type,
int not,
int ascii_range)
1291 Node* node = node_new();
1292 CHECK_NULL_RETURN(node);
1294 SET_NTYPE(node, NT_CTYPE);
1295 NCTYPE(node)->ctype =
type;
1296 NCTYPE(node)->not = not;
1297 NCTYPE(node)->ascii_range = ascii_range;
1302node_new_anychar(
void)
1304 Node* node = node_new();
1305 CHECK_NULL_RETURN(node);
1307 SET_NTYPE(node, NT_CANY);
1312node_new_list(
Node* left,
Node* right)
1314 Node* node = node_new();
1315 CHECK_NULL_RETURN(node);
1317 SET_NTYPE(node, NT_LIST);
1324onig_node_new_list(
Node* left,
Node* right)
1326 return node_new_list(left, right);
1330onig_node_list_add(
Node* list,
Node* x)
1334 n = onig_node_new_list(x, NULL);
1335 if (IS_NULL(n))
return NULL_NODE;
1337 if (IS_NOT_NULL(list)) {
1338 while (IS_NOT_NULL(NCDR(list)))
1348onig_node_new_alt(
Node* left,
Node* right)
1350 Node* node = node_new();
1351 CHECK_NULL_RETURN(node);
1353 SET_NTYPE(node, NT_ALT);
1360onig_node_new_anchor(
int type)
1362 Node* node = node_new();
1363 CHECK_NULL_RETURN(node);
1365 SET_NTYPE(node, NT_ANCHOR);
1366 NANCHOR(node)->type =
type;
1367 NANCHOR(node)->target = NULL;
1368 NANCHOR(node)->char_len = -1;
1369 NANCHOR(node)->ascii_range = 0;
1374node_new_backref(
int back_num,
int* backrefs,
int by_name,
1375#ifdef USE_BACKREF_WITH_LEVEL
1376 int exist_level,
int nest_level,
1381 Node* node = node_new();
1383 CHECK_NULL_RETURN(node);
1385 SET_NTYPE(node, NT_BREF);
1386 NBREF(node)->state = 0;
1387 NBREF(node)->back_num = back_num;
1388 NBREF(node)->back_dynamic = (
int* )NULL;
1390 NBREF(node)->state |= NST_NAME_REF;
1392#ifdef USE_BACKREF_WITH_LEVEL
1393 if (exist_level != 0) {
1394 NBREF(node)->state |= NST_NEST_LEVEL;
1395 NBREF(node)->nest_level = nest_level;
1399 for (i = 0; i < back_num; i++) {
1400 if (backrefs[i] <= env->num_mem &&
1401 IS_NULL(SCANENV_MEM_NODES(env)[backrefs[i]])) {
1402 NBREF(node)->state |= NST_RECURSION;
1407 if (back_num <= NODE_BACKREFS_SIZE) {
1408 for (i = 0; i < back_num; i++)
1409 NBREF(node)->back_static[i] = backrefs[i];
1412 int* p = (
int* )
xmalloc(
sizeof(
int) * back_num);
1414 onig_node_free(node);
1417 NBREF(node)->back_dynamic = p;
1418 for (i = 0; i < back_num; i++)
1424#ifdef USE_SUBEXP_CALL
1426node_new_call(UChar* name, UChar* name_end,
int gnum)
1428 Node* node = node_new();
1429 CHECK_NULL_RETURN(node);
1431 SET_NTYPE(node, NT_CALL);
1432 NCALL(node)->state = 0;
1433 NCALL(node)->target = NULL_NODE;
1434 NCALL(node)->name = name;
1435 NCALL(node)->name_end = name_end;
1436 NCALL(node)->group_num = gnum;
1442node_new_quantifier(
int lower,
int upper,
int by_number)
1444 Node* node = node_new();
1445 CHECK_NULL_RETURN(node);
1447 SET_NTYPE(node, NT_QTFR);
1448 NQTFR(node)->state = 0;
1449 NQTFR(node)->target = NULL;
1450 NQTFR(node)->lower = lower;
1451 NQTFR(node)->upper = upper;
1452 NQTFR(node)->greedy = 1;
1453 NQTFR(node)->target_empty_info = NQ_TARGET_ISNOT_EMPTY;
1454 NQTFR(node)->head_exact = NULL_NODE;
1455 NQTFR(node)->next_head_exact = NULL_NODE;
1456 NQTFR(node)->is_referred = 0;
1458 NQTFR(node)->state |= NST_BY_NUMBER;
1460#ifdef USE_COMBINATION_EXPLOSION_CHECK
1461 NQTFR(node)->comb_exp_check_num = 0;
1468node_new_enclose(
int type)
1470 Node* node = node_new();
1471 CHECK_NULL_RETURN(node);
1473 SET_NTYPE(node, NT_ENCLOSE);
1474 NENCLOSE(node)->type =
type;
1475 NENCLOSE(node)->state = 0;
1476 NENCLOSE(node)->regnum = 0;
1477 NENCLOSE(node)->option = 0;
1478 NENCLOSE(node)->target = NULL;
1479 NENCLOSE(node)->call_addr = -1;
1480 NENCLOSE(node)->opt_count = 0;
1485onig_node_new_enclose(
int type)
1487 return node_new_enclose(
type);
1491node_new_enclose_memory(OnigOptionType option,
int is_named)
1493 Node* node = node_new_enclose(ENCLOSE_MEMORY);
1494 CHECK_NULL_RETURN(node);
1496 SET_ENCLOSE_STATUS(node, NST_NAMED_GROUP);
1498#ifdef USE_SUBEXP_CALL
1499 NENCLOSE(node)->option = option;
1505node_new_option(OnigOptionType option)
1507 Node* node = node_new_enclose(ENCLOSE_OPTION);
1508 CHECK_NULL_RETURN(node);
1509 NENCLOSE(node)->option = option;
1514onig_node_str_cat(
Node* node,
const UChar* s,
const UChar* end)
1516 ptrdiff_t addlen = end - s;
1519 ptrdiff_t
len = NSTR(node)->end - NSTR(node)->s;
1521 if (NSTR(node)->
capa > 0 || (
len + addlen > NODE_STR_BUF_SIZE - 1)) {
1523 ptrdiff_t
capa =
len + addlen + NODE_STR_MARGIN;
1526 onig_strcpy(NSTR(node)->s +
len, s, end);
1529 if (NSTR(node)->s == NSTR(node)->buf)
1530 p = strcat_capa_from_static(NSTR(node)->s, NSTR(node)->end,
1533 p = strcat_capa(NSTR(node)->s, NSTR(node)->end, s, end,
capa);
1535 CHECK_NULL_RETURN_MEMERR(p);
1537 NSTR(node)->capa = (int )
capa;
1541 onig_strcpy(NSTR(node)->s +
len, s, end);
1543 NSTR(node)->end = NSTR(node)->s +
len + addlen;
1550onig_node_str_set(
Node* node,
const UChar* s,
const UChar* end)
1552 onig_node_str_clear(node);
1553 return onig_node_str_cat(node, s, end);
1557node_str_cat_char(
Node* node, UChar c)
1562 return onig_node_str_cat(node, s, s + 1);
1568 UChar buf[ONIGENC_CODE_TO_MBC_MAXLEN];
1569 int num = ONIGENC_CODE_TO_MBC(enc, c, buf);
1570 if (num < 0)
return num;
1571 return onig_node_str_cat(node, buf, buf + num);
1576onig_node_conv_to_str_node(
Node* node,
int flag)
1578 SET_NTYPE(node, NT_STR);
1579 NSTR(node)->flag = flag;
1580 NSTR(node)->capa = 0;
1581 NSTR(node)->s = NSTR(node)->buf;
1582 NSTR(node)->end = NSTR(node)->buf;
1587onig_node_str_clear(
Node* node)
1589 if (NSTR(node)->
capa != 0 &&
1590 IS_NOT_NULL(NSTR(node)->s) && NSTR(node)->s != NSTR(node)->buf) {
1591 xfree(NSTR(node)->s);
1594 NSTR(node)->capa = 0;
1595 NSTR(node)->flag = 0;
1596 NSTR(node)->s = NSTR(node)->buf;
1597 NSTR(node)->end = NSTR(node)->buf;
1601node_new_str(
const UChar* s,
const UChar* end)
1603 Node* node = node_new();
1604 CHECK_NULL_RETURN(node);
1606 SET_NTYPE(node, NT_STR);
1607 NSTR(node)->capa = 0;
1608 NSTR(node)->flag = 0;
1609 NSTR(node)->s = NSTR(node)->buf;
1610 NSTR(node)->end = NSTR(node)->buf;
1611 if (onig_node_str_cat(node, s, end)) {
1612 onig_node_free(node);
1619onig_node_new_str(
const UChar* s,
const UChar* end)
1621 return node_new_str(s, end);
1625node_new_str_raw(UChar* s, UChar* end)
1627 Node* node = node_new_str(s, end);
1628 if (IS_NOT_NULL(node))
1629 NSTRING_SET_RAW(node);
1636 return node_new_str(NULL, NULL);
1640node_new_str_raw_char(UChar c)
1645 return node_new_str_raw(p, p + 1);
1652 Node* n = NULL_NODE;
1654 if (sn->end > sn->s) {
1655 p = onigenc_get_prev_char_head(enc, sn->s, sn->end, sn->end);
1656 if (p && p > sn->s) {
1657 n = node_new_str(p, sn->end);
1658 if (IS_NOT_NULL(n) && (sn->flag & NSTR_RAW) != 0)
1660 sn->end = (UChar* )p;
1669 if (sn->end > sn->s) {
1670 return ((enclen(enc, sn->s, sn->end) < sn->end - sn->s) ? 1 : 0);
1675#ifdef USE_PAD_TO_SHORT_BYTE_CHAR
1677node_str_head_pad(
StrNode* sn,
int num, UChar val)
1679 UChar buf[NODE_STR_BUF_SIZE];
1682 len = sn->end - sn->s;
1683 onig_strcpy(buf, sn->s, sn->end);
1684 onig_strcpy(&(sn->s[num]), buf, buf +
len);
1687 for (i = 0; i < num; i++) {
1694onig_scan_unsigned_number(UChar** src,
const UChar* end,
OnigEncoding enc)
1696 unsigned int num, val;
1704 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
1705 val = (
unsigned int )DIGITVAL(c);
1706 if ((INT_MAX_LIMIT - val) / 10UL < num)
1709 num = num * 10 + val;
1721scan_unsigned_hexadecimal_number(UChar** src, UChar* end,
int minlen,
1725 unsigned int num, val;
1730 restlen = maxlen - minlen;
1732 while (!PEND && maxlen-- != 0) {
1734 if (ONIGENC_IS_CODE_XDIGIT(enc, c)) {
1735 val = (
unsigned int )XDIGITVAL(enc,c);
1736 if ((INT_MAX_LIMIT - val) / 16UL < num)
1739 num = (num << 4) + XDIGITVAL(enc,c);
1747 if (maxlen > restlen)
1754scan_unsigned_octal_number(UChar** src, UChar* end,
int maxlen,
1758 unsigned int num, val;
1763 while (!PEND && maxlen-- != 0) {
1765 if (ONIGENC_IS_CODE_DIGIT(enc, c) && c <
'8') {
1767 if ((INT_MAX_LIMIT - val) / 8UL < num)
1770 num = (num << 3) + val;
1782#define BBUF_WRITE_CODE_POINT(bbuf,pos,code) \
1783 BBUF_WRITE(bbuf, pos, &(code), SIZE_CODE_POINT)
1790new_code_range(
BBuf** pbuf)
1792#define INIT_MULTI_BYTE_RANGE_SIZE (SIZE_CODE_POINT * 5)
1798 CHECK_NULL_RETURN_MEMERR(*pbuf);
1799 r = BBUF_INIT(*pbuf, INIT_MULTI_BYTE_RANGE_SIZE);
1803 BBUF_WRITE_CODE_POINT(bbuf, 0, n);
1808add_code_range_to_buf0(
BBuf** pbuf,
ScanEnv* env, OnigCodePoint from, OnigCodePoint to,
1812 OnigCodePoint low, high, bound, x;
1813 OnigCodePoint n, *data;
1817 n = from; from = to; to = n;
1820 if (IS_NULL(*pbuf)) {
1821 r = new_code_range(pbuf);
1828 GET_CODE_POINT(n, bbuf->p);
1830 data = (OnigCodePoint* )(bbuf->p);
1833 bound = (from == 0) ? 0 : n;
1834 for (low = 0; low < bound; ) {
1835 x = (low + bound) >> 1;
1836 if (from - 1 > data[x*2 + 1])
1842 high = (to == ONIG_LAST_CODE_POINT) ? n : low;
1843 for (bound = n; high < bound; ) {
1844 x = (high + bound) >> 1;
1845 if (to + 1 >= data[x*2])
1854 inc_n = low + 1 - high;
1855 if (n + inc_n > ONIG_MAX_MULTI_BYTE_RANGES_NUM)
1856 return ONIGERR_TOO_MANY_MULTI_BYTE_RANGES;
1859 if (checkdup && from <= data[low*2+1]
1860 && (data[low*2] <= from || data[low*2+1] <= to))
1861 CC_DUP_WARN(env, from, to);
1862 if (from > data[low*2])
1864 if (to < data[(high - 1)*2 + 1])
1865 to = data[(high - 1)*2 + 1];
1869 int from_pos = SIZE_CODE_POINT * (1 + high * 2);
1870 int to_pos = SIZE_CODE_POINT * (1 + (low + 1) * 2);
1874 int size = (n - high) * 2 * SIZE_CODE_POINT;
1875 BBUF_MOVE_RIGHT(bbuf, from_pos, to_pos, size);
1879 BBUF_MOVE_LEFT_REDUCE(bbuf, from_pos, to_pos);
1883 pos = SIZE_CODE_POINT * (1 + low * 2);
1884 BBUF_ENSURE_SIZE(bbuf, pos + SIZE_CODE_POINT * 2);
1885 BBUF_WRITE_CODE_POINT(bbuf, pos, from);
1886 BBUF_WRITE_CODE_POINT(bbuf, pos + SIZE_CODE_POINT, to);
1888 BBUF_WRITE_CODE_POINT(bbuf, 0, n);
1894add_code_range_to_buf(
BBuf** pbuf,
ScanEnv* env, OnigCodePoint from, OnigCodePoint to)
1896 return add_code_range_to_buf0(pbuf, env, from, to, 1);
1900add_code_range0(
BBuf** pbuf,
ScanEnv* env, OnigCodePoint from, OnigCodePoint to,
int checkdup)
1903 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC))
1906 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS;
1909 return add_code_range_to_buf0(pbuf, env, from, to, checkdup);
1913add_code_range(
BBuf** pbuf,
ScanEnv* env, OnigCodePoint from, OnigCodePoint to)
1915 return add_code_range0(pbuf, env, from, to, 1);
1922 OnigCodePoint pre, from, *data, to = 0;
1924 *pbuf = (
BBuf* )NULL;
1925 if (IS_NULL(bbuf)) {
1927 return SET_ALL_MULTI_BYTE_RANGE(enc, pbuf);
1930 data = (OnigCodePoint* )(bbuf->p);
1931 GET_CODE_POINT(n, data);
1933 if (n <= 0)
goto set_all;
1936 pre = MBCODE_START_POS(enc);
1937 for (i = 0; i < n; i++) {
1940 if (pre <= from - 1) {
1941 r = add_code_range_to_buf(pbuf, env, pre, from - 1);
1942 if (r != 0)
return r;
1944 if (to == ONIG_LAST_CODE_POINT)
break;
1947 if (to < ONIG_LAST_CODE_POINT) {
1948 r = add_code_range_to_buf(pbuf, env, to + 1, ONIG_LAST_CODE_POINT);
1953#define SWAP_BBUF_NOT(bbuf1, not1, bbuf2, not2) do {\
1956 tnot = not1; not1 = not2; not2 = tnot; \
1957 tbuf = bbuf1; bbuf1 = bbuf2; bbuf2 = tbuf; \
1965 OnigCodePoint i, n1, *data1;
1966 OnigCodePoint from, to;
1968 *pbuf = (
BBuf* )NULL;
1969 if (IS_NULL(bbuf1) && IS_NULL(bbuf2)) {
1970 if (not1 != 0 || not2 != 0)
1971 return SET_ALL_MULTI_BYTE_RANGE(enc, pbuf);
1977 SWAP_BBUF_NOT(bbuf1, not1, bbuf2, not2);
1979 if (IS_NULL(bbuf1)) {
1981 return SET_ALL_MULTI_BYTE_RANGE(enc, pbuf);
1985 return bbuf_clone(pbuf, bbuf2);
1988 return not_code_range_buf(enc, bbuf2, pbuf, env);
1994 SWAP_BBUF_NOT(bbuf1, not1, bbuf2, not2);
1996 data1 = (OnigCodePoint* )(bbuf1->p);
1997 GET_CODE_POINT(n1, data1);
2000 if (not2 == 0 && not1 == 0) {
2001 r = bbuf_clone(pbuf, bbuf2);
2003 else if (not1 == 0) {
2004 r = not_code_range_buf(enc, bbuf2, pbuf, env);
2006 if (r != 0)
return r;
2008 for (i = 0; i < n1; i++) {
2011 r = add_code_range_to_buf(pbuf, env, from, to);
2012 if (r != 0)
return r;
2018and_code_range1(
BBuf** pbuf,
ScanEnv* env, OnigCodePoint from1, OnigCodePoint to1,
2019 OnigCodePoint* data,
int n)
2022 OnigCodePoint from2, to2;
2024 for (i = 0; i < n; i++) {
2027 if (from2 < from1) {
2028 if (to2 < from1)
continue;
2033 else if (from2 <= to1) {
2035 if (from1 <= from2 - 1) {
2036 r = add_code_range_to_buf(pbuf, env, from1, from2-1);
2037 if (r != 0)
return r;
2048 if (from1 > to1)
break;
2051 r = add_code_range_to_buf(pbuf, env, from1, to1);
2052 if (r != 0)
return r;
2058and_code_range_buf(
BBuf* bbuf1,
int not1,
BBuf* bbuf2,
int not2,
BBuf** pbuf,
ScanEnv* env)
2061 OnigCodePoint i, j, n1, n2, *data1, *data2;
2062 OnigCodePoint from, to, from1, to1, from2, to2;
2064 *pbuf = (
BBuf* )NULL;
2065 if (IS_NULL(bbuf1)) {
2066 if (not1 != 0 && IS_NOT_NULL(bbuf2))
2067 return bbuf_clone(pbuf, bbuf2);
2070 else if (IS_NULL(bbuf2)) {
2072 return bbuf_clone(pbuf, bbuf1);
2077 SWAP_BBUF_NOT(bbuf1, not1, bbuf2, not2);
2079 data1 = (OnigCodePoint* )(bbuf1->p);
2080 data2 = (OnigCodePoint* )(bbuf2->p);
2081 GET_CODE_POINT(n1, data1);
2082 GET_CODE_POINT(n2, data2);
2086 if (not2 == 0 && not1 == 0) {
2087 for (i = 0; i < n1; i++) {
2090 for (j = 0; j < n2; j++) {
2093 if (from2 > to1)
break;
2094 if (to2 < from1)
continue;
2095 from = MAX(from1, from2);
2097 r = add_code_range_to_buf(pbuf, env, from, to);
2098 if (r != 0)
return r;
2102 else if (not1 == 0) {
2103 for (i = 0; i < n1; i++) {
2106 r = and_code_range1(pbuf, env, from1, to1, data2, n2);
2107 if (r != 0)
return r;
2119 BBuf *buf1, *buf2, *pbuf = 0;
2120 BitSetRef bsr1, bsr2;
2123 not1 = IS_NCCLASS_NOT(dest);
2126 not2 = IS_NCCLASS_NOT(cc);
2131 bitset_invert_to(bsr1, bs1);
2135 bitset_invert_to(bsr2, bs2);
2138 bitset_and(bsr1, bsr2);
2139 if (bsr1 != dest->bs) {
2140 bitset_copy(dest->bs, bsr1);
2144 bitset_invert(dest->bs);
2147 if (! ONIGENC_IS_SINGLEBYTE(enc)) {
2148 if (not1 != 0 && not2 != 0) {
2149 r = or_code_range_buf(enc, buf1, 0, buf2, 0, &pbuf, env);
2152 r = and_code_range_buf(buf1, not1, buf2, not2, &pbuf, env);
2153 if (r == 0 && not1 != 0) {
2155 r = not_code_range_buf(enc, pbuf, &tbuf, env);
2177 BBuf *buf1, *buf2, *pbuf = 0;
2178 BitSetRef bsr1, bsr2;
2181 not1 = IS_NCCLASS_NOT(dest);
2184 not2 = IS_NCCLASS_NOT(cc);
2189 bitset_invert_to(bsr1, bs1);
2193 bitset_invert_to(bsr2, bs2);
2196 bitset_or(bsr1, bsr2);
2197 if (bsr1 != dest->bs) {
2198 bitset_copy(dest->bs, bsr1);
2202 bitset_invert(dest->bs);
2205 if (! ONIGENC_IS_SINGLEBYTE(enc)) {
2206 if (not1 != 0 && not2 != 0) {
2207 r = and_code_range_buf(buf1, 0, buf2, 0, &pbuf, env);
2210 r = or_code_range_buf(enc, buf1, not1, buf2, not2, &pbuf, env);
2211 if (r == 0 && not1 != 0) {
2213 r = not_code_range_buf(enc, pbuf, &tbuf, env);
2231static void UNKNOWN_ESC_WARN(
ScanEnv *env,
int c);
2234conv_backslash_value(OnigCodePoint c,
ScanEnv* env)
2236 if (IS_SYNTAX_OP(env->syntax, ONIG_SYN_OP_ESC_CONTROL_CHARS)) {
2238 case 'n':
return '\n';
2239 case 't':
return '\t';
2240 case 'r':
return '\r';
2241 case 'f':
return '\f';
2242 case 'a':
return '\007';
2243 case 'b':
return '\010';
2244 case 'e':
return '\033';
2246 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_ESC_V_VTAB))
2251 if ((
'a' <= c && c <=
'z') || (
'A' <= c && c <=
'Z'))
2252 UNKNOWN_ESC_WARN(env, c);
2259#ifdef USE_NO_INVALID_QUANTIFIER
2260# define is_invalid_quantifier_target(node) 0
2263is_invalid_quantifier_target(
Node* node)
2265 switch (NTYPE(node)) {
2277 if (! is_invalid_quantifier_target(NCAR(node)))
return 0;
2278 }
while (IS_NOT_NULL(node = NCDR(node)));
2284 if (is_invalid_quantifier_target(NCAR(node)))
return 1;
2285 }
while (IS_NOT_NULL(node = NCDR(node)));
2300 if (q->lower == 0) {
2301 if (q->upper == 1)
return 0;
2302 else if (IS_REPEAT_INFINITE(q->upper))
return 1;
2304 else if (q->lower == 1) {
2305 if (IS_REPEAT_INFINITE(q->upper))
return 2;
2309 if (q->lower == 0) {
2310 if (q->upper == 1)
return 3;
2311 else if (IS_REPEAT_INFINITE(q->upper))
return 4;
2313 else if (q->lower == 1) {
2314 if (IS_REPEAT_INFINITE(q->upper))
return 5;
2330static enum ReduceType
const ReduceTypeTable[6][6] = {
2332 {RQ_DEL, RQ_A, RQ_A, RQ_QQ, RQ_AQ, RQ_ASIS},
2333 {RQ_DEL, RQ_DEL, RQ_DEL, RQ_P_QQ, RQ_P_QQ, RQ_DEL},
2334 {RQ_A, RQ_A, RQ_DEL, RQ_ASIS, RQ_P_QQ, RQ_DEL},
2335 {RQ_DEL, RQ_AQ, RQ_AQ, RQ_DEL, RQ_AQ, RQ_AQ},
2336 {RQ_DEL, RQ_DEL, RQ_DEL, RQ_DEL, RQ_DEL, RQ_DEL},
2337 {RQ_ASIS, RQ_ASIS, RQ_ASIS, RQ_AQ, RQ_AQ, RQ_DEL}
2341onig_reduce_nested_quantifier(
Node* pnode,
Node* cnode)
2348 pnum = popular_quantifier_num(p);
2349 cnum = popular_quantifier_num(c);
2350 if (pnum < 0 || cnum < 0) return ;
2352 switch (ReduceTypeTable[cnum][pnum]) {
2357 p->target = c->target;
2358 p->lower = 0; p->upper = REPEAT_INFINITE; p->greedy = 1;
2361 p->target = c->target;
2362 p->lower = 0; p->upper = REPEAT_INFINITE; p->greedy = 0;
2365 p->target = c->target;
2366 p->lower = 0; p->upper = 1; p->greedy = 0;
2370 p->lower = 0; p->upper = 1; p->greedy = 0;
2371 c->lower = 1; c->upper = REPEAT_INFINITE; c->greedy = 1;
2380 c->target = NULL_NODE;
2381 onig_node_free(cnode);
2406 TK_EXTENDED_GRAPHEME_CLUSTER,
2411 TK_POSIX_BRACKET_OPEN,
2417 enum TokenSyms
type;
2440#ifdef USE_BACKREF_WITH_LEVEL
2460fetch_range_quantifier(UChar** src, UChar* end,
OnigToken* tok,
ScanEnv* env)
2462 int low, up, syn_allow, non_low = 0;
2469 syn_allow = IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_INVALID_INTERVAL);
2475 return ONIGERR_END_PATTERN_AT_LEFT_BRACE;
2480 if (c ==
')' || c ==
'(' || c ==
'|') {
2481 return ONIGERR_END_PATTERN_AT_LEFT_BRACE;
2485 low = onig_scan_unsigned_number(&p, end, env->enc);
2486 if (low < 0)
return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE;
2487 if (low > ONIG_MAX_REPEAT_NUM)
2488 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE;
2491 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV)) {
2500 if (PEND)
goto invalid;
2504 up = onig_scan_unsigned_number(&p, end, env->enc);
2505 if (up < 0)
return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE;
2506 if (up > ONIG_MAX_REPEAT_NUM)
2507 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE;
2512 up = REPEAT_INFINITE;
2524 if (PEND)
goto invalid;
2526 if (IS_SYNTAX_OP(env->syntax, ONIG_SYN_OP_ESC_BRACE_INTERVAL)) {
2527 if (c != MC_ESC(env->syntax))
goto invalid;
2528 if (PEND)
goto invalid;
2531 if (c !=
'}')
goto invalid;
2533 if (!IS_REPEAT_INFINITE(up) && low > up) {
2534 return ONIGERR_UPPER_SMALLER_THAN_LOWER_IN_REPEAT_RANGE;
2537 tok->type = TK_INTERVAL;
2538 tok->u.repeat.lower = low;
2539 tok->u.repeat.upper = up;
2547 return ONIGERR_INVALID_REPEAT_RANGE_PATTERN;
2552fetch_escaped_value(UChar** src, UChar* end,
ScanEnv* env, OnigCodePoint* val)
2559 if (PEND)
return ONIGERR_END_PATTERN_AT_ESCAPE;
2564 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META)) {
2565 if (PEND)
return ONIGERR_END_PATTERN_AT_META;
2567 if (c !=
'-')
return ONIGERR_META_CODE_SYNTAX;
2568 if (PEND)
return ONIGERR_END_PATTERN_AT_META;
2570 if (c == MC_ESC(env->syntax)) {
2571 v = fetch_escaped_value(&p, end, env, &c);
2572 if (v < 0)
return v;
2574 c = ((c & 0xff) | 0x80);
2581 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL)) {
2582 if (PEND)
return ONIGERR_END_PATTERN_AT_CONTROL;
2584 if (c !=
'-')
return ONIGERR_CONTROL_CODE_SYNTAX;
2591 if (IS_SYNTAX_OP(env->syntax, ONIG_SYN_OP_ESC_C_CONTROL)) {
2593 if (PEND)
return ONIGERR_END_PATTERN_AT_CONTROL;
2599 if (c == MC_ESC(env->syntax)) {
2600 v = fetch_escaped_value(&p, end, env, &c);
2601 if (v < 0)
return v;
2612 c = conv_backslash_value(c, env);
2622static int fetch_token(
OnigToken* tok, UChar** src, UChar* end,
ScanEnv* env);
2625get_name_end_code_point(OnigCodePoint start)
2628 case '<':
return (OnigCodePoint )
'>';
break;
2629 case '\'':
return (OnigCodePoint )
'\'';
break;
2630 case '(':
return (OnigCodePoint )
')';
break;
2631 case '{':
return (OnigCodePoint )
'}';
break;
2636 return (OnigCodePoint )0;
2639#ifdef USE_NAMED_GROUP
2641# define ONIGENC_IS_CODE_NAME(enc, c) TRUE
2643# define ONIGENC_IS_CODE_NAME(enc, c) ONIGENC_IS_CODE_WORD(enc, c)
2646# ifdef USE_BACKREF_WITH_LEVEL
2653fetch_name_with_level(OnigCodePoint start_code, UChar** src, UChar* end,
2654 UChar** rname_end,
ScanEnv* env,
2655 int* rback_num,
int* rlevel)
2657 int r, sign, is_num, exist_level;
2658 OnigCodePoint end_code;
2659 OnigCodePoint c = 0;
2667 is_num = exist_level = 0;
2671 end_code = get_name_end_code_point(start_code);
2676 return ONIGERR_EMPTY_GROUP_NAME;
2681 return ONIGERR_EMPTY_GROUP_NAME;
2683 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
2686 else if (c ==
'-') {
2691 else if (!ONIGENC_IS_CODE_NAME(enc, c)) {
2692 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2699 if (c == end_code || c ==
')' || c ==
'+' || c ==
'-') {
2700 if (is_num == 2) r = ONIGERR_INVALID_GROUP_NAME;
2705 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
2709 r = ONIGERR_INVALID_GROUP_NAME;
2713 else if (!ONIGENC_IS_CODE_NAME(enc, c)) {
2714 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2718 if (r == 0 && c != end_code) {
2719 if (c ==
'+' || c ==
'-') {
2721 int flag = (c ==
'-' ? -1 : 1);
2724 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2728 if (! ONIGENC_IS_CODE_DIGIT(enc, c))
goto err;
2730 level = onig_scan_unsigned_number(&p, end, enc);
2731 if (level < 0)
return ONIGERR_TOO_BIG_NUMBER;
2732 *rlevel = (level * flag);
2743 r = ONIGERR_INVALID_GROUP_NAME;
2750 *rback_num = onig_scan_unsigned_number(&pnum_head, name_end, enc);
2751 if (*rback_num < 0)
return ONIGERR_TOO_BIG_NUMBER;
2752 else if (*rback_num == 0)
goto err;
2757 *rname_end = name_end;
2759 return (exist_level ? 1 : 0);
2762 onig_scan_env_set_error_string(env, r, *src, name_end);
2773fetch_name(OnigCodePoint start_code, UChar** src, UChar* end,
2774 UChar** rname_end,
ScanEnv* env,
int* rback_num,
int ref)
2776 int r, is_num, sign;
2777 OnigCodePoint end_code;
2778 OnigCodePoint c = 0;
2786 end_code = get_name_end_code_point(start_code);
2794 return ONIGERR_EMPTY_GROUP_NAME;
2799 return ONIGERR_EMPTY_GROUP_NAME;
2801 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
2805 r = ONIGERR_INVALID_GROUP_NAME;
2809 else if (c ==
'-') {
2816 r = ONIGERR_INVALID_GROUP_NAME;
2820 else if (!ONIGENC_IS_CODE_NAME(enc, c)) {
2821 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2829 if (c == end_code || c ==
')') {
2831 r = ONIGERR_INVALID_GROUP_NAME;
2838 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
2842 if (!ONIGENC_IS_CODE_WORD(enc, c))
2843 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2845 r = ONIGERR_INVALID_GROUP_NAME;
2850 if (!ONIGENC_IS_CODE_NAME(enc, c)) {
2851 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2857 if (c != end_code) {
2858 r = ONIGERR_INVALID_GROUP_NAME;
2864 *rback_num = onig_scan_unsigned_number(&pnum_head, name_end, enc);
2865 if (*rback_num < 0)
return ONIGERR_TOO_BIG_NUMBER;
2866 else if (*rback_num == 0) {
2867 r = ONIGERR_INVALID_GROUP_NAME;
2874 *rname_end = name_end;
2883 if (c == end_code || c ==
')')
2890 onig_scan_env_set_error_string(env, r, *src, name_end);
2896fetch_name(OnigCodePoint start_code, UChar** src, UChar* end,
2897 UChar** rname_end,
ScanEnv* env,
int* rback_num,
int ref)
2899 int r, is_num, sign;
2900 OnigCodePoint end_code;
2901 OnigCodePoint c = 0;
2910 end_code = get_name_end_code_point(start_code);
2912 *rname_end = name_end = end;
2919 return ONIGERR_EMPTY_GROUP_NAME;
2924 return ONIGERR_EMPTY_GROUP_NAME;
2926 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
2929 else if (c ==
'-') {
2935 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2943 if (c == end_code || c ==
')')
break;
2944 if (! ONIGENC_IS_CODE_DIGIT(enc, c))
2945 r = ONIGERR_INVALID_CHAR_IN_GROUP_NAME;
2947 if (r == 0 && c != end_code) {
2948 r = ONIGERR_INVALID_GROUP_NAME;
2953 *rback_num = onig_scan_unsigned_number(&pnum_head, name_end, enc);
2954 if (*rback_num < 0)
return ONIGERR_TOO_BIG_NUMBER;
2955 else if (*rback_num == 0) {
2956 r = ONIGERR_INVALID_GROUP_NAME;
2961 *rname_end = name_end;
2967 onig_scan_env_set_error_string(env, r, *src, name_end);
2975PRINTF_ARGS(
static void onig_syntax_warn(
ScanEnv *env,
const char *fmt, ...), 2, 3);
2979onig_syntax_warn(
ScanEnv *env,
const char *fmt, ...)
2982 UChar buf[WARN_BUFSIZE];
2983 va_start(args, fmt);
2984 onig_vsnprintf_with_pattern(buf, WARN_BUFSIZE, env->enc,
2985 env->pattern, env->pattern_end,
2989 if (env->sourcefile == NULL)
2992 rb_compile_warn(env->sourcefile, env->sourceline,
"%s", (
char *)buf);
2994 (*onig_warn)((
char* )buf);
2999CC_ESC_WARN(
ScanEnv *env, UChar *c)
3001 if (onig_warn == onig_null_warn) return ;
3003 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED) &&
3004 IS_SYNTAX_BV(env->syntax, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC)) {
3005 onig_syntax_warn(env,
"character class has '%s' without escape", c);
3010CLOSE_BRACKET_WITHOUT_ESC_WARN(
ScanEnv* env, UChar* c)
3012 if (onig_warn == onig_null_warn) return ;
3014 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED)) {
3015 onig_syntax_warn(env,
"regular expression has '%s' without escape", c);
3024CC_DUP_WARN(
ScanEnv *env, OnigCodePoint from ARG_UNUSED, OnigCodePoint to ARG_UNUSED)
3028 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_WARN_CC_DUP) &&
3029 !(env->warnings_flag & ONIG_SYN_WARN_CC_DUP)) {
3030#ifdef WARN_ALL_CC_DUP
3031 onig_syntax_warn(env,
"character class has duplicated range: %04x-%04x", from, to);
3033 env->warnings_flag |= ONIG_SYN_WARN_CC_DUP;
3034 onig_syntax_warn(env,
"character class has duplicated range");
3040UNKNOWN_ESC_WARN(
ScanEnv *env,
int c)
3043 onig_syntax_warn(env,
"Unknown escape \\%c is ignored", c);
3047find_str_position(OnigCodePoint s[],
int n, UChar* from, UChar* to,
3056 x = ONIGENC_MBC_TO_CODE(enc, p, to);
3057 q = p + enclen(enc, p, to);
3059 for (i = 1; i < n && q < to; i++) {
3060 x = ONIGENC_MBC_TO_CODE(enc, q, to);
3061 if (x != s[i])
break;
3062 q += enclen(enc, q, to);
3065 if (IS_NOT_NULL(next))
3076str_exist_check_with_esc(OnigCodePoint s[],
int n, UChar* from, UChar* to,
3088 p += enclen(enc, p, to);
3091 x = ONIGENC_MBC_TO_CODE(enc, p, to);
3092 q = p + enclen(enc, p, to);
3094 for (i = 1; i < n && q < to; i++) {
3095 x = ONIGENC_MBC_TO_CODE(enc, q, to);
3096 if (x != s[i])
break;
3097 q += enclen(enc, q, to);
3099 if (i >= n)
return 1;
3100 p += enclen(enc, p, to);
3103 x = ONIGENC_MBC_TO_CODE(enc, p, to);
3104 if (x == bad)
return 0;
3105 else if (x == MC_ESC(syn)) in_esc = 1;
3117 OnigCodePoint c, c2;
3130 tok->type = TK_CHAR;
3136 tok->type = TK_CC_CLOSE;
3138 else if (c ==
'-') {
3139 tok->type = TK_CC_RANGE;
3141 else if (c == MC_ESC(syn)) {
3142 if (! IS_SYNTAX_BV(syn, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC))
3145 if (PEND)
return ONIGERR_END_PATTERN_AT_ESCAPE;
3152 tok->type = TK_CHAR_TYPE;
3153 tok->u.prop.ctype = ONIGENC_CTYPE_WORD;
3154 tok->u.prop.not = 0;
3157 tok->type = TK_CHAR_TYPE;
3158 tok->u.prop.ctype = ONIGENC_CTYPE_WORD;
3159 tok->u.prop.not = 1;
3162 tok->type = TK_CHAR_TYPE;
3163 tok->u.prop.ctype = ONIGENC_CTYPE_DIGIT;
3164 tok->u.prop.not = 0;
3167 tok->type = TK_CHAR_TYPE;
3168 tok->u.prop.ctype = ONIGENC_CTYPE_DIGIT;
3169 tok->u.prop.not = 1;
3172 tok->type = TK_CHAR_TYPE;
3173 tok->u.prop.ctype = ONIGENC_CTYPE_SPACE;
3174 tok->u.prop.not = 0;
3177 tok->type = TK_CHAR_TYPE;
3178 tok->u.prop.ctype = ONIGENC_CTYPE_SPACE;
3179 tok->u.prop.not = 1;
3182 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_H_XDIGIT))
break;
3183 tok->type = TK_CHAR_TYPE;
3184 tok->u.prop.ctype = ONIGENC_CTYPE_XDIGIT;
3185 tok->u.prop.not = 0;
3188 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_H_XDIGIT))
break;
3189 tok->type = TK_CHAR_TYPE;
3190 tok->u.prop.ctype = ONIGENC_CTYPE_XDIGIT;
3191 tok->u.prop.not = 1;
3200 IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY)) {
3202 tok->type = TK_CHAR_PROPERTY;
3203 tok->u.prop.not = (c ==
'P' ? 1 : 0);
3205 if (!PEND && IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT)) {
3208 tok->u.prop.not = (tok->u.prop.not == 0 ? 1 : 0);
3215 onig_syntax_warn(env,
"invalid Unicode Property \\%c", c);
3223 if (PPEEK_IS(
'{') && IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_X_BRACE_HEX8)) {
3225 num = scan_unsigned_hexadecimal_number(&p, end, 0, 8, enc);
3226 if (num < 0)
return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE;
3229 if (ONIGENC_IS_CODE_XDIGIT(enc, c2))
3230 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE;
3233 if (p > prev + enclen(enc, prev, end) && !PEND && (PPEEK_IS(
'}'))) {
3235 tok->type = TK_CODE_POINT;
3237 tok->u.code = (OnigCodePoint )num;
3244 else if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_X_HEX2)) {
3245 num = scan_unsigned_hexadecimal_number(&p, end, 0, 2, enc);
3246 if (num < 0)
return ONIGERR_TOO_BIG_NUMBER;
3250 tok->type = TK_RAW_BYTE;
3260 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_U_HEX4)) {
3261 num = scan_unsigned_hexadecimal_number(&p, end, 4, 4, enc);
3262 if (num < -1)
return ONIGERR_TOO_SHORT_DIGITS;
3263 else if (num < 0)
return ONIGERR_TOO_BIG_NUMBER;
3267 tok->type = TK_CODE_POINT;
3269 tok->u.code = (OnigCodePoint )num;
3277 if (PPEEK_IS(
'{') && IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_O_BRACE_OCTAL)) {
3279 num = scan_unsigned_octal_number(&p, end, 11, enc);
3280 if (num < 0)
return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE;
3283 if (ONIGENC_IS_CODE_DIGIT(enc, c2) && c2 <
'8')
3284 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE;
3287 if (p > prev + enclen(enc, prev, end) && !PEND && (PPEEK_IS(
'}'))) {
3289 tok->type = TK_CODE_POINT;
3291 tok->u.code = (OnigCodePoint )num;
3301 case '1':
case '2':
case '3':
case '4':
case '5':
case '6':
case '7':
3302 if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_OCTAL3)) {
3305 num = scan_unsigned_octal_number(&p, end, 3, enc);
3306 if (num < 0 || 0xff < num)
return ONIGERR_TOO_BIG_NUMBER;
3310 tok->type = TK_RAW_BYTE;
3318 num = fetch_escaped_value(&p, end, env, &c2);
3319 if (num < 0)
return num;
3320 if ((OnigCodePoint )tok->u.c != c2) {
3321 tok->u.code = (OnigCodePoint )c2;
3322 tok->type = TK_CODE_POINT;
3327 else if (c ==
'[') {
3328 if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_POSIX_BRACKET) && (PPEEK_IS(
':'))) {
3329 OnigCodePoint send[] = { (OnigCodePoint )
':', (OnigCodePoint )
']' };
3332 if (str_exist_check_with_esc(send, 2, p, end,
3333 (OnigCodePoint )
']', enc, syn)) {
3334 tok->type = TK_POSIX_BRACKET_OPEN;
3343 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_CCLASS_SET_OP)) {
3344 tok->type = TK_CC_CC_OPEN;
3347 CC_ESC_WARN(env, (UChar* )
"[");
3351 else if (c ==
'&') {
3352 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_CCLASS_SET_OP) &&
3353 !PEND && (PPEEK_IS(
'&'))) {
3355 tok->type = TK_CC_AND;
3364#ifdef USE_NAMED_GROUP
3366fetch_named_backref_token(OnigCodePoint c,
OnigToken* tok, UChar** src,
3379# ifdef USE_BACKREF_WITH_LEVEL
3380 name_end = NULL_UCHARP;
3381 r = fetch_name_with_level(c, &p, end, &name_end,
3382 env, &back_num, &tok->u.backref.level);
3383 if (r == 1) tok->u.backref.exist_level = 1;
3384 else tok->u.backref.exist_level = 0;
3386 r = fetch_name(&p, end, &name_end, env, &back_num, 1);
3388 if (r < 0)
return r;
3390 if (back_num != 0) {
3392 back_num = BACKREF_REL_TO_ABS(back_num, env);
3394 return ONIGERR_INVALID_BACKREF;
3397 if (IS_SYNTAX_BV(syn, ONIG_SYN_STRICT_CHECK_BACKREF)) {
3398 if (back_num > env->num_mem ||
3399 IS_NULL(SCANENV_MEM_NODES(env)[back_num]))
3400 return ONIGERR_INVALID_BACKREF;
3402 tok->type = TK_BACKREF;
3403 tok->u.backref.by_name = 0;
3404 tok->u.backref.num = 1;
3405 tok->u.backref.ref1 = back_num;
3408 num = onig_name_to_group_numbers(env->reg, prev, name_end, &backs);
3410 onig_scan_env_set_error_string(env,
3411 ONIGERR_UNDEFINED_NAME_REFERENCE, prev, name_end);
3412 return ONIGERR_UNDEFINED_NAME_REFERENCE;
3414 if (IS_SYNTAX_BV(syn, ONIG_SYN_STRICT_CHECK_BACKREF)) {
3416 for (i = 0; i < num; i++) {
3417 if (backs[i] > env->num_mem ||
3418 IS_NULL(SCANENV_MEM_NODES(env)[backs[i]]))
3419 return ONIGERR_INVALID_BACKREF;
3423 tok->type = TK_BACKREF;
3424 tok->u.backref.by_name = 1;
3425 if (num == 1 || IS_SYNTAX_BV(syn, ONIG_SYN_USE_LEFT_MOST_NAMED_GROUP)) {
3426 tok->u.backref.num = 1;
3427 tok->u.backref.ref1 = backs[0];
3430 tok->u.backref.num = num;
3431 tok->u.backref.refs = backs;
3456 tok->type = TK_STRING;
3461 if (IS_MC_ESC_CODE(c, syn)) {
3462 if (PEND)
return ONIGERR_END_PATTERN_AT_ESCAPE;
3471 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_ASTERISK_ZERO_INF))
break;
3472 tok->type = TK_OP_REPEAT;
3473 tok->u.repeat.lower = 0;
3474 tok->u.repeat.upper = REPEAT_INFINITE;
3479 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_PLUS_ONE_INF))
break;
3480 tok->type = TK_OP_REPEAT;
3481 tok->u.repeat.lower = 1;
3482 tok->u.repeat.upper = REPEAT_INFINITE;
3487 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_QMARK_ZERO_ONE))
break;
3488 tok->type = TK_OP_REPEAT;
3489 tok->u.repeat.lower = 0;
3490 tok->u.repeat.upper = 1;
3492 if (!PEND && PPEEK_IS(
'?') &&
3493 IS_SYNTAX_OP(syn, ONIG_SYN_OP_QMARK_NON_GREEDY)) {
3495 tok->u.repeat.greedy = 0;
3496 tok->u.repeat.possessive = 0;
3500 if (!PEND && PPEEK_IS(
'+') &&
3501 ((IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT) &&
3502 tok->type != TK_INTERVAL) ||
3503 (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_PLUS_POSSESSIVE_INTERVAL) &&
3504 tok->type == TK_INTERVAL))) {
3506 tok->u.repeat.greedy = 1;
3507 tok->u.repeat.possessive = 1;
3510 tok->u.repeat.greedy = 1;
3511 tok->u.repeat.possessive = 0;
3517 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_BRACE_INTERVAL))
break;
3518 r = fetch_range_quantifier(&p, end, tok, env);
3519 if (r < 0)
return r;
3520 if (r == 0)
goto greedy_check;
3522 if (IS_SYNTAX_BV(syn, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY))
3523 goto possessive_check;
3531 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_VBAR_ALT))
break;
3536 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_LPAREN_SUBEXP))
break;
3537 tok->type = TK_SUBEXP_OPEN;
3541 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_LPAREN_SUBEXP))
break;
3542 tok->type = TK_SUBEXP_CLOSE;
3546 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_W_WORD))
break;
3547 tok->type = TK_CHAR_TYPE;
3548 tok->u.prop.ctype = ONIGENC_CTYPE_WORD;
3549 tok->u.prop.not = 0;
3553 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_W_WORD))
break;
3554 tok->type = TK_CHAR_TYPE;
3555 tok->u.prop.ctype = ONIGENC_CTYPE_WORD;
3556 tok->u.prop.not = 1;
3560 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_B_WORD_BOUND))
break;
3561 tok->type = TK_ANCHOR;
3562 tok->u.anchor.subtype = ANCHOR_WORD_BOUND;
3563 tok->u.anchor.ascii_range = IS_ASCII_RANGE(env->option)
3564 && ! IS_WORD_BOUND_ALL_RANGE(env->option);
3568 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_B_WORD_BOUND))
break;
3569 tok->type = TK_ANCHOR;
3570 tok->u.anchor.subtype = ANCHOR_NOT_WORD_BOUND;
3571 tok->u.anchor.ascii_range = IS_ASCII_RANGE(env->option)
3572 && ! IS_WORD_BOUND_ALL_RANGE(env->option);
3575#ifdef USE_WORD_BEGIN_END
3577 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END))
break;
3578 tok->type = TK_ANCHOR;
3579 tok->u.anchor.subtype = ANCHOR_WORD_BEGIN;
3580 tok->u.anchor.ascii_range = IS_ASCII_RANGE(env->option);
3584 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END))
break;
3585 tok->type = TK_ANCHOR;
3586 tok->u.anchor.subtype = ANCHOR_WORD_END;
3587 tok->u.anchor.ascii_range = IS_ASCII_RANGE(env->option);
3592 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_S_WHITE_SPACE))
break;
3593 tok->type = TK_CHAR_TYPE;
3594 tok->u.prop.ctype = ONIGENC_CTYPE_SPACE;
3595 tok->u.prop.not = 0;
3599 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_S_WHITE_SPACE))
break;
3600 tok->type = TK_CHAR_TYPE;
3601 tok->u.prop.ctype = ONIGENC_CTYPE_SPACE;
3602 tok->u.prop.not = 1;
3606 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_D_DIGIT))
break;
3607 tok->type = TK_CHAR_TYPE;
3608 tok->u.prop.ctype = ONIGENC_CTYPE_DIGIT;
3609 tok->u.prop.not = 0;
3613 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_D_DIGIT))
break;
3614 tok->type = TK_CHAR_TYPE;
3615 tok->u.prop.ctype = ONIGENC_CTYPE_DIGIT;
3616 tok->u.prop.not = 1;
3620 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_H_XDIGIT))
break;
3621 tok->type = TK_CHAR_TYPE;
3622 tok->u.prop.ctype = ONIGENC_CTYPE_XDIGIT;
3623 tok->u.prop.not = 0;
3627 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_H_XDIGIT))
break;
3628 tok->type = TK_CHAR_TYPE;
3629 tok->u.prop.ctype = ONIGENC_CTYPE_XDIGIT;
3630 tok->u.prop.not = 1;
3634 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR))
break;
3636 tok->type = TK_ANCHOR;
3637 tok->u.anchor.subtype = ANCHOR_BEGIN_BUF;
3641 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR))
break;
3642 tok->type = TK_ANCHOR;
3643 tok->u.anchor.subtype = ANCHOR_SEMI_END_BUF;
3647 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR))
break;
3649 tok->type = TK_ANCHOR;
3650 tok->u.anchor.subtype = ANCHOR_END_BUF;
3654 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_CAPITAL_G_BEGIN_ANCHOR))
break;
3655 tok->type = TK_ANCHOR;
3656 tok->u.anchor.subtype = ANCHOR_BEGIN_POSITION;
3660 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR))
break;
3665 if (! IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR))
break;
3673 if (PPEEK_IS(
'{') && IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_X_BRACE_HEX8)) {
3675 num = scan_unsigned_hexadecimal_number(&p, end, 0, 8, enc);
3676 if (num < 0)
return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE;
3678 if (ONIGENC_IS_CODE_XDIGIT(enc, PPEEK))
3679 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE;
3682 if ((p > prev + enclen(enc, prev, end)) && !PEND && PPEEK_IS(
'}')) {
3684 tok->type = TK_CODE_POINT;
3685 tok->u.code = (OnigCodePoint )num;
3692 else if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_X_HEX2)) {
3693 num = scan_unsigned_hexadecimal_number(&p, end, 0, 2, enc);
3694 if (num < 0)
return ONIGERR_TOO_BIG_NUMBER;
3698 tok->type = TK_RAW_BYTE;
3708 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_U_HEX4)) {
3709 num = scan_unsigned_hexadecimal_number(&p, end, 4, 4, enc);
3710 if (num < -1)
return ONIGERR_TOO_SHORT_DIGITS;
3711 else if (num < 0)
return ONIGERR_TOO_BIG_NUMBER;
3715 tok->type = TK_CODE_POINT;
3717 tok->u.code = (OnigCodePoint )num;
3725 if (PPEEK_IS(
'{') && IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_O_BRACE_OCTAL)) {
3727 num = scan_unsigned_octal_number(&p, end, 11, enc);
3728 if (num < 0)
return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE;
3730 OnigCodePoint c = PPEEK;
3731 if (ONIGENC_IS_CODE_DIGIT(enc, c) && c <
'8')
3732 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE;
3735 if ((p > prev + enclen(enc, prev, end)) && !PEND && PPEEK_IS(
'}')) {
3737 tok->type = TK_CODE_POINT;
3738 tok->u.code = (OnigCodePoint )num;
3747 case '1':
case '2':
case '3':
case '4':
3748 case '5':
case '6':
case '7':
case '8':
case '9':
3751 num = onig_scan_unsigned_number(&p, end, enc);
3752 if (num < 0 || num > ONIG_MAX_BACKREF_NUM) {
3756 if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_DECIMAL_BACKREF) &&
3757 (num <= env->num_mem || num <= 9)) {
3758 if (IS_SYNTAX_BV(syn, ONIG_SYN_STRICT_CHECK_BACKREF)) {
3759 if (num > env->num_mem || IS_NULL(SCANENV_MEM_NODES(env)[num]))
3760 return ONIGERR_INVALID_BACKREF;
3763 tok->type = TK_BACKREF;
3764 tok->u.backref.num = 1;
3765 tok->u.backref.ref1 = num;
3766 tok->u.backref.by_name = 0;
3767#ifdef USE_BACKREF_WITH_LEVEL
3768 tok->u.backref.exist_level = 0;
3774 if (c ==
'8' || c ==
'9') {
3783 if (IS_SYNTAX_OP(syn, ONIG_SYN_OP_ESC_OCTAL3)) {
3785 num = scan_unsigned_octal_number(&p, end, (c ==
'0' ? 2:3), enc);
3786 if (num < 0 || 0xff < num)
return ONIGERR_TOO_BIG_NUMBER;
3790 tok->type = TK_RAW_BYTE;
3794 else if (c !=
'0') {
3799#ifdef USE_NAMED_GROUP
3801 if (!PEND && IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_K_NAMED_BACKREF)) {
3803 if (c ==
'<' || c ==
'\'') {
3804 r = fetch_named_backref_token(c, tok, &p, end, env);
3805 if (r < 0)
return r;
3809 onig_syntax_warn(env,
"invalid back reference");
3815#if defined(USE_SUBEXP_CALL) || defined(USE_NAMED_GROUP)
3817# ifdef USE_NAMED_GROUP
3818 if (!PEND && IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_G_BRACE_BACKREF)) {
3821 r = fetch_named_backref_token(c, tok, &p, end, env);
3822 if (r < 0)
return r;
3828# ifdef USE_SUBEXP_CALL
3829 if (!PEND && IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_G_SUBEXP_CALL)) {
3831 if (c ==
'<' || c ==
'\'') {
3832 int gnum = -1, rel = 0;
3834 OnigCodePoint cnext;
3839 if (PPEEK_IS(get_name_end_code_point(c))) {
3845 else if (cnext ==
'+') {
3851 r = fetch_name((OnigCodePoint )c, &p, end, &name_end, env, &gnum, 1);
3852 if (r < 0)
return r;
3855 tok->type = TK_CALL;
3856 tok->u.call.name = prev;
3857 tok->u.call.name_end = name_end;
3858 tok->u.call.gnum = gnum;
3859 tok->u.call.rel = rel;
3862 onig_syntax_warn(env,
"invalid subexp call");
3871 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_CAPITAL_Q_QUOTE)) {
3872 tok->type = TK_QUOTE_OPEN;
3878 if (PPEEK_IS(
'{') &&
3879 IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY)) {
3881 tok->type = TK_CHAR_PROPERTY;
3882 tok->u.prop.not = (c ==
'P' ? 1 : 0);
3884 if (!PEND && IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT)) {
3887 tok->u.prop.not = (tok->u.prop.not == 0 ? 1 : 0);
3894 onig_syntax_warn(env,
"invalid Unicode Property \\%c", c);
3899 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_CAPITAL_R_LINEBREAK)) {
3900 tok->type = TK_LINEBREAK;
3905 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_CAPITAL_X_EXTENDED_GRAPHEME_CLUSTER)) {
3906 tok->type = TK_EXTENDED_GRAPHEME_CLUSTER;
3911 if (IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP)) {
3912 tok->type = TK_KEEP;
3921 num = fetch_escaped_value(&p, end, env, &c2);
3922 if (num < 0)
return num;
3924 if ((OnigCodePoint )tok->u.c != c2) {
3925 tok->type = TK_CODE_POINT;
3926 tok->u.code = (OnigCodePoint )c2;
3929 p = tok->backp + enclen(enc, tok->backp, end);
3939#ifdef USE_VARIABLE_META_CHARS
3940 if ((c != ONIG_INEFFECTIVE_META_CHAR) &&
3941 IS_SYNTAX_OP(syn, ONIG_SYN_OP_VARIABLE_META_CHARACTERS)) {
3942 if (c == MC_ANYCHAR(syn))
3944 else if (c == MC_ANYTIME(syn))
3946 else if (c == MC_ZERO_OR_ONE_TIME(syn))
3947 goto zero_or_one_time;
3948 else if (c == MC_ONE_OR_MORE_TIME(syn))
3949 goto one_or_more_time;
3950 else if (c == MC_ANYCHAR_ANYTIME(syn)) {
3951 tok->type = TK_ANYCHAR_ANYTIME;
3959 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_DOT_ANYCHAR))
break;
3960#ifdef USE_VARIABLE_META_CHARS
3963 tok->type = TK_ANYCHAR;
3967 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_ASTERISK_ZERO_INF))
break;
3968#ifdef USE_VARIABLE_META_CHARS
3971 tok->type = TK_OP_REPEAT;
3972 tok->u.repeat.lower = 0;
3973 tok->u.repeat.upper = REPEAT_INFINITE;
3978 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_PLUS_ONE_INF))
break;
3979#ifdef USE_VARIABLE_META_CHARS
3982 tok->type = TK_OP_REPEAT;
3983 tok->u.repeat.lower = 1;
3984 tok->u.repeat.upper = REPEAT_INFINITE;
3989 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_QMARK_ZERO_ONE))
break;
3990#ifdef USE_VARIABLE_META_CHARS
3993 tok->type = TK_OP_REPEAT;
3994 tok->u.repeat.lower = 0;
3995 tok->u.repeat.upper = 1;
4000 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_BRACE_INTERVAL))
break;
4001 r = fetch_range_quantifier(&p, end, tok, env);
4002 if (r < 0)
return r;
4003 if (r == 0)
goto greedy_check;
4005 if (IS_SYNTAX_BV(syn, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY))
4006 goto possessive_check;
4014 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_VBAR_ALT))
break;
4019 if (PPEEK_IS(
'?') &&
4020 IS_SYNTAX_OP2(syn, ONIG_SYN_OP2_QMARK_GROUP_EFFECT)) {
4022 if (PPEEK_IS(
'#')) {
4025 if (PEND)
return ONIGERR_END_PATTERN_IN_GROUP;
4027 if (c == MC_ESC(syn)) {
4028 if (!PEND) PFETCH(c);
4031 if (c ==
')')
break;
4036#ifdef USE_PERL_SUBEXP_CALL
4039 if ((c ==
'&' || c ==
'R' || ONIGENC_IS_CODE_DIGIT(enc, c)) &&
4040 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_SUBEXP_CALL)) {
4046 if (c ==
'R' || c ==
'0') {
4048 if (!PPEEK_IS(
')'))
return ONIGERR_INVALID_GROUP_NAME;
4050 name_end = name = p;
4060 r = fetch_name((OnigCodePoint )
'(', &p, end, &name_end, env, &gnum, numref);
4061 if (r < 0)
return r;
4064 tok->type = TK_CALL;
4065 tok->u.call.name = name;
4066 tok->u.call.name_end = name_end;
4067 tok->u.call.gnum = gnum;
4068 tok->u.call.rel = 0;
4071 else if ((c ==
'-' || c ==
'+') &&
4072 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_SUBEXP_CALL)) {
4077 OnigCodePoint cnext;
4082 if (ONIGENC_IS_CODE_DIGIT(enc, cnext)) {
4083 if (c ==
'-') PUNFETCH;
4085 r = fetch_name((OnigCodePoint )
'(', &p, end, &name_end, env, &gnum, 1);
4086 if (r < 0)
return r;
4088 tok->type = TK_CALL;
4089 tok->u.call.name = name;
4090 tok->u.call.name_end = name_end;
4091 tok->u.call.gnum = gnum;
4092 tok->u.call.rel = 1;
4097#ifdef USE_CAPITAL_P_NAMED_GROUP
4098 if (PPEEK_IS(
'P') &&
4099 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_CAPITAL_P_NAMED_GROUP)) {
4106 if (PEND)
return ONIGERR_UNDEFINED_GROUP_OPTION;
4109 r = fetch_named_backref_token((OnigCodePoint )
'(', tok, &p, end, env);
4110 if (r < 0)
return r;
4113 else if (c ==
'>') {
4115 r = fetch_name((OnigCodePoint )
'(', &p, end, &name_end, env, &gnum, 0);
4116 if (r < 0)
return r;
4118 tok->type = TK_CALL;
4119 tok->u.call.name = name;
4120 tok->u.call.name_end = name_end;
4121 tok->u.call.gnum = gnum;
4122 tok->u.call.rel = 0;
4130 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_LPAREN_SUBEXP))
break;
4131 tok->type = TK_SUBEXP_OPEN;
4135 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_LPAREN_SUBEXP))
break;
4136 tok->type = TK_SUBEXP_CLOSE;
4140 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_LINE_ANCHOR))
break;
4141 tok->type = TK_ANCHOR;
4142 tok->u.anchor.subtype = (IS_SINGLELINE(env->option)
4143 ? ANCHOR_BEGIN_BUF : ANCHOR_BEGIN_LINE);
4147 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_LINE_ANCHOR))
break;
4148 tok->type = TK_ANCHOR;
4149 tok->u.anchor.subtype = (IS_SINGLELINE(env->option)
4150 ? ANCHOR_SEMI_END_BUF : ANCHOR_END_LINE);
4154 if (! IS_SYNTAX_OP(syn, ONIG_SYN_OP_BRACKET_CC))
break;
4155 tok->type = TK_CC_OPEN;
4159 if (*src > env->pattern)
4160 CLOSE_BRACKET_WITHOUT_ESC_WARN(env, (UChar* )
"]");
4164 if (IS_EXTEND(env->option)) {
4167 if (ONIGENC_IS_CODE_NEWLINE(enc, c))
4175 case ' ':
case '\t':
case '\n':
case '\r':
case '\f':
4176 if (IS_EXTEND(env->option))
4186#ifdef USE_VARIABLE_META_CHARS
4194add_ctype_to_cc_by_range(
CClassNode* cc,
int ctype ARG_UNUSED,
int not,
4196 OnigCodePoint sb_out,
const OnigCodePoint mbr[])
4201 int n = ONIGENC_CODE_RANGE_NUM(mbr);
4204 for (i = 0; i < n; i++) {
4205 for (j = ONIGENC_CODE_RANGE_FROM(mbr, i);
4206 j <= ONIGENC_CODE_RANGE_TO(mbr, i); j++) {
4208 if (j > ONIGENC_CODE_RANGE_FROM(mbr, i)) {
4209 r = add_code_range_to_buf(&(cc->mbuf), env, j,
4210 ONIGENC_CODE_RANGE_TO(mbr, i));
4211 if (r != 0)
return r;
4217 BITSET_SET_BIT_CHKDUP(cc->bs, j);
4222 for ( ; i < n; i++) {
4223 r = add_code_range_to_buf(&(cc->mbuf), env,
4224 ONIGENC_CODE_RANGE_FROM(mbr, i),
4225 ONIGENC_CODE_RANGE_TO(mbr, i));
4226 if (r != 0)
return r;
4230 OnigCodePoint prev = 0;
4232 for (i = 0; i < n; i++) {
4234 j < ONIGENC_CODE_RANGE_FROM(mbr, i); j++) {
4238 BITSET_SET_BIT_CHKDUP(cc->bs, j);
4240 prev = ONIGENC_CODE_RANGE_TO(mbr, i) + 1;
4242 for (j = prev; j < sb_out; j++) {
4243 BITSET_SET_BIT_CHKDUP(cc->bs, j);
4249 for (i = 0; i < n; i++) {
4250 if (prev < ONIGENC_CODE_RANGE_FROM(mbr, i)) {
4251 r = add_code_range_to_buf(&(cc->mbuf), env, prev,
4252 ONIGENC_CODE_RANGE_FROM(mbr, i) - 1);
4253 if (r != 0)
return r;
4255 prev = ONIGENC_CODE_RANGE_TO(mbr, i) + 1;
4257 if (prev < 0x7fffffff) {
4258 r = add_code_range_to_buf(&(cc->mbuf), env, prev, 0x7fffffff);
4259 if (r != 0)
return r;
4267add_ctype_to_cc(
CClassNode* cc,
int ctype,
int not,
int ascii_range,
ScanEnv* env)
4271 const OnigCodePoint *ranges;
4272 OnigCodePoint sb_out;
4275 r = ONIGENC_GET_CTYPE_CODE_RANGE(enc, ctype, &sb_out, &ranges);
4279 initialize_cclass(&ccwork);
4280 r = add_ctype_to_cc_by_range(&ccwork, ctype, not, env, sb_out,
4284 r = add_code_range_to_buf0(&(ccwork.mbuf), env, 0x80, ONIG_LAST_CODE_POINT, FALSE);
4288 initialize_cclass(&ccascii);
4289 if (ONIGENC_MBC_MINLEN(env->enc) > 1) {
4290 r = add_code_range(&(ccascii.mbuf), env, 0x00, 0x7F);
4293 bitset_set_range(env, ccascii.bs, 0x00, 0x7F);
4297 r = and_cclass(&ccwork, &ccascii, env);
4299 if (IS_NOT_NULL(ccascii.mbuf)) bbuf_free(ccascii.mbuf);
4302 r = or_cclass(cc, &ccwork, env);
4304 if (IS_NOT_NULL(ccwork.mbuf)) bbuf_free(ccwork.mbuf);
4308 r = add_ctype_to_cc_by_range(cc, ctype, not, env, sb_out, ranges);
4312 else if (r != ONIG_NO_SUPPORT_CONFIG) {
4316 maxcode = ascii_range ? 0x80 : SINGLE_BYTE_SIZE;
4319 case ONIGENC_CTYPE_ALPHA:
4320 case ONIGENC_CTYPE_BLANK:
4321 case ONIGENC_CTYPE_CNTRL:
4322 case ONIGENC_CTYPE_DIGIT:
4323 case ONIGENC_CTYPE_LOWER:
4324 case ONIGENC_CTYPE_PUNCT:
4325 case ONIGENC_CTYPE_SPACE:
4326 case ONIGENC_CTYPE_UPPER:
4327 case ONIGENC_CTYPE_XDIGIT:
4328 case ONIGENC_CTYPE_ASCII:
4329 case ONIGENC_CTYPE_ALNUM:
4331 for (c = 0; c < SINGLE_BYTE_SIZE; c++) {
4332 if (! ONIGENC_IS_CODE_CTYPE(enc, (OnigCodePoint )c, ctype))
4333 BITSET_SET_BIT_CHKDUP(cc->bs, c);
4335 ADD_ALL_MULTI_BYTE_RANGE(enc, cc->mbuf);
4338 for (c = 0; c < SINGLE_BYTE_SIZE; c++) {
4339 if (ONIGENC_IS_CODE_CTYPE(enc, (OnigCodePoint )c, ctype))
4340 BITSET_SET_BIT_CHKDUP(cc->bs, c);
4345 case ONIGENC_CTYPE_GRAPH:
4346 case ONIGENC_CTYPE_PRINT:
4348 for (c = 0; c < SINGLE_BYTE_SIZE; c++) {
4349 if (! ONIGENC_IS_CODE_CTYPE(enc, (OnigCodePoint )c, ctype)
4351 BITSET_SET_BIT_CHKDUP(cc->bs, c);
4354 ADD_ALL_MULTI_BYTE_RANGE(enc, cc->mbuf);
4357 for (c = 0; c < maxcode; c++) {
4358 if (ONIGENC_IS_CODE_CTYPE(enc, (OnigCodePoint )c, ctype))
4359 BITSET_SET_BIT_CHKDUP(cc->bs, c);
4362 ADD_ALL_MULTI_BYTE_RANGE(enc, cc->mbuf);
4366 case ONIGENC_CTYPE_WORD:
4368 for (c = 0; c < maxcode; c++) {
4369 if (ONIGENC_IS_CODE_WORD(enc, c)) BITSET_SET_BIT_CHKDUP(cc->bs, c);
4372 ADD_ALL_MULTI_BYTE_RANGE(enc, cc->mbuf);
4375 for (c = 0; c < SINGLE_BYTE_SIZE; c++) {
4376 if ((ONIGENC_CODE_TO_MBCLEN(enc, c) > 0)
4377 && (! ONIGENC_IS_CODE_WORD(enc, c) || c >= maxcode))
4378 BITSET_SET_BIT_CHKDUP(cc->bs, c);
4381 ADD_ALL_MULTI_BYTE_RANGE(enc, cc->mbuf);
4386 return ONIGERR_PARSER_BUG;
4395 UChar** src, UChar* end,
ScanEnv* env)
4397#define POSIX_BRACKET_CHECK_LIMIT_LENGTH 20
4398#define POSIX_BRACKET_NAME_MIN_LEN 4
4401 POSIX_BRACKET_ENTRY_INIT(
"alnum", ONIGENC_CTYPE_ALNUM),
4402 POSIX_BRACKET_ENTRY_INIT(
"alpha", ONIGENC_CTYPE_ALPHA),
4403 POSIX_BRACKET_ENTRY_INIT(
"blank", ONIGENC_CTYPE_BLANK),
4404 POSIX_BRACKET_ENTRY_INIT(
"cntrl", ONIGENC_CTYPE_CNTRL),
4405 POSIX_BRACKET_ENTRY_INIT(
"digit", ONIGENC_CTYPE_DIGIT),
4406 POSIX_BRACKET_ENTRY_INIT(
"graph", ONIGENC_CTYPE_GRAPH),
4407 POSIX_BRACKET_ENTRY_INIT(
"lower", ONIGENC_CTYPE_LOWER),
4408 POSIX_BRACKET_ENTRY_INIT(
"print", ONIGENC_CTYPE_PRINT),
4409 POSIX_BRACKET_ENTRY_INIT(
"punct", ONIGENC_CTYPE_PUNCT),
4410 POSIX_BRACKET_ENTRY_INIT(
"space", ONIGENC_CTYPE_SPACE),
4411 POSIX_BRACKET_ENTRY_INIT(
"upper", ONIGENC_CTYPE_UPPER),
4412 POSIX_BRACKET_ENTRY_INIT(
"xdigit", ONIGENC_CTYPE_XDIGIT),
4413 POSIX_BRACKET_ENTRY_INIT(
"ascii", ONIGENC_CTYPE_ASCII),
4414 POSIX_BRACKET_ENTRY_INIT(
"word", ONIGENC_CTYPE_WORD),
4424 if (PPEEK_IS(
'^')) {
4431 if (onigenc_strlen(enc, p, end) < POSIX_BRACKET_NAME_MIN_LEN + 3)
4432 goto not_posix_bracket;
4434 ascii_range = IS_ASCII_RANGE(env->option) &&
4435 ! IS_POSIX_BRACKET_ALL_RANGE(env->option);
4436 for (pb = PBS; pb < PBS + numberof(PBS); pb++) {
4437 if (onigenc_with_ascii_strncmp(enc, p, end, pb->name, pb->len) == 0) {
4438 p = (UChar* )onigenc_step(enc, p, end, pb->len);
4439 if (onigenc_with_ascii_strncmp(enc, p, end, (UChar* )
":]", 2) != 0)
4440 return ONIGERR_INVALID_POSIX_BRACKET_TYPE;
4442 r = add_ctype_to_cc(cc, pb->ctype, not, ascii_range, env);
4443 if (r != 0)
return r;
4445 if (IS_NOT_NULL(asc_cc)) {
4446 if (pb->ctype != ONIGENC_CTYPE_WORD &&
4447 pb->ctype != ONIGENC_CTYPE_ASCII &&
4449 r = add_ctype_to_cc(asc_cc, pb->ctype, not, ascii_range, env);
4450 if (r != 0)
return r;
4462 while (!PEND && ((c = PPEEK) !=
':') && c !=
']') {
4464 if (++i > POSIX_BRACKET_CHECK_LIMIT_LENGTH)
break;
4466 if (c ==
':' && ! PEND) {
4471 return ONIGERR_INVALID_POSIX_BRACKET_TYPE;
4479fetch_char_property_to_ctype(UChar** src, UChar* end,
ScanEnv* env)
4484 UChar *prev, *start, *p = *src;
4486 r = ONIGERR_INVALID_CHAR_PROPERTY_NAME;
4493 r = ONIGENC_PROPERTY_NAME_TO_CTYPE(enc, start, prev);
4499 else if (c ==
'(' || c ==
')' || c ==
'{' || c ==
'|') {
4504 onig_scan_env_set_error_string(env, r, *src, prev);
4511parse_char_property(
Node** np,
OnigToken* tok, UChar** src, UChar* end,
4517 ctype = fetch_char_property_to_ctype(src, end, env);
4518 if (ctype < 0)
return ctype;
4520 *np = node_new_cclass();
4521 CHECK_NULL_RETURN_MEMERR(*np);
4523 r = add_ctype_to_cc(cc, ctype, 0, 0, env);
4524 if (r != 0)
return r;
4525 if (tok->u.prop.not != 0) NCCLASS_SET_NOT(cc);
4527 if (IS_IGNORECASE(env->option)) {
4528 if (ctype != ONIGENC_CTYPE_ASCII)
4529 r = cclass_case_fold(np, cc, cc, env);
4550 OnigCodePoint* vs,
enum CCVALTYPE*
type,
4551 enum CCSTATE* state,
ScanEnv* env)
4555 if (*state == CCS_RANGE)
4556 return ONIGERR_CHAR_CLASS_VALUE_AT_END_OF_RANGE;
4558 if (*state == CCS_VALUE && *
type != CCV_CLASS) {
4559 if (*
type == CCV_SB) {
4560 BITSET_SET_BIT_CHKDUP(cc->bs, (
int )(*vs));
4561 if (IS_NOT_NULL(asc_cc))
4562 BITSET_SET_BIT(asc_cc->bs, (
int )(*vs));
4564 else if (*
type == CCV_CODE_POINT) {
4565 r = add_code_range(&(cc->mbuf), env, *vs, *vs);
4566 if (r < 0)
return r;
4567 if (IS_NOT_NULL(asc_cc)) {
4568 r = add_code_range0(&(asc_cc->mbuf), env, *vs, *vs, 0);
4569 if (r < 0)
return r;
4581 OnigCodePoint *from, OnigCodePoint to,
4582 int* from_israw,
int to_israw,
4583 enum CCVALTYPE intype,
enum CCVALTYPE*
type,
4584 enum CCSTATE* state,
ScanEnv* env)
4590 if (*
type == CCV_SB) {
4591 BITSET_SET_BIT_CHKDUP(cc->bs, (
int )(*from));
4592 if (IS_NOT_NULL(asc_cc))
4593 BITSET_SET_BIT(asc_cc->bs, (
int )(*from));
4595 else if (*
type == CCV_CODE_POINT) {
4596 r = add_code_range(&(cc->mbuf), env, *from, *from);
4597 if (r < 0)
return r;
4598 if (IS_NOT_NULL(asc_cc)) {
4599 r = add_code_range0(&(asc_cc->mbuf), env, *from, *from, 0);
4600 if (r < 0)
return r;
4606 if (intype == *
type) {
4607 if (intype == CCV_SB) {
4608 if (*from > 0xff || to > 0xff)
4609 return ONIGERR_INVALID_CODE_POINT_VALUE;
4612 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC))
4615 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS;
4617 bitset_set_range(env, cc->bs, (
int )*from, (
int )to);
4618 if (IS_NOT_NULL(asc_cc))
4619 bitset_set_range(env, asc_cc->bs, (
int )*from, (
int )to);
4622 r = add_code_range(&(cc->mbuf), env, *from, to);
4623 if (r < 0)
return r;
4624 if (IS_NOT_NULL(asc_cc)) {
4625 r = add_code_range0(&(asc_cc->mbuf), env, *from, to, 0);
4626 if (r < 0)
return r;
4632 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC))
4635 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS;
4637 bitset_set_range(env, cc->bs, (
int )*from, (
int )(to < 0xff ? to : 0xff));
4638 r = add_code_range(&(cc->mbuf), env, (OnigCodePoint )*from, to);
4639 if (r < 0)
return r;
4640 if (IS_NOT_NULL(asc_cc)) {
4641 bitset_set_range(env, asc_cc->bs, (
int )*from, (
int )(to < 0xff ? to : 0xff));
4642 r = add_code_range0(&(asc_cc->mbuf), env, (OnigCodePoint )*from, to, 0);
4643 if (r < 0)
return r;
4647 *state = CCS_COMPLETE;
4659 *from_israw = to_israw;
4666code_exist_check(OnigCodePoint c, UChar* from, UChar* end,
int ignore_escaped,
4676 if (ignore_escaped && in_esc) {
4681 if (code == c)
return 1;
4682 if (code == MC_ESC(env->syntax)) in_esc = 1;
4689parse_char_class(
Node** np,
Node** asc_np,
OnigToken* tok, UChar** src, UChar* end,
4692 int r, neg,
len, fetched, and_start;
4693 OnigCodePoint v, vs;
4702 enum CCVALTYPE val_type, in_type;
4703 int val_israw, in_israw;
4705 *np = *asc_np = NULL_NODE;
4707 if (env->parse_depth > ParseDepthLimit)
4708 return ONIGERR_PARSE_DEPTH_LIMIT_OVER;
4710 r = fetch_token_in_cc(tok, src, end, env);
4711 if (r == TK_CHAR && tok->u.c ==
'^' && tok->escaped == 0) {
4713 r = fetch_token_in_cc(tok, src, end, env);
4719 if (r < 0)
return r;
4720 if (r == TK_CC_CLOSE) {
4721 if (! code_exist_check((OnigCodePoint )
']',
4722 *src, env->pattern_end, 1, env))
4723 return ONIGERR_EMPTY_CHAR_CLASS;
4725 CC_ESC_WARN(env, (UChar* )
"]");
4726 r = tok->type = TK_CHAR;
4729 *np = node = node_new_cclass();
4730 CHECK_NULL_RETURN_MEMERR(node);
4733 if (IS_IGNORECASE(env->option)) {
4734 *asc_np = asc_node = node_new_cclass();
4735 CHECK_NULL_RETURN_MEMERR(asc_node);
4736 asc_cc = NCCLASS(asc_node);
4739 asc_node = NULL_NODE;
4746 while (r != TK_CC_CLOSE) {
4750 if ((tok->u.code >= SINGLE_BYTE_SIZE) ||
4751 (
len = ONIGENC_CODE_TO_MBCLEN(env->enc, tok->u.c)) > 1) {
4752 in_type = CCV_CODE_POINT;
4762 v = (OnigCodePoint )tok->u.c;
4769 if (! ONIGENC_IS_SINGLEBYTE(env->enc) && tok->base != 0) {
4770 UChar buf[ONIGENC_CODE_TO_MBC_MAXLEN];
4771 UChar* bufe = buf + ONIGENC_CODE_TO_MBC_MAXLEN;
4773 int i, base = tok->base;
4775 buf[0] = (UChar )tok->u.c;
4776 for (i = 1; i < ONIGENC_MBC_MAXLEN(env->enc); i++) {
4777 r = fetch_token_in_cc(tok, &p, end, env);
4778 if (r < 0)
goto err;
4779 if (r != TK_RAW_BYTE || tok->base != base) {
4783 buf[i] = (UChar )tok->u.c;
4786 if (i < ONIGENC_MBC_MINLEN(env->enc)) {
4787 r = ONIGERR_TOO_SHORT_MULTI_BYTE_STRING;
4791 len = enclen(env->enc, buf, buf + i);
4793 r = ONIGERR_TOO_SHORT_MULTI_BYTE_STRING;
4798 for (i = 1; i <
len; i++) {
4799 (void)fetch_token_in_cc(tok, &p, end, env);
4806 v = (OnigCodePoint )buf[0];
4810 v = ONIGENC_MBC_TO_CODE(env->enc, buf, bufe);
4811 in_type = CCV_CODE_POINT;
4815 v = (OnigCodePoint )tok->u.c;
4827 len = ONIGENC_CODE_TO_MBCLEN(env->enc, v);
4832 in_type = (
len == 1 ? CCV_SB : CCV_CODE_POINT);
4834 r = next_state_val(cc, asc_cc, &vs, v, &val_israw, in_israw, in_type, &val_type,
4836 if (r != 0)
goto err;
4839 case TK_POSIX_BRACKET_OPEN:
4840 r = parse_posix_bracket(cc, asc_cc, &p, end, env);
4841 if (r < 0)
goto err;
4843 CC_ESC_WARN(env, (UChar* )
"[");
4845 v = (OnigCodePoint )tok->u.c;
4853 r = add_ctype_to_cc(cc, tok->u.prop.ctype, tok->u.prop.not,
4854 IS_ASCII_RANGE(env->option), env);
4855 if (r != 0)
return r;
4856 if (IS_NOT_NULL(asc_cc)) {
4857 if (tok->u.prop.ctype != ONIGENC_CTYPE_WORD)
4858 r = add_ctype_to_cc(asc_cc, tok->u.prop.ctype, tok->u.prop.not,
4859 IS_ASCII_RANGE(env->option), env);
4860 if (r != 0)
return r;
4864 r = next_state_class(cc, asc_cc, &vs, &val_type, &state, env);
4865 if (r != 0)
goto err;
4868 case TK_CHAR_PROPERTY:
4872 ctype = fetch_char_property_to_ctype(&p, end, env);
4873 if (ctype < 0)
return ctype;
4874 r = add_ctype_to_cc(cc, ctype, tok->u.prop.not, 0, env);
4875 if (r != 0)
return r;
4876 if (IS_NOT_NULL(asc_cc)) {
4877 if (ctype != ONIGENC_CTYPE_ASCII)
4878 r = add_ctype_to_cc(asc_cc, ctype, tok->u.prop.not, 0, env);
4879 if (r != 0)
return r;
4886 if (state == CCS_VALUE) {
4887 r = fetch_token_in_cc(tok, &p, end, env);
4888 if (r < 0)
goto err;
4890 if (r == TK_CC_CLOSE) {
4892 v = (OnigCodePoint )
'-';
4896 else if (r == TK_CC_AND) {
4897 CC_ESC_WARN(env, (UChar* )
"-");
4901 if (val_type == CCV_CLASS) {
4902 r = ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS;
4908 else if (state == CCS_START) {
4910 v = (OnigCodePoint )tok->u.c;
4913 r = fetch_token_in_cc(tok, &p, end, env);
4914 if (r < 0)
goto err;
4917 if (r == TK_CC_RANGE || and_start != 0)
4918 CC_ESC_WARN(env, (UChar* )
"-");
4922 else if (state == CCS_RANGE) {
4923 CC_ESC_WARN(env, (UChar* )
"-");
4927 r = fetch_token_in_cc(tok, &p, end, env);
4928 if (r < 0)
goto err;
4930 if (r == TK_CC_CLOSE)
goto range_end_val;
4931 else if (r == TK_CC_AND) {
4932 CC_ESC_WARN(env, (UChar* )
"-");
4936 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_DOUBLE_RANGE_OP_IN_CC)) {
4937 CC_ESC_WARN(env, (UChar* )
"-");
4940 r = ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS;
4947 Node *anode, *aasc_node;
4950 r = parse_char_class(&anode, &aasc_node, tok, &p, end, env);
4952 acc = NCCLASS(anode);
4953 r = or_cclass(cc, acc, env);
4955 if (r == 0 && IS_NOT_NULL(aasc_node)) {
4956 acc = NCCLASS(aasc_node);
4957 r = or_cclass(asc_cc, acc, env);
4959 onig_node_free(anode);
4960 onig_node_free(aasc_node);
4961 if (r != 0)
goto err;
4967 if (state == CCS_VALUE) {
4968 r = next_state_val(cc, asc_cc, &vs, 0, &val_israw, 0, val_type,
4969 &val_type, &state, env);
4970 if (r != 0)
goto err;
4976 if (IS_NOT_NULL(prev_cc)) {
4977 r = and_cclass(prev_cc, cc, env);
4978 if (r != 0)
goto err;
4979 bbuf_free(cc->mbuf);
4980 if (IS_NOT_NULL(asc_cc)) {
4981 r = and_cclass(asc_prev_cc, asc_cc, env);
4982 if (r != 0)
goto err;
4983 bbuf_free(asc_cc->mbuf);
4989 if (IS_NOT_NULL(asc_cc)) {
4990 asc_prev_cc = asc_cc;
4991 asc_cc = &asc_work_cc;
4994 initialize_cclass(cc);
4995 if (IS_NOT_NULL(asc_cc))
4996 initialize_cclass(asc_cc);
5001 r = ONIGERR_PREMATURE_END_OF_CHAR_CLASS;
5005 r = ONIGERR_PARSER_BUG;
5013 r = fetch_token_in_cc(tok, &p, end, env);
5014 if (r < 0)
goto err;
5018 if (state == CCS_VALUE) {
5019 r = next_state_val(cc, asc_cc, &vs, 0, &val_israw, 0, val_type,
5020 &val_type, &state, env);
5021 if (r != 0)
goto err;
5024 if (IS_NOT_NULL(prev_cc)) {
5025 r = and_cclass(prev_cc, cc, env);
5026 if (r != 0)
goto err;
5027 bbuf_free(cc->mbuf);
5029 if (IS_NOT_NULL(asc_cc)) {
5030 r = and_cclass(asc_prev_cc, asc_cc, env);
5031 if (r != 0)
goto err;
5032 bbuf_free(asc_cc->mbuf);
5033 asc_cc = asc_prev_cc;
5038 NCCLASS_SET_NOT(cc);
5039 if (IS_NOT_NULL(asc_cc))
5040 NCCLASS_SET_NOT(asc_cc);
5043 NCCLASS_CLEAR_NOT(cc);
5044 if (IS_NOT_NULL(asc_cc))
5045 NCCLASS_CLEAR_NOT(asc_cc);
5047 if (IS_NCCLASS_NOT(cc) &&
5048 IS_SYNTAX_BV(env->syntax, ONIG_SYN_NOT_NEWLINE_IN_NEGATIVE_CC)) {
5051 is_empty = (IS_NULL(cc->mbuf) ? 1 : 0);
5053 BITSET_IS_EMPTY(cc->bs, is_empty);
5055 if (is_empty == 0) {
5056#define NEWLINE_CODE 0x0a
5058 if (ONIGENC_IS_CODE_NEWLINE(env->enc, NEWLINE_CODE)) {
5059 if (ONIGENC_CODE_TO_MBCLEN(env->enc, NEWLINE_CODE) == 1)
5060 BITSET_SET_BIT_CHKDUP(cc->bs, NEWLINE_CODE);
5062 r = add_code_range(&(cc->mbuf), env, NEWLINE_CODE, NEWLINE_CODE);
5063 if (r < 0)
goto err;
5073 if (cc != NCCLASS(*np))
5074 bbuf_free(cc->mbuf);
5075 if (IS_NOT_NULL(asc_cc) && (asc_cc != NCCLASS(*asc_np)))
5076 bbuf_free(asc_cc->mbuf);
5080static int parse_subexp(
Node** top,
OnigToken* tok,
int term,
5081 UChar** src, UChar* end,
ScanEnv* env);
5084parse_enclose(
Node** np,
OnigToken* tok,
int term, UChar** src, UChar* end,
5088 Node *target, *work1 = NULL, *work2 = NULL;
5089 OnigOptionType option;
5093#ifdef USE_NAMED_GROUP
5101 if (PEND)
return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS;
5103 option = env->option;
5104 if (PPEEK_IS(
'?') &&
5105 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_GROUP_EFFECT)) {
5107 if (PEND)
return ONIGERR_END_PATTERN_IN_GROUP;
5113 r = fetch_token(tok, &p, end, env);
5114 if (r < 0)
return r;
5115 r = parse_subexp(np, tok, term, &p, end, env);
5116 if (r < 0)
return r;
5122 *np = onig_node_new_anchor(ANCHOR_PREC_READ);
5125 *np = onig_node_new_anchor(ANCHOR_PREC_READ_NOT);
5128 *np = node_new_enclose(ENCLOSE_STOP_BACKTRACK);
5131 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_TILDE_ABSENT)) {
5132 *np = node_new_enclose(ENCLOSE_ABSENT);
5135 return ONIGERR_UNDEFINED_GROUP_OPTION;
5139#ifdef USE_NAMED_GROUP
5141 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP)) {
5145 return ONIGERR_UNDEFINED_GROUP_OPTION;
5148# ifdef USE_CAPITAL_P_NAMED_GROUP
5151 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_CAPITAL_P_NAMED_GROUP)) {
5153 if (c ==
'<')
goto named_group1;
5155 return ONIGERR_UNDEFINED_GROUP_OPTION;
5161 if (PEND)
return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS;
5164 *np = onig_node_new_anchor(ANCHOR_LOOK_BEHIND);
5166 *np = onig_node_new_anchor(ANCHOR_LOOK_BEHIND_NOT);
5167#ifdef USE_NAMED_GROUP
5169 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP)) {
5179# ifdef USE_CAPTURE_HISTORY
5183 r = fetch_name((OnigCodePoint )c, &p, end, &name_end, env, &num, 0);
5184 if (r < 0)
return r;
5186 num = scan_env_add_mem_entry(env);
5187 if (num < 0)
return num;
5188 if (list_capture != 0 && num >= (
int )BIT_STATUS_BITS_NUM)
5189 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY;
5191 r = name_add(env->reg, name, name_end, num, env);
5192 if (r != 0)
return r;
5193 *np = node_new_enclose_memory(env->option, 1);
5194 CHECK_NULL_RETURN_MEMERR(*np);
5195 NENCLOSE(*np)->regnum = num;
5196 if (list_capture != 0)
5197 BIT_STATUS_ON_AT_SIMPLE(env->capture_history, num);
5201 return ONIGERR_UNDEFINED_GROUP_OPTION;
5206 return ONIGERR_UNDEFINED_GROUP_OPTION;
5211#ifdef USE_CAPTURE_HISTORY
5213 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_ATMARK_CAPTURE_HISTORY)) {
5214# ifdef USE_NAMED_GROUP
5216 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP)) {
5218 if (c ==
'<' || c ==
'\'') {
5225 *np = node_new_enclose_memory(env->option, 0);
5226 CHECK_NULL_RETURN_MEMERR(*np);
5227 num = scan_env_add_mem_entry(env);
5228 if (num < 0)
return num;
5229 if (num >= (
int )BIT_STATUS_BITS_NUM)
5230 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY;
5232 NENCLOSE(*np)->regnum = num;
5233 BIT_STATUS_ON_AT_SIMPLE(env->capture_history, num);
5236 return ONIGERR_UNDEFINED_GROUP_OPTION;
5243 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_LPAREN_CONDITION)) {
5247 if (ONIGENC_IS_CODE_DIGIT(enc, c)) {
5249 r = fetch_name((OnigCodePoint )
'(', &p, end, &name_end, env, &num, 1);
5250 if (r < 0)
return r;
5254 num = BACKREF_REL_TO_ABS(num, env);
5256 return ONIGERR_INVALID_BACKREF;
5259 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_STRICT_CHECK_BACKREF)) {
5260 if (num > env->num_mem ||
5261 IS_NULL(SCANENV_MEM_NODES(env)[num]))
5262 return ONIGERR_INVALID_BACKREF;
5265#ifdef USE_NAMED_GROUP
5266 else if (c ==
'<' || c ==
'\'') {
5268 r = fetch_named_backref_token(c, tok, &p, end, env);
5269 if (r < 0)
return r;
5270 if (!PPEEK_IS(
')'))
return ONIGERR_UNDEFINED_GROUP_OPTION;
5273 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_USE_LEFT_MOST_NAMED_GROUP)) {
5274 num = tok->u.backref.ref1;
5281 int len = tok->u.backref.num;
5282 num =
len > 1 ? tok->u.backref.refs[0] : tok->u.backref.ref1;
5287 return ONIGERR_INVALID_CONDITION_PATTERN;
5288 *np = node_new_enclose(ENCLOSE_CONDITION);
5289 CHECK_NULL_RETURN_MEMERR(*np);
5290 NENCLOSE(*np)->regnum = num;
5291 if (IS_NOT_NULL(name)) NENCLOSE(*np)->state |= NST_NAME_REF;
5294 return ONIGERR_UNDEFINED_GROUP_OPTION;
5299 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_QMARK_VBAR_BRANCH_RESET)) {
5303 return ONIGERR_UNDEFINED_GROUP_OPTION;
5308 if (!PEND && IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL)) {
5310 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 1);
5311 ONOFF(option, ONIG_OPTION_IGNORECASE, 1);
5312 ONOFF(option, ONIG_OPTION_SINGLELINE, 0);
5313 ONOFF(option, ONIG_OPTION_MULTILINE, 1);
5314 ONOFF(option, ONIG_OPTION_EXTEND, 1);
5318 else if (!PEND && IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_RUBY)) {
5320 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 0);
5321 ONOFF(option, ONIG_OPTION_POSIX_BRACKET_ALL_RANGE, 0);
5322 ONOFF(option, ONIG_OPTION_WORD_BOUND_ALL_RANGE, 0);
5323 ONOFF(option, ONIG_OPTION_IGNORECASE, 1);
5324 ONOFF(option, ONIG_OPTION_MULTILINE, 1);
5325 ONOFF(option, ONIG_OPTION_EXTEND, 1);
5330 return ONIGERR_UNDEFINED_GROUP_OPTION;
5333#ifdef USE_POSIXLINE_OPTION
5336 case '-':
case 'i':
case 'm':
case 's':
case 'x':
5337 case 'a':
case 'd':
case 'l':
case 'u':
5347 case '-': neg = 1;
break;
5348 case 'x': ONOFF(option, ONIG_OPTION_EXTEND, neg);
break;
5349 case 'i': ONOFF(option, ONIG_OPTION_IGNORECASE, neg);
break;
5351 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL)) {
5352 ONOFF(option, ONIG_OPTION_MULTILINE, neg);
5355 return ONIGERR_UNDEFINED_GROUP_OPTION;
5359 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL)) {
5360 ONOFF(option, ONIG_OPTION_SINGLELINE, (neg == 0 ? 1 : 0));
5362 else if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_RUBY)) {
5363 ONOFF(option, ONIG_OPTION_MULTILINE, neg);
5366 return ONIGERR_UNDEFINED_GROUP_OPTION;
5368#ifdef USE_POSIXLINE_OPTION
5370 ONOFF(option, ONIG_OPTION_MULTILINE|ONIG_OPTION_SINGLELINE, neg);
5375 if ((IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL) ||
5376 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_RUBY)) &&
5378 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 0);
5379 ONOFF(option, ONIG_OPTION_POSIX_BRACKET_ALL_RANGE, 1);
5380 ONOFF(option, ONIG_OPTION_WORD_BOUND_ALL_RANGE, 1);
5383 return ONIGERR_UNDEFINED_GROUP_OPTION;
5387 if ((IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL) ||
5388 IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_RUBY)) &&
5390 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 1);
5391 ONOFF(option, ONIG_OPTION_POSIX_BRACKET_ALL_RANGE, 1);
5392 ONOFF(option, ONIG_OPTION_WORD_BOUND_ALL_RANGE, 1);
5395 return ONIGERR_UNDEFINED_GROUP_OPTION;
5399 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL) &&
5401 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 1);
5403 else if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_RUBY) &&
5405 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 0);
5406 ONOFF(option, ONIG_OPTION_POSIX_BRACKET_ALL_RANGE, 0);
5407 ONOFF(option, ONIG_OPTION_WORD_BOUND_ALL_RANGE, 0);
5410 return ONIGERR_UNDEFINED_GROUP_OPTION;
5414 if (IS_SYNTAX_OP2(env->syntax, ONIG_SYN_OP2_OPTION_PERL) && (neg == 0)) {
5415 ONOFF(option, ONIG_OPTION_ASCII_RANGE, 1);
5418 return ONIGERR_UNDEFINED_GROUP_OPTION;
5422 return ONIGERR_UNDEFINED_GROUP_OPTION;
5426 *np = node_new_option(option);
5427 CHECK_NULL_RETURN_MEMERR(*np);
5431 else if (c ==
':') {
5432 OnigOptionType prev = env->option;
5434 env->option = option;
5435 r = fetch_token(tok, &p, end, env);
5440 r = parse_subexp(&target, tok, term, &p, end, env);
5442 if (r < 0)
return r;
5443 *np = node_new_option(option);
5444 CHECK_NULL_RETURN_MEMERR(*np);
5445 NENCLOSE(*np)->target = target;
5450 if (PEND)
return ONIGERR_END_PATTERN_IN_GROUP;
5457 return ONIGERR_UNDEFINED_GROUP_OPTION;
5461 if (ONIG_IS_OPTION_ON(env->option, ONIG_OPTION_DONT_CAPTURE_GROUP))
5464 *np = node_new_enclose_memory(env->option, 0);
5465 CHECK_NULL_RETURN_MEMERR(*np);
5466 num = scan_env_add_mem_entry(env);
5467 if (num < 0)
return num;
5468 NENCLOSE(*np)->regnum = num;
5471 CHECK_NULL_RETURN_MEMERR(*np);
5472 r = fetch_token(tok, &p, end, env);
5473 if (r < 0)
return r;
5474 r = parse_subexp(&target, tok, term, &p, end, env);
5476 onig_node_free(target);
5480 if (NTYPE(*np) == NT_ANCHOR)
5481 NANCHOR(*np)->target = target;
5483 NENCLOSE(*np)->target = target;
5484 if (NENCLOSE(*np)->type == ENCLOSE_MEMORY) {
5486 r = scan_env_set_mem_node(env, NENCLOSE(*np)->regnum, *np);
5487 if (r != 0)
return r;
5489 else if (NENCLOSE(*np)->type == ENCLOSE_CONDITION) {
5490 if (NTYPE(target) != NT_ALT) {
5492 work1 = node_new_empty();
5493 if (IS_NULL(work1))
goto err;
5494 work2 = onig_node_new_alt(work1, NULL_NODE);
5495 if (IS_NULL(work2))
goto err;
5496 work1 = onig_node_new_alt(target, work2);
5497 if (IS_NULL(work1))
goto err;
5498 NENCLOSE(*np)->target = work1;
5507 onig_node_free(work1);
5508 onig_node_free(work2);
5509 onig_node_free(*np);
5511 return ONIGERR_MEMORY;
5514static const char*
const PopularQStr[] = {
5515 "?",
"*",
"+",
"??",
"*?",
"+?"
5518static const char*
const ReduceQStr[] = {
5519 "",
"",
"*",
"*?",
"??",
"+ and ??",
"+? and ?"
5528 if (qn->lower == 1 && qn->upper == 1) {
5532 switch (NTYPE(target)) {
5536 if (str_node_can_be_split(sn, env->enc)) {
5537 Node* n = str_node_split_last_char(sn, env->enc);
5538 if (IS_NOT_NULL(n)) {
5550 int nestq_num = popular_quantifier_num(qn);
5551 int targetq_num = popular_quantifier_num(qnt);
5553#ifdef USE_WARNING_REDUNDANT_NESTED_REPEAT_OPERATOR
5554 if (nestq_num >= 0 && targetq_num >= 0 &&
5555 IS_SYNTAX_BV(env->syntax, ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT)) {
5556 switch (ReduceTypeTable[targetq_num][nestq_num]) {
5561 if (onig_warn != onig_null_warn) {
5562 onig_syntax_warn(env,
"regular expression has redundant nested repeat operator '%s'",
5563 PopularQStr[targetq_num]);
5569 if (onig_warn != onig_null_warn) {
5570 onig_syntax_warn(env,
"nested repeat operator '%s' and '%s' was replaced with '%s' in regular expression",
5571 PopularQStr[targetq_num], PopularQStr[nestq_num],
5572 ReduceQStr[ReduceTypeTable[targetq_num][nestq_num]]);
5581 if (targetq_num >= 0) {
5582 if (nestq_num >= 0) {
5583 onig_reduce_nested_quantifier(qnode, target);
5586 else if (targetq_num == 1 || targetq_num == 2) {
5588 if (! IS_REPEAT_INFINITE(qn->upper) && qn->upper > 1 && qn->greedy) {
5589 qn->upper = (qn->lower == 0 ? 1 : qn->lower);
5600 qn->target = target;
5606#ifndef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
5613 if (IS_NCCLASS_NOT(cc)) {
5614 bitset_invert(cc->bs);
5616 if (! ONIGENC_IS_SINGLEBYTE(enc)) {
5617 r = not_code_range_buf(enc, cc->mbuf, &tbuf);
5618 if (r != 0)
return r;
5620 bbuf_free(cc->mbuf);
5624 NCCLASS_CLEAR_NOT(cc);
5640i_apply_case_fold(OnigCodePoint from, OnigCodePoint to[],
5641 int to_len,
void* arg)
5653 asc_cc = iarg->asc_cc;
5656 if (IS_NULL(asc_cc)) {
5659 else if (ONIGENC_IS_ASCII_CODE(from) == ONIGENC_IS_ASCII_CODE(*to)) {
5663 add_flag = onig_is_code_in_cc(env->enc, from, asc_cc);
5664 if (IS_NCCLASS_NOT(asc_cc))
5665 add_flag = !add_flag;
5669 int is_in = onig_is_code_in_cc(env->enc, from, cc);
5670#ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
5671 if ((is_in != 0 && !IS_NCCLASS_NOT(cc)) ||
5672 (is_in == 0 && IS_NCCLASS_NOT(cc))) {
5674 if (ONIGENC_MBC_MINLEN(env->enc) > 1 || *to >= SINGLE_BYTE_SIZE) {
5675 r = add_code_range0(&(cc->mbuf), env, *to, *to, 0);
5676 if (r < 0)
return r;
5679 BITSET_SET_BIT(bs, *to);
5686 if (ONIGENC_MBC_MINLEN(env->enc) > 1 || *to >= SINGLE_BYTE_SIZE) {
5687 if (IS_NCCLASS_NOT(cc)) clear_not_flag_cclass(cc, env->enc);
5688 r = add_code_range0(&(cc->mbuf), env, *to, *to, 0);
5689 if (r < 0)
return r;
5692 if (IS_NCCLASS_NOT(cc)) {
5693 BITSET_CLEAR_BIT(bs, *to);
5696 BITSET_SET_BIT(bs, *to);
5705 UChar buf[ONIGENC_CODE_TO_MBC_MAXLEN];
5706 Node *snode = NULL_NODE;
5708 if (onig_is_code_in_cc(env->enc, from, cc)
5709#ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
5710 && !IS_NCCLASS_NOT(cc)
5713 for (i = 0; i < to_len; i++) {
5714 len = ONIGENC_CODE_TO_MBC(env->enc, to[i], buf);
5716 snode = onig_node_new_str(buf, buf +
len);
5717 CHECK_NULL_RETURN_MEMERR(snode);
5721 NSTRING_SET_AMBIG(snode);
5724 r = onig_node_str_cat(snode, buf, buf +
len);
5726 onig_node_free(snode);
5732 *(iarg->ptail) = onig_node_new_alt(snode, NULL_NODE);
5733 CHECK_NULL_RETURN_MEMERR(*(iarg->ptail));
5734 iarg->ptail = &(NCDR((*(iarg->ptail))));
5749 iarg.asc_cc = asc_cc;
5750 iarg.alt_root = NULL_NODE;
5751 iarg.ptail = &(iarg.alt_root);
5753 r = ONIGENC_APPLY_ALL_CASE_FOLD(env->enc, env->case_fold_flag,
5754 i_apply_case_fold, &iarg);
5756 onig_node_free(iarg.alt_root);
5759 if (IS_NOT_NULL(iarg.alt_root)) {
5760 Node* work = onig_node_new_alt(*np, iarg.alt_root);
5761 if (IS_NULL(work)) {
5762 onig_node_free(iarg.alt_root);
5763 return ONIGERR_MEMORY;
5776 Node* target1 = NULL;
5777 Node* target2 = NULL;
5780 UChar buf[ONIGENC_CODE_TO_MBC_MAXLEN * 2];
5783 num1 = ONIGENC_CODE_TO_MBC(env->enc, 0x0D, buf);
5784 if (num1 < 0)
return num1;
5785 num2 = ONIGENC_CODE_TO_MBC(env->enc, 0x0A, buf + num1);
5786 if (num2 < 0)
return num2;
5787 left = node_new_str_raw(buf, buf + num1 + num2);
5788 if (IS_NULL(left))
goto err;
5791 right = node_new_cclass();
5792 if (IS_NULL(right))
goto err;
5793 cc = NCCLASS(right);
5794 if (ONIGENC_MBC_MINLEN(env->enc) > 1) {
5795 r = add_code_range(&(cc->mbuf), env, 0x0A, 0x0D);
5796 if (r != 0)
goto err;
5799 bitset_set_range(env, cc->bs, 0x0A, 0x0D);
5803 if (ONIGENC_IS_UNICODE(env->enc)) {
5805 r = add_code_range(&(cc->mbuf), env, 0x85, 0x85);
5806 if (r != 0)
goto err;
5807 r = add_code_range(&(cc->mbuf), env, 0x2028, 0x2029);
5808 if (r != 0)
goto err;
5812 target1 = onig_node_new_alt(right, NULL_NODE);
5813 if (IS_NULL(target1))
goto err;
5815 target2 = onig_node_new_alt(left, target1);
5816 if (IS_NULL(target2))
goto err;
5821 *np = node_new_enclose(ENCLOSE_STOP_BACKTRACK);
5822 if (IS_NULL(*np))
goto err;
5823 NENCLOSE(*np)->target = target2;
5827 onig_node_free(left);
5828 onig_node_free(right);
5829 onig_node_free(target1);
5830 onig_node_free(target2);
5831 return ONIGERR_MEMORY;
5835propname2ctype(
ScanEnv* env,
const char* propname)
5837 UChar* name = (UChar* )propname;
5838 UChar* name_end = name + strlen(propname);
5839 int ctype = env->enc->property_name_to_ctype(ONIG_ENCODING_ASCII,
5842 onig_scan_env_set_error_string(env, ctype, name, name_end);
5850 int ctype = propname2ctype(env, propname);
5851 if (ctype < 0)
return ctype;
5852 return add_ctype_to_cc(cc, ctype, not, 0, env);
5859create_property_node(
Node **np,
ScanEnv* env,
const char* propname)
5864 *np = node_new_cclass();
5865 if (IS_NULL(*np))
return ONIGERR_MEMORY;
5867 r = add_property_to_cc(cc, propname, 0, env);
5869 onig_node_free(*np);
5874quantify_node(
Node **np,
int lower,
int upper)
5876 Node* tmp = node_new_quantifier(lower, upper, 0);
5877 if (IS_NULL(tmp))
return ONIGERR_MEMORY;
5878 NQTFR(tmp)->target = *np;
5884quantify_property_node(
Node **np,
ScanEnv* env,
const char* propname,
char repetitions)
5888 int upper = REPEAT_INFINITE;
5890 r = create_property_node(np, env, propname);
5891 if (r != 0)
return r;
5892 switch (repetitions) {
5893 case '?': upper = 1;
break;
5894 case '+': lower = 1;
break;
5896 case '2': lower = upper = 2;
break;
5897 default :
return ONIGERR_PARSER_BUG;
5899 return quantify_node(np, lower, upper);
5907create_node_from_array(
int kind,
Node **np,
Node **node_array)
5909 Node* tmp = NULL_NODE;
5912 while (node_array[i] != NULL_NODE) i++;
5914 *np = kind==LIST ? node_new_list(node_array[i], tmp)
5915 : onig_node_new_alt(node_array[i], tmp);
5918 onig_node_free(node_array[i]);
5919 node_array[i--] = NULL_NODE;
5921 onig_node_free(tmp);
5922 return ONIGERR_MEMORY;
5925 node_array[i] = NULL_NODE;
5931#define R_ERR(call) r=(call);if(r!=0)goto err
5954#define NODE_COMMON_SIZE 16
5957node_extended_grapheme_cluster(
Node** np,
ScanEnv* env)
5961 Node* top_alt = NULL;
5965 int any_target_position;
5966 UChar buf[ONIGENC_CODE_TO_MBC_MAXLEN * 2];
5967 OnigOptionType option;
5970 Node *node_common[NODE_COMMON_SIZE];
5971 Node **alts = node_common+0;
5973 for (i=0; i<NODE_COMMON_SIZE; i++)
5974 node_common[i] = NULL_NODE;
5978 r = ONIGENC_CODE_TO_MBC(env->enc, 0x0D, buf);
5979 if (r < 0)
goto err;
5981 r = ONIGENC_CODE_TO_MBC(env->enc, 0x0A, buf + num1);
5982 if (r < 0)
goto err;
5983 alts[0] = node_new_str_raw(buf, buf + num1 + r);
5984 if (IS_NULL(alts[0]))
goto err;
5986#ifdef USE_UNICODE_PROPERTIES
5987 if (ONIGENC_IS_UNICODE(env->enc)) {
5990 if (propname2ctype(env,
"Grapheme_Cluster_Break=Extend") < 0)
goto err;
5998 alts[1] = node_new_cclass();
5999 if (IS_NULL(alts[1]))
goto err;
6000 cc = NCCLASS(alts[1]);
6001 R_ERR(add_property_to_cc(cc,
"Grapheme_Cluster_Break=Control", 0, env));
6002 if (ONIGENC_MBC_MINLEN(env->enc) > 1) {
6003 R_ERR(add_code_range(&(cc->mbuf), env, 0x000A, 0x000A));
6004 R_ERR(add_code_range(&(cc->mbuf), env, 0x000D, 0x000D));
6007 BITSET_SET_BIT(cc->bs, 0x0a);
6008 BITSET_SET_BIT(cc->bs, 0x0d);
6013 Node **list = alts + 3;
6016 R_ERR(quantify_property_node(list+0, env,
"Grapheme_Cluster_Break=Prepend",
'*'));
6023 Node **core_alts = list + 2;
6034 Node **H_list = core_alts + 1;
6035 R_ERR(quantify_property_node(H_list+0, env,
"Grapheme_Cluster_Break=L",
'*'));
6039 Node **H_alt2 = H_list + 2;
6040 R_ERR(quantify_property_node(H_alt2+0, env,
"Grapheme_Cluster_Break=V",
'+'));
6044 Node **H_list2 = H_alt2 + 2;
6046 R_ERR(create_property_node(H_list2+0, env,
"Grapheme_Cluster_Break=LV"));
6047 R_ERR(quantify_property_node(H_list2+1, env,
"Grapheme_Cluster_Break=V",
'*'));
6048 R_ERR(create_node_from_array(LIST, H_alt2+1, H_list2));
6051 R_ERR(create_property_node(H_alt2+2, env,
"Grapheme_Cluster_Break=LVT"));
6052 R_ERR(create_node_from_array(ALT, H_list+1, H_alt2));
6055 R_ERR(quantify_property_node(H_list+2, env,
"Grapheme_Cluster_Break=T",
'*'));
6056 R_ERR(create_node_from_array(LIST, core_alts+0, H_list));
6059 R_ERR(quantify_property_node(core_alts+1, env,
"Grapheme_Cluster_Break=L",
'+'));
6060 R_ERR(quantify_property_node(core_alts+2, env,
"Grapheme_Cluster_Break=T",
'+'));
6064 R_ERR(quantify_property_node(core_alts+3, env,
"Regional_Indicator",
'2'));
6068 Node **XP_list = core_alts + 5;
6069 R_ERR(create_property_node(XP_list+0, env,
"Extended_Pictographic"));
6073 Node **Ex_list = XP_list + 2;
6075 R_ERR(quantify_property_node(Ex_list+0, env,
"Grapheme_Cluster_Break=Extend",
'*'));
6078 r = ONIGENC_CODE_TO_MBC(env->enc, 0x200D, buf);
6079 if (r < 0)
goto err;
6080 Ex_list[1] = node_new_str_raw(buf, buf + r);
6081 if (IS_NULL(Ex_list[1]))
goto err;
6083 R_ERR(create_property_node(Ex_list+2, env,
"Extended_Pictographic"));
6084 R_ERR(create_node_from_array(LIST, XP_list+1, Ex_list));
6086 R_ERR(quantify_node(XP_list+1, 0, REPEAT_INFINITE));
6088 R_ERR(create_node_from_array(LIST, core_alts+4, XP_list));
6092 core_alts[5] = node_new_cclass();
6093 if (IS_NULL(core_alts[5]))
goto err;
6094 cc = NCCLASS(core_alts[5]);
6095 if (ONIGENC_MBC_MINLEN(env->enc) > 1) {
6096 BBuf *inverted_buf = NULL;
6099 const int dup_not_warned = env->warnings_flag | ~ONIG_SYN_WARN_CC_DUP;
6100 env->warnings_flag |= ONIG_SYN_WARN_CC_DUP;
6104 R_ERR(add_property_to_cc(cc,
"Grapheme_Cluster_Break=Control", 0, env));
6105 R_ERR(add_code_range(&(cc->mbuf), env, 0x000A, 0x000A));
6106 R_ERR(add_code_range(&(cc->mbuf), env, 0x000D, 0x000D));
6107 R_ERR(not_code_range_buf(env->enc, cc->mbuf, &inverted_buf, env));
6108 cc->mbuf = inverted_buf;
6110 env->warnings_flag &= dup_not_warned;
6113 R_ERR(add_property_to_cc(cc,
"Grapheme_Cluster_Break=Control", 1, env));
6114 BITSET_CLEAR_BIT(cc->bs, 0x0a);
6115 BITSET_CLEAR_BIT(cc->bs, 0x0d);
6118 R_ERR(create_node_from_array(ALT, list+1, core_alts));
6122 R_ERR(create_property_node(list+2, env,
"Grapheme_Cluster_Break=Extend"));
6123 cc = NCCLASS(list[2]);
6124 R_ERR(add_property_to_cc(cc,
"Grapheme_Cluster_Break=SpacingMark", 0, env));
6125 R_ERR(add_code_range(&(cc->mbuf), env, 0x200D, 0x200D));
6126 R_ERR(quantify_node(list+2, 0, REPEAT_INFINITE));
6128 R_ERR(create_node_from_array(LIST, alts+2, list));
6131 any_target_position = 3;
6136 any_target_position = 1;
6142 np1 = node_new_anychar();
6143 if (IS_NULL(np1))
goto err;
6145 option = env->option;
6146 ONOFF(option, ONIG_OPTION_MULTILINE, 0);
6147 tmp = node_new_option(option);
6148 if (IS_NULL(tmp))
goto err;
6149 NENCLOSE(tmp)->target = np1;
6150 alts[any_target_position] = tmp;
6153 R_ERR(create_node_from_array(ALT, &top_alt, alts));
6158 tmp = node_new_enclose(ENCLOSE_STOP_BACKTRACK);
6159 if (IS_NULL(tmp))
goto err;
6160 NENCLOSE(tmp)->target = top_alt;
6163#ifdef USE_UNICODE_PROPERTIES
6164 if (ONIGENC_IS_UNICODE(env->enc)) {
6166 option = env->option;
6167 ONOFF(option, ONIG_OPTION_IGNORECASE, 1);
6168 *np = node_new_option(option);
6169 if (IS_NULL(*np))
goto err;
6170 NENCLOSE(*np)->target = np1;
6180 onig_node_free(np1);
6181 for (i=0; i<NODE_COMMON_SIZE; i++)
6182 onig_node_free(node_common[i]);
6183 return (r == 0) ? ONIGERR_MEMORY : r;
6188countbits(
unsigned int bits)
6190 bits = (bits & 0x55555555) + ((bits >> 1) & 0x55555555);
6191 bits = (bits & 0x33333333) + ((bits >> 2) & 0x33333333);
6192 bits = (bits & 0x0f0f0f0f) + ((bits >> 4) & 0x0f0f0f0f);
6193 bits = (bits & 0x00ff00ff) + ((bits >> 8) & 0x00ff00ff);
6194 return (bits & 0x0000ffff) + ((bits >>16) & 0x0000ffff);
6198is_onechar_cclass(
CClassNode* cc, OnigCodePoint* code)
6200 const OnigCodePoint not_found = ONIG_LAST_CODE_POINT;
6201 OnigCodePoint c = not_found;
6203 BBuf *bbuf = cc->mbuf;
6205 if (IS_NCCLASS_NOT(cc))
return 0;
6208 if (IS_NOT_NULL(bbuf)) {
6209 OnigCodePoint n, *data;
6210 GET_CODE_POINT(n, bbuf->p);
6211 data = (OnigCodePoint* )(bbuf->p) + 1;
6212 if ((n == 1) && (data[0] == data[1])) {
6215 if (((c < SINGLE_BYTE_SIZE) && BITSET_AT(cc->bs, c))) {
6226 for (i = 0; i < BITSET_SIZE; i++) {
6227 Bits b1 = cc->bs[i];
6229 if (((b1 & (b1 - 1)) == 0) && (c == not_found)) {
6230 c = BITS_IN_ROOM * i + countbits(b1 - 1);
6237 if (c != not_found) {
6249 UChar** src, UChar* end,
ScanEnv* env)
6251 int r,
len, group = 0;
6256 if (tok->type == (
enum TokenSyms )term)
6259 switch (tok->type) {
6263 *np = node_new_empty();
6267 case TK_SUBEXP_OPEN:
6268 r = parse_enclose(np, tok, TK_SUBEXP_CLOSE, src, end, env);
6269 if (r < 0)
return r;
6270 if (r == 1) group = 1;
6273 OnigOptionType prev = env->option;
6275 env->option = NENCLOSE(*np)->option;
6276 r = fetch_token(tok, src, end, env);
6281 r = parse_subexp(&target, tok, term, src, end, env);
6284 onig_node_free(target);
6287 NENCLOSE(*np)->target = target;
6292 case TK_SUBEXP_CLOSE:
6293 if (! IS_SYNTAX_BV(env->syntax, ONIG_SYN_ALLOW_UNMATCHED_CLOSE_SUBEXP))
6294 return ONIGERR_UNMATCHED_CLOSE_PARENTHESIS;
6296 if (tok->escaped)
goto tk_raw_byte;
6301 r = node_linebreak(np, env);
6302 if (r < 0)
return r;
6305 case TK_EXTENDED_GRAPHEME_CLUSTER:
6306 r = node_extended_grapheme_cluster(np, env);
6307 if (r < 0)
return r;
6311 *np = onig_node_new_anchor(ANCHOR_KEEP);
6312 CHECK_NULL_RETURN_MEMERR(*np);
6318 *np = node_new_str(tok->backp, *src);
6319 CHECK_NULL_RETURN_MEMERR(*np);
6323 r = fetch_token(tok, src, end, env);
6324 if (r < 0)
return r;
6325 if (r == TK_STRING) {
6326 r = onig_node_str_cat(*np, tok->backp, *src);
6328#ifndef NUMBERED_CHAR_IS_NOT_CASE_AMBIG
6329 else if (r == TK_CODE_POINT) {
6330 r = node_str_cat_codepoint(*np, env->enc, tok->u.code);
6336 if (r < 0)
return r;
6348 *np = node_new_str_raw_char((UChar )tok->u.c);
6349 CHECK_NULL_RETURN_MEMERR(*np);
6352 if (
len >= ONIGENC_MBC_MINLEN(env->enc)) {
6353 if (
len == enclen(env->enc, NSTR(*np)->s, NSTR(*np)->end)) {
6354 r = fetch_token(tok, src, end, env);
6355 NSTRING_CLEAR_RAW(*np);
6360 r = fetch_token(tok, src, end, env);
6361 if (r < 0)
return r;
6362 if (r != TK_RAW_BYTE) {
6364#ifdef USE_PAD_TO_SHORT_BYTE_CHAR
6366 if (
len < ONIGENC_MBC_MINLEN(env->enc)) {
6367 rem = ONIGENC_MBC_MINLEN(env->enc) -
len;
6368 (void )node_str_head_pad(NSTR(*np), rem, (UChar )0);
6369 if (
len + rem == enclen(env->enc, NSTR(*np)->s)) {
6370 NSTRING_CLEAR_RAW(*np);
6375 return ONIGERR_TOO_SHORT_MULTI_BYTE_STRING;
6378 r = node_str_cat_char(*np, (UChar )tok->u.c);
6379 if (r < 0)
return r;
6388 *np = node_new_empty();
6389 CHECK_NULL_RETURN_MEMERR(*np);
6390 r = node_str_cat_codepoint(*np, env->enc, tok->u.code);
6391 if (r != 0)
return r;
6392#ifdef NUMBERED_CHAR_IS_NOT_CASE_AMBIG
6393 NSTRING_SET_RAW(*np);
6402 OnigCodePoint end_op[2];
6403 UChar *qstart, *qend, *nextp;
6405 end_op[0] = (OnigCodePoint )MC_ESC(env->syntax);
6406 end_op[1] = (OnigCodePoint )
'E';
6408 qend = find_str_position(end_op, 2, qstart, end, &nextp, env->enc);
6409 if (IS_NULL(qend)) {
6412 *np = node_new_str(qstart, qend);
6413 CHECK_NULL_RETURN_MEMERR(*np);
6420 switch (tok->u.prop.ctype) {
6421 case ONIGENC_CTYPE_WORD:
6422 *np = node_new_ctype(tok->u.prop.ctype, tok->u.prop.not,
6423 IS_ASCII_RANGE(env->option));
6424 CHECK_NULL_RETURN_MEMERR(*np);
6427 case ONIGENC_CTYPE_SPACE:
6428 case ONIGENC_CTYPE_DIGIT:
6429 case ONIGENC_CTYPE_XDIGIT:
6433 *np = node_new_cclass();
6434 CHECK_NULL_RETURN_MEMERR(*np);
6436 r = add_ctype_to_cc(cc, tok->u.prop.ctype, 0,
6437 IS_ASCII_RANGE(env->option), env);
6438 if (r != 0)
return r;
6439 if (tok->u.prop.not != 0) NCCLASS_SET_NOT(cc);
6444 return ONIGERR_PARSER_BUG;
6450 case TK_CHAR_PROPERTY:
6451 r = parse_char_property(np, tok, src, end, env);
6452 if (r != 0)
return r;
6461 r = parse_char_class(np, &asc_node, tok, src, end, env);
6463 onig_node_free(asc_node);
6468 if (is_onechar_cclass(cc, &code)) {
6469 onig_node_free(*np);
6470 onig_node_free(asc_node);
6471 *np = node_new_empty();
6472 CHECK_NULL_RETURN_MEMERR(*np);
6473 r = node_str_cat_codepoint(*np, env->enc, code);
6474 if (r != 0)
return r;
6477 if (IS_IGNORECASE(env->option)) {
6478 r = cclass_case_fold(np, cc, NCCLASS(asc_node), env);
6480 onig_node_free(asc_node);
6484 onig_node_free(asc_node);
6489 *np = node_new_anychar();
6490 CHECK_NULL_RETURN_MEMERR(*np);
6493 case TK_ANYCHAR_ANYTIME:
6494 *np = node_new_anychar();
6495 CHECK_NULL_RETURN_MEMERR(*np);
6496 qn = node_new_quantifier(0, REPEAT_INFINITE, 0);
6497 CHECK_NULL_RETURN_MEMERR(qn);
6498 NQTFR(qn)->target = *np;
6503 len = tok->u.backref.num;
6504 *np = node_new_backref(
len,
6505 (
len > 1 ? tok->u.backref.refs : &(tok->u.backref.ref1)),
6506 tok->u.backref.by_name,
6507#ifdef USE_BACKREF_WITH_LEVEL
6508 tok->u.backref.exist_level,
6509 tok->u.backref.level,
6512 CHECK_NULL_RETURN_MEMERR(*np);
6515#ifdef USE_SUBEXP_CALL
6518 int gnum = tok->u.call.gnum;
6520 if (gnum < 0 || tok->u.call.rel != 0) {
6521 if (gnum > 0) gnum--;
6522 gnum = BACKREF_REL_TO_ABS(gnum, env);
6524 return ONIGERR_INVALID_BACKREF;
6526 *np = node_new_call(tok->u.call.name, tok->u.call.name_end, gnum);
6527 CHECK_NULL_RETURN_MEMERR(*np);
6534 *np = onig_node_new_anchor(tok->u.anchor.subtype);
6535 CHECK_NULL_RETURN_MEMERR(*np);
6536 NANCHOR(*np)->ascii_range = tok->u.anchor.ascii_range;
6541 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_CONTEXT_INDEP_REPEAT_OPS)) {
6542 if (IS_SYNTAX_BV(env->syntax, ONIG_SYN_CONTEXT_INVALID_REPEAT_OPS))
6543 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_NOT_SPECIFIED;
6545 *np = node_new_empty();
6553 return ONIGERR_PARSER_BUG;
6561 r = fetch_token(tok, src, end, env);
6562 if (r < 0)
return r;
6565 if (r == TK_OP_REPEAT || r == TK_INTERVAL) {
6566 if (is_invalid_quantifier_target(*targetp))
6567 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_INVALID;
6569 qn = node_new_quantifier(tok->u.repeat.lower, tok->u.repeat.upper,
6570 (r == TK_INTERVAL ? 1 : 0));
6571 CHECK_NULL_RETURN_MEMERR(qn);
6572 NQTFR(qn)->greedy = tok->u.repeat.greedy;
6573 r = set_quantifier(qn, *targetp, group, env);
6579 if (tok->u.repeat.possessive != 0) {
6581 en = node_new_enclose(ENCLOSE_STOP_BACKTRACK);
6584 return ONIGERR_MEMORY;
6586 NENCLOSE(en)->target = qn;
6599 *targetp = node_new_list(*targetp, NULL);
6600 if (IS_NULL(*targetp)) {
6602 return ONIGERR_MEMORY;
6604 tmp = NCDR(*targetp) = node_new_list(qn, NULL);
6607 return ONIGERR_MEMORY;
6609 targetp = &(NCAR(tmp));
6620 UChar** src, UChar* end,
ScanEnv* env)
6623 Node *node, **headp;
6626 r = parse_exp(&node, tok, term, src, end, env);
6628 onig_node_free(node);
6632 if (r == TK_EOT || r == term || r == TK_ALT) {
6636 *top = node_new_list(node, NULL);
6637 headp = &(NCDR(*top));
6638 while (r != TK_EOT && r != term && r != TK_ALT) {
6639 r = parse_exp(&node, tok, term, src, end, env);
6641 onig_node_free(node);
6645 if (NTYPE(node) == NT_LIST) {
6647 while (IS_NOT_NULL(NCDR(node))) node = NCDR(node);
6648 headp = &(NCDR(node));
6651 *headp = node_new_list(node, NULL);
6652 headp = &(NCDR(*headp));
6663 UChar** src, UChar* end,
ScanEnv* env)
6666 Node *node, **headp;
6670 if (env->parse_depth > ParseDepthLimit)
6671 return ONIGERR_PARSE_DEPTH_LIMIT_OVER;
6672 r = parse_branch(&node, tok, term, src, end, env);
6674 onig_node_free(node);
6681 else if (r == TK_ALT) {
6682 *top = onig_node_new_alt(node, NULL);
6683 headp = &(NCDR(*top));
6684 while (r == TK_ALT) {
6685 r = fetch_token(tok, src, end, env);
6686 if (r < 0)
return r;
6687 r = parse_branch(&node, tok, term, src, end, env);
6689 onig_node_free(node);
6693 *headp = onig_node_new_alt(node, NULL);
6694 headp = &(NCDR(*headp));
6697 if (tok->type != (
enum TokenSyms )term)
6701 onig_node_free(node);
6703 if (term == TK_SUBEXP_CLOSE)
6704 return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS;
6706 return ONIGERR_PARSER_BUG;
6714parse_regexp(
Node** top, UChar** src, UChar* end,
ScanEnv* env)
6719 r = fetch_token(&tok, src, end, env);
6720 if (r < 0)
return r;
6721 r = parse_subexp(top, &tok, TK_EOT, src, end, env);
6722 if (r < 0)
return r;
6724#ifdef USE_SUBEXP_CALL
6725 if (env->num_call > 0) {
6729 np = node_new_enclose_memory(env->option, 0);
6730 CHECK_NULL_RETURN_MEMERR(np);
6731 NENCLOSE(np)->regnum = num;
6732 NENCLOSE(np)->target = *top;
6733 r = scan_env_set_mem_node(env, num, np);
6745onig_parse_make_tree(
Node** root,
const UChar* pattern,
const UChar* end,
6751#ifdef USE_NAMED_GROUP
6755 scan_env_clear(env);
6756 env->option = reg->options;
6757 env->case_fold_flag = reg->case_fold_flag;
6758 env->enc = reg->enc;
6759 env->syntax = reg->syntax;
6760 env->pattern = (UChar* )pattern;
6761 env->pattern_end = (UChar* )end;
6765 p = (UChar* )pattern;
6766 r = parse_regexp(root, &p, (UChar* )end, env);
6767 reg->num_mem = env->num_mem;
6772onig_scan_env_set_error_string(
ScanEnv* env,
int ecode ARG_UNUSED,
6773 UChar* arg, UChar* arg_end)
6776 env->error_end = arg_end;
#define xfree
Old name of ruby_xfree.
#define xrealloc
Old name of ruby_xrealloc.
#define xmalloc
Old name of ruby_xmalloc.
#define ruby_verbose
This variable controls whether the interpreter is in debug mode.
void rb_warn(const char *fmt,...)
Identical to rb_warning(), except it reports unless $VERBOSE is nil.
int capa
Designed capacity of the buffer.
int len
Length of the buffer.
VALUE type(ANYARGS)
ANYARGS-ed function type.
#define RTEST
This is an old name of RB_TEST.