annotate src/sink11mask.h @ 28342:9761cf2351fa

(enum re_opcode_t): New opcode on_failure_jump_nastyloop. (print_partial_compiled_pattern, re_compile_fastmap): Handle new opcode. (regex_compile): Use on_failure_jump_nastyloop for non-greedy loops. (re_match_2_internal): Add code for on_failure_jump_nastyloop when executing it as well as when popping it off the stack to find infinite loops in non-greedy repetition operators.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 26 Mar 2000 23:05:51 +0000
parents 3165b2697c78
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
484
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 #define sink_mask_width 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 #define sink_mask_height 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 static char sink_mask_bits[] = {
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
37 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 0xff, 0xff, 0xff, 0xff, 0xff, 0xff};