mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-12 11:03:57 +08:00
97fd3a3003
2003-11-25 Ulrich Drepper <drepper@redhat.com> * posix/runptests.c (main): Make errors fatal. * posix/PTESTS: One test in GA135 and GA136 check functionality which seems not guaranteed. 2003-11-25 Jakub Jelinek <jakub@redhat.com> * posix/regexec.c (re_search_internal): If prune_impossible_nodes returned REG_NOMATCH, set match_last to -1. Don't initialize pmatch[0] needlessly. Fix comment. (prune_impossible_nodes): Don't segfault on NULL state_log entry. (set_regs): Fix comment. * posix/regcomp.c (parse_bracket_exp): Only set has_plural_match if adding both SIMPLE_BRACKET and COMPLEX_BRACKET. (build_charclass_op): Set has_plural_match if adding both SIMPLE_BRACKET and COMPLEX_BRACKET. * posix/bug-regex11.c (tests): Fix register values for one commented out test. Add new tests. * posix/regex_internal.c (re_string_allocate): Make sure init_len is at least dfa->mb_cur_max. (re_string_reconstruct): If is_utf8, don't fall back into re_string_skip_chars just because idx points into a middle of valid UTF-8 character. Instead, set the wcs bytes which correspond to the partial character bytes to WEOF. * posix/regexec.c (re_search_internal): Allocate input.bufs_len + 1 instead of dfa->nodes_len + 1 state_log entries initially. * posix/bug-regex20.c (main): Uncomment backwards case insensitive tests.
342 lines
8.0 KiB
Plaintext
342 lines
8.0 KiB
Plaintext
# 2.8.2 Regular Expression General Requirement
|
||
2¦4¦bb*¦abbbc¦
|
||
2¦2¦bb*¦ababbbc¦
|
||
7¦9¦A#*::¦A:A#:qA::qA#::qA##::q¦
|
||
1¦5¦A#*::¦A##::A#::qA::qA#:q¦
|
||
# 2.8.3.1.2 BRE Special Characters
|
||
# GA108
|
||
2¦2¦\.¦a.c¦
|
||
2¦2¦\[¦a[c¦
|
||
2¦2¦\\¦a\c¦
|
||
2¦2¦\*¦a*c¦
|
||
2¦2¦\^¦a^c¦
|
||
2¦2¦\$¦a$c¦
|
||
7¦11¦X\*Y\*8¦Y*8X*8X*Y*8¦
|
||
# GA109
|
||
2¦2¦[.]¦a.c¦
|
||
2¦2¦[[]¦a[c¦
|
||
-1¦-1¦[[]¦ac¦
|
||
2¦2¦[\]¦a\c¦
|
||
1¦1¦[\a]¦abc¦
|
||
2¦2¦[\.]¦a\.c¦
|
||
2¦2¦[\.]¦a.\c¦
|
||
2¦2¦[*]¦a*c¦
|
||
2¦2¦[$]¦a$c¦
|
||
2¦2¦[X*Y8]¦7*8YX¦
|
||
# GA110
|
||
2¦2¦*¦a*c¦
|
||
3¦4¦*a¦*b*a*c¦
|
||
1¦5¦**9=¦***9=9¦
|
||
# GA111
|
||
1¦1¦^*¦*bc¦
|
||
-1¦-1¦^*¦a*c¦
|
||
-1¦-1¦^*¦^*ab¦
|
||
1¦5¦^**9=¦***9=¦
|
||
-1¦-1¦^*5<*9¦5<9*5<*9¦
|
||
# GA112
|
||
2¦3¦\(*b\)¦a*b¦
|
||
-1¦-1¦\(*b\)¦ac¦
|
||
1¦6¦A\(**9\)=¦A***9=79¦
|
||
# GA113(1)
|
||
1¦3¦\(^*ab\)¦*ab¦
|
||
-1¦-1¦\(^*ab\)¦^*ab¦
|
||
-1¦-1¦\(^*b\)¦a*b¦
|
||
-1¦-1¦\(^*b\)¦^*b¦
|
||
### GA113(2) GNU regex implements GA113(1)
|
||
##-1¦-1¦\(^*ab\)¦*ab¦
|
||
##-1¦-1¦\(^*ab\)¦^*ab¦
|
||
##1¦1¦\(^*b\)¦b¦
|
||
##1¦3¦\(^*b\)¦^^b¦
|
||
# GA114
|
||
1¦3¦a^b¦a^b¦
|
||
1¦3¦a\^b¦a^b¦
|
||
1¦1¦^^¦^bc¦
|
||
2¦2¦\^¦a^c¦
|
||
1¦1¦[c^b]¦^abc¦
|
||
1¦1¦[\^ab]¦^ab¦
|
||
2¦2¦[\^ab]¦c\d¦
|
||
-1¦-1¦[^^]¦^¦
|
||
1¦3¦\(a^b\)¦a^b¦
|
||
1¦3¦\(a\^b\)¦a^b¦
|
||
2¦2¦\(\^\)¦a^b¦
|
||
# GA115
|
||
3¦3¦$$¦ab$¦
|
||
-1¦-1¦$$¦$ab¦
|
||
2¦3¦$c¦a$c¦
|
||
2¦2¦[$]¦a$c¦
|
||
1¦2¦\$a¦$a¦
|
||
3¦3¦\$$¦ab$¦
|
||
2¦6¦A\([34]$[34]\)B¦XA4$3BY¦
|
||
# 2.8.3.1.3 Periods in BREs
|
||
# GA116
|
||
1¦1¦.¦abc¦
|
||
-1¦-1¦.ab¦abc¦
|
||
1¦3¦ab.¦abc¦
|
||
1¦3¦a.b¦a,b¦
|
||
-1¦-1¦.......¦PqRs6¦
|
||
1¦7¦.......¦PqRs6T8¦
|
||
# 2.8.3.2 RE Bracket Expression
|
||
# GA118
|
||
2¦2¦[abc]¦xbyz¦
|
||
-1¦-1¦[abc]¦xyz¦
|
||
2¦2¦[abc]¦xbay¦
|
||
# GA119
|
||
2¦2¦[^a]¦abc¦
|
||
4¦4¦[^]cd]¦cd]ef¦
|
||
2¦2¦[^abc]¦axyz¦
|
||
-1¦-1¦[^abc]¦abc¦
|
||
3¦3¦[^[.a.]b]¦abc¦
|
||
3¦3¦[^[=a=]b]¦abc¦
|
||
2¦2¦[^-ac]¦abcde-¦
|
||
2¦2¦[^ac-]¦abcde-¦
|
||
3¦3¦[^a-b]¦abcde¦
|
||
3¦3¦[^a-bd-e]¦dec¦
|
||
2¦2¦[^---]¦-ab¦
|
||
16¦16¦[^a-zA-Z0-9]¦pqrstVWXYZ23579#¦
|
||
# GA120(1)
|
||
3¦3¦[]a]¦cd]ef¦
|
||
1¦1¦[]-a]¦a_b¦
|
||
3¦3¦[][.-.]-0]¦ab0-]¦
|
||
1¦1¦[]^a-z]¦string¦
|
||
# GA120(2)
|
||
4¦4¦[^]cd]¦cd]ef¦
|
||
0¦0¦[^]]*¦]]]]]]]]X¦
|
||
0¦0¦[^]]*¦]]]]]]]]¦
|
||
9¦9¦[^]]\{1,\}¦]]]]]]]]X¦
|
||
-1¦-1¦[^]]\{1,\}¦]]]]]]]]¦
|
||
# GA120(3)
|
||
3¦3¦[c[.].]d]¦ab]cd¦
|
||
2¦8¦[a-z]*[[.].]][A-Z]*¦Abcd]DEFg¦
|
||
# GA121
|
||
2¦2¦[[.a.]b]¦Abc¦
|
||
1¦1¦[[.a.]b]¦aBc¦
|
||
-1¦-1¦[[.a.]b]¦ABc¦
|
||
3¦3¦[^[.a.]b]¦abc¦
|
||
3¦3¦[][.-.]-0]¦ab0-]¦
|
||
3¦3¦[A-[.].]c]¦ab]!¦
|
||
# GA122
|
||
-2¦-2¦[[.ch.]]¦abc¦
|
||
-2¦-2¦[[.ab.][.CD.][.EF.]]¦yZabCDEFQ9¦
|
||
# GA125
|
||
2¦2¦[[=a=]b]¦Abc¦
|
||
1¦1¦[[=a=]b]¦aBc¦
|
||
-1¦-1¦[[=a=]b]¦ABc¦
|
||
3¦3¦[^[=a=]b]¦abc¦
|
||
# GA126
|
||
#W the expected result for [[:alnum:]]* is 2-7 which is wrong
|
||
0¦0¦[[:alnum:]]*¦ aB28gH¦
|
||
2¦7¦[[:alnum:]][[:alnum:]]*¦ aB28gH¦
|
||
#W the expected result for [^[:alnum:]]* is 2-5 which is wrong
|
||
0¦0¦[^[:alnum:]]*¦2 ,a¦
|
||
2¦5¦[^[:alnum:]][^[:alnum:]]*¦2 ,a¦
|
||
#W the expected result for [[:alpha:]]* is 2-5 which is wrong
|
||
0¦0¦[[:alpha:]]*¦ aBgH2¦
|
||
2¦5¦[[:alpha:]][[:alpha:]]*¦ aBgH2¦
|
||
1¦6¦[^[:alpha:]]*¦2 8,a¦
|
||
1¦2¦[[:blank:]]*¦
|
||
¦
|
||
1¦8¦[^[:blank:]]*¦aB28gH, ¦
|
||
1¦2¦[[:cntrl:]]*¦ ¦
|
||
1¦8¦[^[:cntrl:]]*¦aB2 8gh,¦
|
||
#W the expected result for [[:digit:]]* is 2-3 which is wrong
|
||
0¦0¦[[:digit:]]*¦a28¦
|
||
2¦3¦[[:digit:]][[:digit:]]*¦a28¦
|
||
1¦8¦[^[:digit:]]*¦aB gH,¦
|
||
1¦7¦[[:graph:]]*¦aB28gH, ¦
|
||
1¦3¦[^[:graph:]]*¦ ,¦
|
||
1¦2¦[[:lower:]]*¦agB¦
|
||
1¦8¦[^[:lower:]]*¦B2 8H,a¦
|
||
1¦8¦[[:print:]]*¦aB2 8gH, ¦
|
||
1¦2¦[^[:print:]]*¦ ¦
|
||
#W the expected result for [[:punct:]]* is 2-2 which is wrong
|
||
0¦0¦[[:punct:]]*¦a,2¦
|
||
2¦3¦[[:punct:]][[:punct:]]*¦a,,2¦
|
||
1¦9¦[^[:punct:]]*¦aB2 8gH¦
|
||
1¦3¦[[:space:]]*¦
|
||
¦
|
||
#W the expected result for [^[:space:]]* is 2-9 which is wrong
|
||
0¦0¦[^[:space:]]*¦ aB28gH, ¦
|
||
2¦9¦[^[:space:]][^[:space:]]*¦ aB28gH, ¦
|
||
#W the expected result for [[:upper:]]* is 2-3 which is wrong
|
||
0¦0¦[[:upper:]]*¦aBH2¦
|
||
2¦3¦[[:upper:]][[:upper:]]*¦aBH2¦
|
||
1¦8¦[^[:upper:]]*¦a2 8g,B¦
|
||
#W the expected result for [[:xdigit:]]* is 2-5 which is wrong
|
||
0¦0¦[[:xdigit:]]*¦gaB28h¦
|
||
2¦5¦[[:xdigit:]][[:xdigit:]]*¦gaB28h¦
|
||
#W the expected result for [^[:xdigit:]]* is 2-7 which is wrong
|
||
2¦7¦[^[:xdigit:]][^[:xdigit:]]*¦a gH,2¦
|
||
# GA127
|
||
-2¦-2¦[b-a]¦abc¦
|
||
1¦1¦[a-c]¦bbccde¦
|
||
2¦2¦[a-b]¦-bc¦
|
||
3¦3¦[a-z0-9]¦AB0¦
|
||
3¦3¦[^a-b]¦abcde¦
|
||
3¦3¦[^a-bd-e]¦dec¦
|
||
1¦1¦[]-a]¦a_b¦
|
||
2¦2¦[+--]¦a,b¦
|
||
2¦2¦[--/]¦a.b¦
|
||
2¦2¦[^---]¦-ab¦
|
||
3¦3¦[][.-.]-0]¦ab0-]¦
|
||
3¦3¦[A-[.].]c]¦ab]!¦
|
||
2¦6¦bc[d-w]xy¦abchxyz¦
|
||
# GA129
|
||
1¦1¦[a-cd-f]¦dbccde¦
|
||
-1¦-1¦[a-ce-f]¦dBCCdE¦
|
||
2¦4¦b[n-zA-M]Y¦absY9Z¦
|
||
2¦4¦b[n-zA-M]Y¦abGY9Z¦
|
||
# GA130
|
||
3¦3¦[-xy]¦ac-¦
|
||
2¦4¦c[-xy]D¦ac-D+¦
|
||
2¦2¦[--/]¦a.b¦
|
||
2¦4¦c[--/]D¦ac.D+b¦
|
||
2¦2¦[^-ac]¦abcde-¦
|
||
1¦3¦a[^-ac]c¦abcde-¦
|
||
3¦3¦[xy-]¦zc-¦
|
||
2¦4¦c[xy-]7¦zc-786¦
|
||
2¦2¦[^ac-]¦abcde-¦
|
||
2¦4¦a[^ac-]c¦5abcde-¦
|
||
2¦2¦[+--]¦a,b¦
|
||
2¦4¦a[+--]B¦Xa,By¦
|
||
2¦2¦[^---]¦-ab¦
|
||
4¦6¦X[^---]Y¦X-YXaYXbY¦
|
||
# 2.8.3.3 BREs Matching Multiple Characters
|
||
# GA131
|
||
3¦4¦cd¦abcdeabcde¦
|
||
1¦2¦ag*b¦abcde¦
|
||
-1¦-1¦[a-c][e-f]¦abcdef¦
|
||
3¦4¦[a-c][e-f]¦acbedf¦
|
||
4¦8¦abc*XYZ¦890abXYZ#*¦
|
||
4¦9¦abc*XYZ¦890abcXYZ#*¦
|
||
4¦15¦abc*XYZ¦890abcccccccXYZ#*¦
|
||
-1¦-1¦abc*XYZ¦890abc*XYZ#*¦
|
||
# GA132
|
||
2¦4¦\(*bc\)¦a*bc¦
|
||
1¦2¦\(ab\)¦abcde¦
|
||
1¦10¦\(a\(b\(c\(d\(e\(f\(g\)h\(i\(j\)\)\)\)\)\)\)\)¦abcdefghijk¦
|
||
3¦8¦43\(2\(6\)*0\)AB¦654320ABCD¦
|
||
3¦9¦43\(2\(7\)*0\)AB¦6543270ABCD¦
|
||
3¦12¦43\(2\(7\)*0\)AB¦6543277770ABCD¦
|
||
# GA133
|
||
1¦10¦\(a\(b\(c\(d\(e\(f\(g\)h\(i\(j\)\)\)\)\)\)\)\)¦abcdefghijk¦
|
||
-1¦-1¦\(a\(b\(c\(d\(e\(f\(g\)h\(i\(k\)\)\)\)\)\)\)\)¦abcdefghijk¦
|
||
# GA134
|
||
2¦4¦\(bb*\)¦abbbc¦
|
||
2¦2¦\(bb*\)¦ababbbc¦
|
||
1¦6¦a\(.*b\)¦ababbbc¦
|
||
1¦2¦a\(b*\)¦ababbbc¦
|
||
1¦20¦a\(.*b\)c¦axcaxbbbcsxbbbbbbbbc¦
|
||
# GA135
|
||
1¦7¦\(a\(b\(c\(d\(e\)\)\)\)\)\4¦abcdededede¦
|
||
#W POSIX does not really specify whether a\(b\)*c\1 matches acb.
|
||
#W back references are supposed to expand to the last match, but what
|
||
#W if there never was a match as in this case?
|
||
-1¦-1¦a\(b\)*c\1¦acb¦
|
||
1¦11¦\(a\(b\(c\(d\(e\(f\(g\)h\(i\(j\)\)\)\)\)\)\)\)\9¦abcdefghijjk¦
|
||
# GA136
|
||
#W These two tests have the same problem as the test in GA135. No match
|
||
#W of a subexpression, why should the back reference be usable?
|
||
#W 1 2 a\(b\)*c\1 acb
|
||
#W 4 7 a\(b\(c\(d\(f\)*\)\)\)\4¦xYzabcdePQRST
|
||
-1¦-1¦a\(b\)*c\1¦acb¦
|
||
-1¦-1¦a\(b\(c\(d\(f\)*\)\)\)\4¦xYzabcdePQRST¦
|
||
# GA137
|
||
-2¦-2¦\(a\(b\)\)\3¦foo¦
|
||
-2¦-2¦\(a\(b\)\)\(a\(b\)\)\5¦foo¦
|
||
# GA138
|
||
1¦2¦ag*b¦abcde¦
|
||
1¦10¦a.*b¦abababvbabc¦
|
||
2¦5¦b*c¦abbbcdeabbbbbbcde¦
|
||
2¦5¦bbb*c¦abbbcdeabbbbbbcde¦
|
||
1¦5¦a\(b\)*c\1¦abbcbbb¦
|
||
-1¦-1¦a\(b\)*c\1¦abbdbd¦
|
||
0¦0¦\([a-c]*\)\1¦abcacdef¦
|
||
1¦6¦\([a-c]*\)\1¦abcabcabcd¦
|
||
1¦2¦a^*b¦ab¦
|
||
1¦5¦a^*b¦a^^^b¦
|
||
# GA139
|
||
1¦2¦a\{2\}¦aaaa¦
|
||
1¦7¦\([a-c]*\)\{0,\}¦aabcaab¦
|
||
1¦2¦\(a\)\1\{1,2\}¦aabc¦
|
||
1¦3¦\(a\)\1\{1,2\}¦aaaabc¦
|
||
#W the expression \(\(a\)\1\)\{1,2\} is ill-formed, using \2
|
||
1¦4¦\(\(a\)\2\)\{1,2\}¦aaaabc¦
|
||
# GA140
|
||
1¦2¦a\{2\}¦aaaa¦
|
||
-1¦-1¦a\{2\}¦abcd¦
|
||
0¦0¦a\{0\}¦aaaa¦
|
||
1¦64¦a\{64\}¦aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa¦
|
||
# GA141
|
||
1¦7¦\([a-c]*\)\{0,\}¦aabcaab¦
|
||
#W the expected result for \([a-c]*\)\{2,\} is failure which isn't correct
|
||
1¦3¦\([a-c]*\)\{2,\}¦abcdefg¦
|
||
1¦3¦\([a-c]*\)\{1,\}¦abcdefg¦
|
||
-1¦-1¦a\{64,\}¦aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa¦
|
||
# GA142
|
||
1¦3¦a\{2,3\}¦aaaa¦
|
||
-1¦-1¦a\{2,3\}¦abcd¦
|
||
0¦0¦\([a-c]*\)\{0,0\}¦foo¦
|
||
1¦63¦a\{1,63\}¦aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa¦
|
||
# 2.8.3.4 BRE Precedence
|
||
# GA143
|
||
#W There are numerous bugs in the original version.
|
||
2¦19¦\^\[[[.].]]\\(\\1\\)\*\\{1,2\\}\$¦a^[]\(\1\)*\{1,2\}$b¦
|
||
1¦6¦[[=*=]][[=\=]][[=]=]][[===]][[...]][[:punct:]]¦*\]=.;¦
|
||
1¦6¦[$\(*\)^]*¦$\()*^¦
|
||
1¦1¦[\1]¦1¦
|
||
1¦1¦[\{1,2\}]¦{¦
|
||
#W the expected result for \(*\)*\1* is 2-2 which isn't correct
|
||
0¦0¦\(*\)*\1*¦a*b*11¦
|
||
2¦3¦\(*\)*\1*b¦a*b*11¦
|
||
#W the expected result for \(a\(b\{1,2\}\)\{1,2\}\) is 1-5 which isn't correct
|
||
1¦3¦\(a\(b\{1,2\}\)\{1,2\}\)¦abbab¦
|
||
1¦5¦\(a\(b\{1,2\}\)\)\{1,2\}¦abbab¦
|
||
1¦1¦^\(^\(^a$\)$\)$¦a¦
|
||
1¦2¦\(a\)\1$¦aa¦
|
||
1¦3¦ab*¦abb¦
|
||
1¦4¦ab\{2,4\}¦abbbc¦
|
||
# 2.8.3.5 BRE Expression Anchoring
|
||
# GA144
|
||
1¦1¦^a¦abc¦
|
||
-1¦-1¦^b¦abc¦
|
||
-1¦-1¦^[a-zA-Z]¦99Nine¦
|
||
1¦4¦^[a-zA-Z]*¦Nine99¦
|
||
# GA145(1)
|
||
1¦2¦\(^a\)\1¦aabc¦
|
||
-1¦-1¦\(^a\)\1¦^a^abc¦
|
||
1¦2¦\(^^a\)¦^a¦
|
||
1¦1¦\(^^\)¦^^¦
|
||
1¦3¦\(^abc\)¦abcdef¦
|
||
-1¦-1¦\(^def\)¦abcdef¦
|
||
### GA145(2) GNU regex implements GA145(1)
|
||
##-1¦-1¦\(^a\)\1¦aabc¦
|
||
##1¦4¦\(^a\)\1¦^a^abc¦
|
||
##-1¦-1¦\(^^a\)¦^a¦
|
||
##1¦2¦\(^^\)¦^^¦
|
||
# GA146
|
||
3¦3¦a$¦cba¦
|
||
-1¦-1¦a$¦abc¦
|
||
5¦7¦[a-z]*$¦99ZZxyz¦
|
||
#W the expected result for [a-z]*$ is failure which isn't correct
|
||
10¦9¦[a-z]*$¦99ZZxyz99¦
|
||
3¦3¦$$¦ab$¦
|
||
-1¦-1¦$$¦$ab¦
|
||
3¦3¦\$$¦ab$¦
|
||
# GA147(1)
|
||
-1¦-1¦\(a$\)\1¦bcaa¦
|
||
-1¦-1¦\(a$\)\1¦ba$¦
|
||
-1¦-1¦\(ab$\)¦ab$¦
|
||
1¦2¦\(ab$\)¦ab¦
|
||
4¦6¦\(def$\)¦abcdef¦
|
||
-1¦-1¦\(abc$\)¦abcdef¦
|
||
### GA147(2) GNU regex implements GA147(1)
|
||
##-1¦-1¦\(a$\)\1¦bcaa¦
|
||
##2¦5¦\(a$\)\1¦ba$a$¦
|
||
##-1¦-1¦\(ab$\)¦ab¦
|
||
##1¦3¦\(ab$\)¦ab$¦
|
||
# GA148
|
||
0¦0¦^$¦¦
|
||
1¦3¦^abc$¦abc¦
|
||
-1¦-1¦^xyz$¦^xyz^¦
|
||
-1¦-1¦^234$¦^234$¦
|
||
1¦9¦^[a-zA-Z0-9]*$¦2aA3bB9zZ¦
|
||
-1¦-1¦^[a-z0-9]*$¦2aA3b#B9zZ¦
|