4
0

regex_internal.h 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855
  1. /* Extended regular expression matching and search library.
  2. Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
  3. Free Software Foundation, Inc.
  4. This file is part of the GNU C Library.
  5. Contributed by Isamu Hasegawa <isamu@yamato.ibm.com>.
  6. This program is free software; you can redistribute it and/or modify
  7. it under the terms of the GNU General Public License as published by
  8. the Free Software Foundation; either version 3, or (at your option)
  9. any later version.
  10. This program is distributed in the hope that it will be useful,
  11. but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  13. GNU General Public License for more details.
  14. You should have received a copy of the GNU General Public License along
  15. with this program; if not, write to the Free Software Foundation,
  16. Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
  17. #ifndef _REGEX_INTERNAL_H
  18. #define _REGEX_INTERNAL_H 1
  19. #include <assert.h>
  20. #include <ctype.h>
  21. #include <stdbool.h>
  22. #include <stdio.h>
  23. #include <stdlib.h>
  24. #include <string.h>
  25. #ifdef _LIBC
  26. # include <langinfo.h>
  27. #else
  28. # include "localcharset.h"
  29. #endif
  30. #if defined HAVE_LOCALE_H || defined _LIBC
  31. # include <locale.h>
  32. #endif
  33. #include <wchar.h>
  34. #include <wctype.h>
  35. #include <stdint.h>
  36. #if defined _LIBC
  37. # include <bits/libc-lock.h>
  38. #else
  39. # define __libc_lock_init(NAME) do { } while (0)
  40. # define __libc_lock_lock(NAME) do { } while (0)
  41. # define __libc_lock_unlock(NAME) do { } while (0)
  42. #endif
  43. /* In case that the system doesn't have isblank(). */
  44. #if !defined _LIBC && ! (defined isblank || (HAVE_ISBLANK && HAVE_DECL_ISBLANK))
  45. # define isblank(ch) ((ch) == ' ' || (ch) == '\t')
  46. #endif
  47. #ifdef _LIBC
  48. # ifndef _RE_DEFINE_LOCALE_FUNCTIONS
  49. # define _RE_DEFINE_LOCALE_FUNCTIONS 1
  50. # include <locale/localeinfo.h>
  51. # include <locale/elem-hash.h>
  52. # include <locale/coll-lookup.h>
  53. # endif
  54. #endif
  55. /* This is for other GNU distributions with internationalized messages. */
  56. #if (HAVE_LIBINTL_H && ENABLE_NLS) || defined _LIBC
  57. # include <libintl.h>
  58. # ifdef _LIBC
  59. # undef gettext
  60. # define gettext(msgid) \
  61. INTUSE(__dcgettext) (_libc_intl_domainname, msgid, LC_MESSAGES)
  62. # endif
  63. #else
  64. # define gettext(msgid) (msgid)
  65. #endif
  66. #ifndef gettext_noop
  67. /* This define is so xgettext can find the internationalizable
  68. strings. */
  69. # define gettext_noop(String) String
  70. #endif
  71. /* For loser systems without the definition. */
  72. #ifndef SIZE_MAX
  73. # define SIZE_MAX ((size_t) -1)
  74. #endif
  75. #if (defined MB_CUR_MAX && HAVE_LOCALE_H && HAVE_WCTYPE_H && HAVE_ISWCTYPE && HAVE_WCSCOLL) || _LIBC
  76. # define RE_ENABLE_I18N
  77. #endif
  78. #if __GNUC__ >= 3
  79. # define BE(expr, val) __builtin_expect (expr, val)
  80. #else
  81. # define BE(expr, val) (expr)
  82. # ifdef _LIBC
  83. # define inline
  84. # endif
  85. #endif
  86. /* Number of ASCII characters. */
  87. #define ASCII_CHARS 0x80
  88. /* Number of single byte characters. */
  89. #define SBC_MAX (UCHAR_MAX + 1)
  90. #define COLL_ELEM_LEN_MAX 8
  91. /* The character which represents newline. */
  92. #define NEWLINE_CHAR '\n'
  93. #define WIDE_NEWLINE_CHAR L'\n'
  94. /* Rename to standard API for using out of glibc. */
  95. #ifndef _LIBC
  96. # define __wctype wctype
  97. # define __iswctype iswctype
  98. # define __btowc btowc
  99. # define __wcrtomb wcrtomb
  100. # define __mbrtowc mbrtowc
  101. # define __regfree regfree
  102. # define attribute_hidden
  103. #endif /* not _LIBC */
  104. #if __GNUC__ >= 4 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 1)
  105. # define __attribute(arg) __attribute__ (arg)
  106. #else
  107. # define __attribute(arg)
  108. #endif
  109. typedef __re_idx_t Idx;
  110. /* Special return value for failure to match. */
  111. #define REG_MISSING ((Idx) -1)
  112. /* Special return value for internal error. */
  113. #define REG_ERROR ((Idx) -2)
  114. /* Test whether N is a valid index, and is not one of the above. */
  115. #ifdef _REGEX_LARGE_OFFSETS
  116. # define REG_VALID_INDEX(n) ((Idx) (n) < REG_ERROR)
  117. #else
  118. # define REG_VALID_INDEX(n) (0 <= (n))
  119. #endif
  120. /* Test whether N is a valid nonzero index. */
  121. #ifdef _REGEX_LARGE_OFFSETS
  122. # define REG_VALID_NONZERO_INDEX(n) ((Idx) ((n) - 1) < (Idx) (REG_ERROR - 1))
  123. #else
  124. # define REG_VALID_NONZERO_INDEX(n) (0 < (n))
  125. #endif
  126. /* A hash value, suitable for computing hash tables. */
  127. typedef __re_size_t re_hashval_t;
  128. /* An integer used to represent a set of bits. It must be unsigned,
  129. and must be at least as wide as unsigned int. */
  130. typedef unsigned long int bitset_word_t;
  131. /* All bits set in a bitset_word_t. */
  132. #define BITSET_WORD_MAX ULONG_MAX
  133. /* Number of bits in a bitset_word_t. For portability to hosts with
  134. padding bits, do not use '(sizeof (bitset_word_t) * CHAR_BIT)';
  135. instead, deduce it directly from BITSET_WORD_MAX. Avoid
  136. greater-than-32-bit integers and unconditional shifts by more than
  137. 31 bits, as they're not portable. */
  138. #if BITSET_WORD_MAX == 0xffffffffUL
  139. # define BITSET_WORD_BITS 32
  140. #elif BITSET_WORD_MAX >> 31 >> 4 == 1
  141. # define BITSET_WORD_BITS 36
  142. #elif BITSET_WORD_MAX >> 31 >> 16 == 1
  143. # define BITSET_WORD_BITS 48
  144. #elif BITSET_WORD_MAX >> 31 >> 28 == 1
  145. # define BITSET_WORD_BITS 60
  146. #elif BITSET_WORD_MAX >> 31 >> 31 >> 1 == 1
  147. # define BITSET_WORD_BITS 64
  148. #elif BITSET_WORD_MAX >> 31 >> 31 >> 9 == 1
  149. # define BITSET_WORD_BITS 72
  150. #elif BITSET_WORD_MAX >> 31 >> 31 >> 31 >> 31 >> 3 == 1
  151. # define BITSET_WORD_BITS 128
  152. #elif BITSET_WORD_MAX >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 7 == 1
  153. # define BITSET_WORD_BITS 256
  154. #elif BITSET_WORD_MAX >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 31 >> 7 > 1
  155. # define BITSET_WORD_BITS 257 /* any value > SBC_MAX will do here */
  156. # if BITSET_WORD_BITS <= SBC_MAX
  157. # error "Invalid SBC_MAX"
  158. # endif
  159. #else
  160. # error "Add case for new bitset_word_t size"
  161. #endif
  162. /* Number of bitset_word_t values in a bitset_t. */
  163. #define BITSET_WORDS ((SBC_MAX + BITSET_WORD_BITS - 1) / BITSET_WORD_BITS)
  164. typedef bitset_word_t bitset_t[BITSET_WORDS];
  165. typedef bitset_word_t *re_bitset_ptr_t;
  166. typedef const bitset_word_t *re_const_bitset_ptr_t;
  167. #define PREV_WORD_CONSTRAINT 0x0001
  168. #define PREV_NOTWORD_CONSTRAINT 0x0002
  169. #define NEXT_WORD_CONSTRAINT 0x0004
  170. #define NEXT_NOTWORD_CONSTRAINT 0x0008
  171. #define PREV_NEWLINE_CONSTRAINT 0x0010
  172. #define NEXT_NEWLINE_CONSTRAINT 0x0020
  173. #define PREV_BEGBUF_CONSTRAINT 0x0040
  174. #define NEXT_ENDBUF_CONSTRAINT 0x0080
  175. #define WORD_DELIM_CONSTRAINT 0x0100
  176. #define NOT_WORD_DELIM_CONSTRAINT 0x0200
  177. typedef enum
  178. {
  179. INSIDE_WORD = PREV_WORD_CONSTRAINT | NEXT_WORD_CONSTRAINT,
  180. WORD_FIRST = PREV_NOTWORD_CONSTRAINT | NEXT_WORD_CONSTRAINT,
  181. WORD_LAST = PREV_WORD_CONSTRAINT | NEXT_NOTWORD_CONSTRAINT,
  182. INSIDE_NOTWORD = PREV_NOTWORD_CONSTRAINT | NEXT_NOTWORD_CONSTRAINT,
  183. LINE_FIRST = PREV_NEWLINE_CONSTRAINT,
  184. LINE_LAST = NEXT_NEWLINE_CONSTRAINT,
  185. BUF_FIRST = PREV_BEGBUF_CONSTRAINT,
  186. BUF_LAST = NEXT_ENDBUF_CONSTRAINT,
  187. WORD_DELIM = WORD_DELIM_CONSTRAINT,
  188. NOT_WORD_DELIM = NOT_WORD_DELIM_CONSTRAINT
  189. } re_context_type;
  190. typedef struct
  191. {
  192. Idx alloc;
  193. Idx nelem;
  194. Idx *elems;
  195. } re_node_set;
  196. typedef enum
  197. {
  198. NON_TYPE = 0,
  199. /* Node type, These are used by token, node, tree. */
  200. CHARACTER = 1,
  201. END_OF_RE = 2,
  202. SIMPLE_BRACKET = 3,
  203. OP_BACK_REF = 4,
  204. OP_PERIOD = 5,
  205. #ifdef RE_ENABLE_I18N
  206. COMPLEX_BRACKET = 6,
  207. OP_UTF8_PERIOD = 7,
  208. #endif /* RE_ENABLE_I18N */
  209. /* We define EPSILON_BIT as a macro so that OP_OPEN_SUBEXP is used
  210. when the debugger shows values of this enum type. */
  211. #define EPSILON_BIT 8
  212. OP_OPEN_SUBEXP = EPSILON_BIT | 0,
  213. OP_CLOSE_SUBEXP = EPSILON_BIT | 1,
  214. OP_ALT = EPSILON_BIT | 2,
  215. OP_DUP_ASTERISK = EPSILON_BIT | 3,
  216. ANCHOR = EPSILON_BIT | 4,
  217. /* Tree type, these are used only by tree. */
  218. CONCAT = 16,
  219. SUBEXP = 17,
  220. /* Token type, these are used only by token. */
  221. OP_DUP_PLUS = 18,
  222. OP_DUP_QUESTION,
  223. OP_OPEN_BRACKET,
  224. OP_CLOSE_BRACKET,
  225. OP_CHARSET_RANGE,
  226. OP_OPEN_DUP_NUM,
  227. OP_CLOSE_DUP_NUM,
  228. OP_NON_MATCH_LIST,
  229. OP_OPEN_COLL_ELEM,
  230. OP_CLOSE_COLL_ELEM,
  231. OP_OPEN_EQUIV_CLASS,
  232. OP_CLOSE_EQUIV_CLASS,
  233. OP_OPEN_CHAR_CLASS,
  234. OP_CLOSE_CHAR_CLASS,
  235. OP_WORD,
  236. OP_NOTWORD,
  237. OP_SPACE,
  238. OP_NOTSPACE,
  239. BACK_SLASH
  240. } re_token_type_t;
  241. #ifdef RE_ENABLE_I18N
  242. typedef struct
  243. {
  244. /* Multibyte characters. */
  245. wchar_t *mbchars;
  246. /* Collating symbols. */
  247. # ifdef _LIBC
  248. int32_t *coll_syms;
  249. # endif
  250. /* Equivalence classes. */
  251. # ifdef _LIBC
  252. int32_t *equiv_classes;
  253. # endif
  254. /* Range expressions. */
  255. # ifdef _LIBC
  256. uint32_t *range_starts;
  257. uint32_t *range_ends;
  258. # else /* not _LIBC */
  259. wchar_t *range_starts;
  260. wchar_t *range_ends;
  261. # endif /* not _LIBC */
  262. /* Character classes. */
  263. wctype_t *char_classes;
  264. /* If this character set is the non-matching list. */
  265. unsigned int non_match : 1;
  266. /* # of multibyte characters. */
  267. Idx nmbchars;
  268. /* # of collating symbols. */
  269. Idx ncoll_syms;
  270. /* # of equivalence classes. */
  271. Idx nequiv_classes;
  272. /* # of range expressions. */
  273. Idx nranges;
  274. /* # of character classes. */
  275. Idx nchar_classes;
  276. } re_charset_t;
  277. #endif /* RE_ENABLE_I18N */
  278. typedef struct
  279. {
  280. union
  281. {
  282. unsigned char c; /* for CHARACTER */
  283. re_bitset_ptr_t sbcset; /* for SIMPLE_BRACKET */
  284. #ifdef RE_ENABLE_I18N
  285. re_charset_t *mbcset; /* for COMPLEX_BRACKET */
  286. #endif /* RE_ENABLE_I18N */
  287. Idx idx; /* for BACK_REF */
  288. re_context_type ctx_type; /* for ANCHOR */
  289. } opr;
  290. #if __GNUC__ >= 2 && !__STRICT_ANSI__
  291. re_token_type_t type : 8;
  292. #else
  293. re_token_type_t type;
  294. #endif
  295. unsigned int constraint : 10; /* context constraint */
  296. unsigned int duplicated : 1;
  297. unsigned int opt_subexp : 1;
  298. #ifdef RE_ENABLE_I18N
  299. unsigned int accept_mb : 1;
  300. /* These 2 bits can be moved into the union if needed (e.g. if running out
  301. of bits; move opr.c to opr.c.c and move the flags to opr.c.flags). */
  302. unsigned int mb_partial : 1;
  303. #endif
  304. unsigned int word_char : 1;
  305. } re_token_t;
  306. #define IS_EPSILON_NODE(type) ((type) & EPSILON_BIT)
  307. struct re_string_t
  308. {
  309. /* Indicate the raw buffer which is the original string passed as an
  310. argument of regexec(), re_search(), etc.. */
  311. const unsigned char *raw_mbs;
  312. /* Store the multibyte string. In case of "case insensitive mode" like
  313. REG_ICASE, upper cases of the string are stored, otherwise MBS points
  314. the same address that RAW_MBS points. */
  315. unsigned char *mbs;
  316. #ifdef RE_ENABLE_I18N
  317. /* Store the wide character string which is corresponding to MBS. */
  318. wint_t *wcs;
  319. Idx *offsets;
  320. mbstate_t cur_state;
  321. #endif
  322. /* Index in RAW_MBS. Each character mbs[i] corresponds to
  323. raw_mbs[raw_mbs_idx + i]. */
  324. Idx raw_mbs_idx;
  325. /* The length of the valid characters in the buffers. */
  326. Idx valid_len;
  327. /* The corresponding number of bytes in raw_mbs array. */
  328. Idx valid_raw_len;
  329. /* The length of the buffers MBS and WCS. */
  330. Idx bufs_len;
  331. /* The index in MBS, which is updated by re_string_fetch_byte. */
  332. Idx cur_idx;
  333. /* length of RAW_MBS array. */
  334. Idx raw_len;
  335. /* This is RAW_LEN - RAW_MBS_IDX + VALID_LEN - VALID_RAW_LEN. */
  336. Idx len;
  337. /* End of the buffer may be shorter than its length in the cases such
  338. as re_match_2, re_search_2. Then, we use STOP for end of the buffer
  339. instead of LEN. */
  340. Idx raw_stop;
  341. /* This is RAW_STOP - RAW_MBS_IDX adjusted through OFFSETS. */
  342. Idx stop;
  343. /* The context of mbs[0]. We store the context independently, since
  344. the context of mbs[0] may be different from raw_mbs[0], which is
  345. the beginning of the input string. */
  346. unsigned int tip_context;
  347. /* The translation passed as a part of an argument of re_compile_pattern. */
  348. RE_TRANSLATE_TYPE trans;
  349. /* Copy of re_dfa_t's word_char. */
  350. re_const_bitset_ptr_t word_char;
  351. /* true if REG_ICASE. */
  352. unsigned char icase;
  353. unsigned char is_utf8;
  354. unsigned char map_notascii;
  355. unsigned char mbs_allocated;
  356. unsigned char offsets_needed;
  357. unsigned char newline_anchor;
  358. unsigned char word_ops_used;
  359. int mb_cur_max;
  360. };
  361. typedef struct re_string_t re_string_t;
  362. struct re_dfa_t;
  363. typedef struct re_dfa_t re_dfa_t;
  364. #ifndef _LIBC
  365. # if defined __i386__ && !defined __EMX__
  366. # define internal_function __attribute ((regparm (3), stdcall))
  367. # else
  368. # define internal_function
  369. # endif
  370. #endif
  371. static reg_errcode_t re_string_realloc_buffers (re_string_t *pstr,
  372. Idx new_buf_len)
  373. internal_function;
  374. #ifdef RE_ENABLE_I18N
  375. static void build_wcs_buffer (re_string_t *pstr) internal_function;
  376. static reg_errcode_t build_wcs_upper_buffer (re_string_t *pstr)
  377. internal_function;
  378. #endif /* RE_ENABLE_I18N */
  379. static void build_upper_buffer (re_string_t *pstr) internal_function;
  380. static void re_string_translate_buffer (re_string_t *pstr) internal_function;
  381. static unsigned int re_string_context_at (const re_string_t *input, Idx idx,
  382. int eflags)
  383. internal_function __attribute ((pure));
  384. #define re_string_peek_byte(pstr, offset) \
  385. ((pstr)->mbs[(pstr)->cur_idx + offset])
  386. #define re_string_fetch_byte(pstr) \
  387. ((pstr)->mbs[(pstr)->cur_idx++])
  388. #define re_string_first_byte(pstr, idx) \
  389. ((idx) == (pstr)->valid_len || (pstr)->wcs[idx] != WEOF)
  390. #define re_string_is_single_byte_char(pstr, idx) \
  391. ((pstr)->wcs[idx] != WEOF && ((pstr)->valid_len == (idx) + 1 \
  392. || (pstr)->wcs[(idx) + 1] != WEOF))
  393. #define re_string_eoi(pstr) ((pstr)->stop <= (pstr)->cur_idx)
  394. #define re_string_cur_idx(pstr) ((pstr)->cur_idx)
  395. #define re_string_get_buffer(pstr) ((pstr)->mbs)
  396. #define re_string_length(pstr) ((pstr)->len)
  397. #define re_string_byte_at(pstr,idx) ((pstr)->mbs[idx])
  398. #define re_string_skip_bytes(pstr,idx) ((pstr)->cur_idx += (idx))
  399. #define re_string_set_index(pstr,idx) ((pstr)->cur_idx = (idx))
  400. #include <alloca.h>
  401. #ifndef _LIBC
  402. # if HAVE_ALLOCA
  403. /* The OS usually guarantees only one guard page at the bottom of the stack,
  404. and a page size can be as small as 4096 bytes. So we cannot safely
  405. allocate anything larger than 4096 bytes. Also care for the possibility
  406. of a few compiler-allocated temporary stack slots. */
  407. # define __libc_use_alloca(n) ((n) < 4032)
  408. # else
  409. /* alloca is implemented with malloc, so just use malloc. */
  410. # define __libc_use_alloca(n) 0
  411. # endif
  412. #endif
  413. #ifndef MAX
  414. # define MAX(a,b) ((a) < (b) ? (b) : (a))
  415. #endif
  416. #define re_malloc(t,n) ((t *) malloc ((n) * sizeof (t)))
  417. #define re_realloc(p,t,n) ((t *) realloc (p, (n) * sizeof (t)))
  418. #define re_free(p) free (p)
  419. struct bin_tree_t
  420. {
  421. struct bin_tree_t *parent;
  422. struct bin_tree_t *left;
  423. struct bin_tree_t *right;
  424. struct bin_tree_t *first;
  425. struct bin_tree_t *next;
  426. re_token_t token;
  427. /* `node_idx' is the index in dfa->nodes, if `type' == 0.
  428. Otherwise `type' indicate the type of this node. */
  429. Idx node_idx;
  430. };
  431. typedef struct bin_tree_t bin_tree_t;
  432. #define BIN_TREE_STORAGE_SIZE \
  433. ((1024 - sizeof (void *)) / sizeof (bin_tree_t))
  434. struct bin_tree_storage_t
  435. {
  436. struct bin_tree_storage_t *next;
  437. bin_tree_t data[BIN_TREE_STORAGE_SIZE];
  438. };
  439. typedef struct bin_tree_storage_t bin_tree_storage_t;
  440. #define CONTEXT_WORD 1
  441. #define CONTEXT_NEWLINE (CONTEXT_WORD << 1)
  442. #define CONTEXT_BEGBUF (CONTEXT_NEWLINE << 1)
  443. #define CONTEXT_ENDBUF (CONTEXT_BEGBUF << 1)
  444. #define IS_WORD_CONTEXT(c) ((c) & CONTEXT_WORD)
  445. #define IS_NEWLINE_CONTEXT(c) ((c) & CONTEXT_NEWLINE)
  446. #define IS_BEGBUF_CONTEXT(c) ((c) & CONTEXT_BEGBUF)
  447. #define IS_ENDBUF_CONTEXT(c) ((c) & CONTEXT_ENDBUF)
  448. #define IS_ORDINARY_CONTEXT(c) ((c) == 0)
  449. #define IS_WORD_CHAR(ch) (isalnum (ch) || (ch) == '_')
  450. #define IS_NEWLINE(ch) ((ch) == NEWLINE_CHAR)
  451. #define IS_WIDE_WORD_CHAR(ch) (iswalnum (ch) || (ch) == L'_')
  452. #define IS_WIDE_NEWLINE(ch) ((ch) == WIDE_NEWLINE_CHAR)
  453. #define NOT_SATISFY_PREV_CONSTRAINT(constraint,context) \
  454. ((((constraint) & PREV_WORD_CONSTRAINT) && !IS_WORD_CONTEXT (context)) \
  455. || ((constraint & PREV_NOTWORD_CONSTRAINT) && IS_WORD_CONTEXT (context)) \
  456. || ((constraint & PREV_NEWLINE_CONSTRAINT) && !IS_NEWLINE_CONTEXT (context))\
  457. || ((constraint & PREV_BEGBUF_CONSTRAINT) && !IS_BEGBUF_CONTEXT (context)))
  458. #define NOT_SATISFY_NEXT_CONSTRAINT(constraint,context) \
  459. ((((constraint) & NEXT_WORD_CONSTRAINT) && !IS_WORD_CONTEXT (context)) \
  460. || (((constraint) & NEXT_NOTWORD_CONSTRAINT) && IS_WORD_CONTEXT (context)) \
  461. || (((constraint) & NEXT_NEWLINE_CONSTRAINT) && !IS_NEWLINE_CONTEXT (context)) \
  462. || (((constraint) & NEXT_ENDBUF_CONSTRAINT) && !IS_ENDBUF_CONTEXT (context)))
  463. struct re_dfastate_t
  464. {
  465. re_hashval_t hash;
  466. re_node_set nodes;
  467. re_node_set non_eps_nodes;
  468. re_node_set inveclosure;
  469. re_node_set *entrance_nodes;
  470. struct re_dfastate_t **trtable, **word_trtable;
  471. unsigned int context : 4;
  472. unsigned int halt : 1;
  473. /* If this state can accept `multi byte'.
  474. Note that we refer to multibyte characters, and multi character
  475. collating elements as `multi byte'. */
  476. unsigned int accept_mb : 1;
  477. /* If this state has backreference node(s). */
  478. unsigned int has_backref : 1;
  479. unsigned int has_constraint : 1;
  480. };
  481. typedef struct re_dfastate_t re_dfastate_t;
  482. struct re_state_table_entry
  483. {
  484. Idx num;
  485. Idx alloc;
  486. re_dfastate_t **array;
  487. };
  488. /* Array type used in re_sub_match_last_t and re_sub_match_top_t. */
  489. typedef struct
  490. {
  491. Idx next_idx;
  492. Idx alloc;
  493. re_dfastate_t **array;
  494. } state_array_t;
  495. /* Store information about the node NODE whose type is OP_CLOSE_SUBEXP. */
  496. typedef struct
  497. {
  498. Idx node;
  499. Idx str_idx; /* The position NODE match at. */
  500. state_array_t path;
  501. } re_sub_match_last_t;
  502. /* Store information about the node NODE whose type is OP_OPEN_SUBEXP.
  503. And information about the node, whose type is OP_CLOSE_SUBEXP,
  504. corresponding to NODE is stored in LASTS. */
  505. typedef struct
  506. {
  507. Idx str_idx;
  508. Idx node;
  509. state_array_t *path;
  510. Idx alasts; /* Allocation size of LASTS. */
  511. Idx nlasts; /* The number of LASTS. */
  512. re_sub_match_last_t **lasts;
  513. } re_sub_match_top_t;
  514. struct re_backref_cache_entry
  515. {
  516. Idx node;
  517. Idx str_idx;
  518. Idx subexp_from;
  519. Idx subexp_to;
  520. char more;
  521. char unused;
  522. unsigned short int eps_reachable_subexps_map;
  523. };
  524. typedef struct
  525. {
  526. /* The string object corresponding to the input string. */
  527. re_string_t input;
  528. #if defined _LIBC || (defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L)
  529. const re_dfa_t *const dfa;
  530. #else
  531. const re_dfa_t *dfa;
  532. #endif
  533. /* EFLAGS of the argument of regexec. */
  534. int eflags;
  535. /* Where the matching ends. */
  536. Idx match_last;
  537. Idx last_node;
  538. /* The state log used by the matcher. */
  539. re_dfastate_t **state_log;
  540. Idx state_log_top;
  541. /* Back reference cache. */
  542. Idx nbkref_ents;
  543. Idx abkref_ents;
  544. struct re_backref_cache_entry *bkref_ents;
  545. int max_mb_elem_len;
  546. Idx nsub_tops;
  547. Idx asub_tops;
  548. re_sub_match_top_t **sub_tops;
  549. } re_match_context_t;
  550. typedef struct
  551. {
  552. re_dfastate_t **sifted_states;
  553. re_dfastate_t **limited_states;
  554. Idx last_node;
  555. Idx last_str_idx;
  556. re_node_set limits;
  557. } re_sift_context_t;
  558. struct re_fail_stack_ent_t
  559. {
  560. Idx idx;
  561. Idx node;
  562. regmatch_t *regs;
  563. re_node_set eps_via_nodes;
  564. };
  565. struct re_fail_stack_t
  566. {
  567. Idx num;
  568. Idx alloc;
  569. struct re_fail_stack_ent_t *stack;
  570. };
  571. struct re_dfa_t
  572. {
  573. re_token_t *nodes;
  574. size_t nodes_alloc;
  575. size_t nodes_len;
  576. Idx *nexts;
  577. Idx *org_indices;
  578. re_node_set *edests;
  579. re_node_set *eclosures;
  580. re_node_set *inveclosures;
  581. struct re_state_table_entry *state_table;
  582. re_dfastate_t *init_state;
  583. re_dfastate_t *init_state_word;
  584. re_dfastate_t *init_state_nl;
  585. re_dfastate_t *init_state_begbuf;
  586. bin_tree_t *str_tree;
  587. bin_tree_storage_t *str_tree_storage;
  588. re_bitset_ptr_t sb_char;
  589. int str_tree_storage_idx;
  590. /* number of subexpressions `re_nsub' is in regex_t. */
  591. re_hashval_t state_hash_mask;
  592. Idx init_node;
  593. Idx nbackref; /* The number of backreference in this dfa. */
  594. /* Bitmap expressing which backreference is used. */
  595. bitset_word_t used_bkref_map;
  596. bitset_word_t completed_bkref_map;
  597. unsigned int has_plural_match : 1;
  598. /* If this dfa has "multibyte node", which is a backreference or
  599. a node which can accept multibyte character or multi character
  600. collating element. */
  601. unsigned int has_mb_node : 1;
  602. unsigned int is_utf8 : 1;
  603. unsigned int map_notascii : 1;
  604. unsigned int word_ops_used : 1;
  605. int mb_cur_max;
  606. bitset_t word_char;
  607. reg_syntax_t syntax;
  608. Idx *subexp_map;
  609. #ifdef DEBUG
  610. char* re_str;
  611. #endif
  612. #ifdef _LIBC
  613. __libc_lock_define (, lock)
  614. #endif
  615. };
  616. #define re_node_set_init_empty(set) memset (set, '\0', sizeof (re_node_set))
  617. #define re_node_set_remove(set,id) \
  618. (re_node_set_remove_at (set, re_node_set_contains (set, id) - 1))
  619. #define re_node_set_empty(p) ((p)->nelem = 0)
  620. #define re_node_set_free(set) re_free ((set)->elems)
  621. typedef enum
  622. {
  623. SB_CHAR,
  624. MB_CHAR,
  625. EQUIV_CLASS,
  626. COLL_SYM,
  627. CHAR_CLASS
  628. } bracket_elem_type;
  629. typedef struct
  630. {
  631. bracket_elem_type type;
  632. union
  633. {
  634. unsigned char ch;
  635. unsigned char *name;
  636. wchar_t wch;
  637. } opr;
  638. } bracket_elem_t;
  639. /* Inline functions for bitset_t operation. */
  640. static inline void
  641. bitset_set (bitset_t set, Idx i)
  642. {
  643. set[i / BITSET_WORD_BITS] |= (bitset_word_t) 1 << i % BITSET_WORD_BITS;
  644. }
  645. static inline void
  646. bitset_clear (bitset_t set, Idx i)
  647. {
  648. set[i / BITSET_WORD_BITS] &= ~ ((bitset_word_t) 1 << i % BITSET_WORD_BITS);
  649. }
  650. static inline bool
  651. bitset_contain (const bitset_t set, Idx i)
  652. {
  653. return (set[i / BITSET_WORD_BITS] >> i % BITSET_WORD_BITS) & 1;
  654. }
  655. static inline void
  656. bitset_empty (bitset_t set)
  657. {
  658. memset (set, '\0', sizeof (bitset_t));
  659. }
  660. static inline void
  661. bitset_set_all (bitset_t set)
  662. {
  663. memset (set, -1, sizeof (bitset_word_t) * (SBC_MAX / BITSET_WORD_BITS));
  664. if (SBC_MAX % BITSET_WORD_BITS != 0)
  665. set[BITSET_WORDS - 1] =
  666. ((bitset_word_t) 1 << SBC_MAX % BITSET_WORD_BITS) - 1;
  667. }
  668. static inline void
  669. bitset_copy (bitset_t dest, const bitset_t src)
  670. {
  671. memcpy (dest, src, sizeof (bitset_t));
  672. }
  673. static inline void
  674. bitset_not (bitset_t set)
  675. {
  676. int bitset_i;
  677. for (bitset_i = 0; bitset_i < SBC_MAX / BITSET_WORD_BITS; ++bitset_i)
  678. set[bitset_i] = ~set[bitset_i];
  679. if (SBC_MAX % BITSET_WORD_BITS != 0)
  680. set[BITSET_WORDS - 1] =
  681. ((((bitset_word_t) 1 << SBC_MAX % BITSET_WORD_BITS) - 1)
  682. & ~set[BITSET_WORDS - 1]);
  683. }
  684. static inline void
  685. bitset_merge (bitset_t dest, const bitset_t src)
  686. {
  687. int bitset_i;
  688. for (bitset_i = 0; bitset_i < BITSET_WORDS; ++bitset_i)
  689. dest[bitset_i] |= src[bitset_i];
  690. }
  691. static inline void
  692. bitset_mask (bitset_t dest, const bitset_t src)
  693. {
  694. int bitset_i;
  695. for (bitset_i = 0; bitset_i < BITSET_WORDS; ++bitset_i)
  696. dest[bitset_i] &= src[bitset_i];
  697. }
  698. #ifdef RE_ENABLE_I18N
  699. /* Inline functions for re_string. */
  700. static inline int
  701. internal_function __attribute ((pure))
  702. re_string_char_size_at (const re_string_t *pstr, Idx idx)
  703. {
  704. int byte_idx;
  705. if (pstr->mb_cur_max == 1)
  706. return 1;
  707. for (byte_idx = 1; idx + byte_idx < pstr->valid_len; ++byte_idx)
  708. if (pstr->wcs[idx + byte_idx] != WEOF)
  709. break;
  710. return byte_idx;
  711. }
  712. static inline wint_t
  713. internal_function __attribute ((pure))
  714. re_string_wchar_at (const re_string_t *pstr, Idx idx)
  715. {
  716. if (pstr->mb_cur_max == 1)
  717. return (wint_t) pstr->mbs[idx];
  718. return (wint_t) pstr->wcs[idx];
  719. }
  720. static int
  721. internal_function __attribute ((pure))
  722. re_string_elem_size_at (const re_string_t *pstr, Idx idx)
  723. {
  724. # ifdef _LIBC
  725. const unsigned char *p, *extra;
  726. const int32_t *table, *indirect;
  727. int32_t tmp;
  728. # include <locale/weight.h>
  729. uint_fast32_t nrules = _NL_CURRENT_WORD (LC_COLLATE, _NL_COLLATE_NRULES);
  730. if (nrules != 0)
  731. {
  732. table = (const int32_t *) _NL_CURRENT (LC_COLLATE, _NL_COLLATE_TABLEMB);
  733. extra = (const unsigned char *)
  734. _NL_CURRENT (LC_COLLATE, _NL_COLLATE_EXTRAMB);
  735. indirect = (const int32_t *) _NL_CURRENT (LC_COLLATE,
  736. _NL_COLLATE_INDIRECTMB);
  737. p = pstr->mbs + idx;
  738. tmp = findidx (&p);
  739. return p - pstr->mbs - idx;
  740. }
  741. else
  742. # endif /* _LIBC */
  743. return 1;
  744. }
  745. #endif /* RE_ENABLE_I18N */
  746. #endif /* _REGEX_INTERNAL_H */