Marco Trevisan (Treviño)
bec68b2d74
glib/regex: Do not use JIT when using unsupported match options
...
Do not store jit status for regex unless during initial compilation.
After that, decide whether to use it depending on matching options.
In fact there are some matching options that are incompatible with JIT,
as the PCRE2 docs states:
Setting PCRE2_ANCHORED or PCRE2_ENDANCHORED at match time is not
supported by the just-in-time (JIT) compiler. If it is set, JIT
matching is disabled and the interpretive code in pcre2_match() is
run. Apart from PCRE2_NO_JIT (obviously), the remaining options are
supported for JIT matching.
Fixes : GNOME/gtksourceview#283
2022-09-12 14:08:13 +02:00
..
2020-10-01 11:46:23 +01:00
2020-04-03 16:30:27 +02:00
2021-01-28 18:37:45 +00:00
2020-07-17 15:08:59 +01:00
2017-02-06 14:40:38 +01:00
2022-06-01 12:44:23 +01:00
2022-06-01 12:44:23 +01:00
2022-06-23 10:47:13 +01:00
2022-06-28 11:19:21 +01:00
2022-07-24 16:33:12 +01:00
2022-04-01 00:18:40 +01:00
2022-07-05 11:06:49 +00:00
2022-07-25 22:30:22 +01:00
2022-04-01 00:18:40 +01:00
2022-06-21 12:57:33 +01:00
2022-05-16 19:13:52 +02:00
2022-06-01 12:44:23 +01:00
2022-05-18 09:21:02 +01:00
2022-01-19 16:21:01 +01:00
2022-01-19 16:21:01 +01:00
2022-06-01 12:44:23 +01:00
2020-10-14 14:17:09 +02:00
2020-09-14 10:11:44 +02:00
2022-05-18 09:21:02 +01:00
2022-04-01 00:18:40 +01:00
2022-06-23 10:47:13 +01:00
2022-07-06 13:40:10 +00:00
2022-07-07 11:52:19 +00:00
2022-04-13 00:02:57 +08:00
2018-12-17 16:19:31 -05:00
2013-11-11 22:38:36 +08:00
2022-05-18 09:21:02 +01:00
2022-06-23 10:47:13 +01:00
2022-07-06 18:41:10 +02:00
2022-07-05 11:06:49 +00:00
2022-05-17 17:23:34 +01:00
2022-05-17 17:23:34 +01:00
2022-05-18 09:21:02 +01:00
2022-06-01 12:44:23 +01:00
2022-06-01 12:44:23 +01:00
2022-06-01 12:44:23 +01:00
2022-06-23 10:47:13 +01:00
2020-11-20 14:40:19 +00:00
2022-06-23 10:47:13 +01:00
2017-02-20 12:40:26 +01:00
2022-04-28 10:35:36 +02:00
2022-05-18 09:21:02 +01:00
2013-11-23 00:39:07 -05:00
2022-07-06 18:41:10 +02:00
2022-05-18 09:21:02 +01:00
2022-02-17 21:42:35 +00:00
2022-02-20 10:43:26 +00:00
2022-06-23 10:47:13 +01:00
2022-06-23 10:47:13 +01:00
2022-05-18 09:21:02 +01:00
2022-07-07 15:52:25 +04:00
2020-07-27 15:41:09 +01:00
2022-05-27 12:58:10 +01:00
2022-07-25 22:30:22 +01:00
2020-11-13 10:12:16 +01:00
2022-07-25 22:30:22 +01:00
2022-07-25 22:30:22 +01:00
2022-07-25 22:30:22 +01:00
2022-06-23 10:47:13 +01:00
2022-05-18 09:21:02 +01:00
2022-05-17 18:35:16 +02:00
2022-07-15 12:58:41 -06:00
2022-06-21 12:57:33 +01:00
2022-05-18 09:21:02 +01:00
2022-04-08 11:27:13 +02:00
2022-06-07 09:25:30 +01:00
2022-04-11 15:26:40 +02:00
2022-02-22 23:54:55 +04:00
2022-02-21 12:42:22 +01:00
2022-05-18 09:21:02 +01:00
2022-05-18 09:21:02 +01:00
2022-03-18 00:16:38 +04:00
2022-04-14 15:38:47 +04:00
2021-03-16 12:53:44 -05:00
2021-05-13 22:16:27 +01:00
2022-05-18 09:21:02 +01:00
2022-06-21 12:57:33 +01:00
2022-06-23 10:47:13 +01:00
2022-05-18 09:21:02 +01:00
2022-09-12 14:08:13 +02:00
2022-05-18 09:21:02 +01:00
2020-07-27 15:41:09 +01:00
2022-06-23 10:47:13 +01:00
2022-01-25 20:18:41 +01:00
2022-02-21 12:42:22 +01:00
2022-05-18 09:21:02 +01:00
2022-05-18 09:21:02 +01:00
2022-05-18 09:21:02 +01:00
2022-07-05 11:06:49 +00:00
2022-07-05 11:06:49 +00:00
2022-05-16 15:21:02 +02:00
2022-07-05 11:06:49 +00:00
2022-07-05 11:06:49 +00:00
2022-07-05 11:06:49 +00:00
2022-06-23 10:47:13 +01:00
2020-03-05 09:39:33 +01:00
2022-05-18 09:21:02 +01:00
2022-07-06 18:41:10 +02:00
2022-05-18 09:21:02 +01:00
2022-05-18 14:01:43 +00:00
2022-07-07 15:35:28 +04:00
2021-01-28 18:37:45 +00:00
2022-05-12 18:48:59 +02:00
2022-05-18 09:21:02 +01:00
2022-02-21 12:42:15 +01:00
2022-05-19 12:39:33 -04:00
2021-05-26 12:41:18 +00:00
2022-06-28 11:19:21 +01:00
2022-06-23 10:47:13 +01:00
2022-02-22 23:55:55 +04:00
2022-05-18 09:21:02 +01:00
2022-06-23 10:47:13 +01:00
2022-05-06 10:50:40 +02:00
2022-07-11 19:56:26 +02:00
2022-06-23 10:47:13 +01:00
2022-04-28 11:22:53 +01:00
2022-05-27 12:58:10 +01:00
2022-03-18 00:16:38 +04:00
2022-05-18 09:21:02 +01:00
2022-05-18 09:21:02 +01:00
2022-04-04 18:51:30 +02:00
2022-04-29 08:02:56 +00:00
2022-03-23 16:08:40 +00:00
2022-07-06 18:41:10 +02:00
2022-06-21 12:50:31 +01:00
2021-11-19 00:52:07 +08:00
2022-06-21 12:57:33 +01:00
2022-05-18 09:21:02 +01:00
2022-05-18 09:21:02 +01:00
2022-04-04 18:51:30 +02:00
2022-06-23 10:47:13 +01:00
2022-06-23 10:47:13 +01:00