Странные провалы кросс-тестов ДКА

Originally reported on Google Code with ID 165
Прошу обратить внимание и исследовать - не похоже, чтобы эти были связаны с ассертами
и ЧСК.

1) Не учли возможность нулевого квантификатора? Должно быть несложно исправитьdfa_matcher
failed on regex 'a{0}b' and string 'ab' (qtype_preg_cross_tests_from_att_basic, data_for_test_att_basic_25
INDEX_FIRST: 0=>0, 
expected:
INDEX_FIRST: 0=>1, 

dfa_matcher failed on regex 'a{0}b' and string 'ab' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_25
LENGTH:      0=>2, 
expected:
LENGTH:      0=>1, 

и еще
dfa_matcher failed on regex '^(a){0,0}' and string 'abc' (qtype_preg_cross_tests_from_pcre,
data_for_test_subpattern_in_null_quantifier
LENGTH:      0=>1, 
expected:
LENGTH:      0=>0, 

dfa_matcher failed on regex '^(a){0,0}' and string 'aab' (qtype_preg_cross_tests_from_pcre,
data_for_test_subpattern_in_null_quantifier
LENGTH:      0=>2, 
expected:
LENGTH:      0=>0, 


2) Как мог минус совпасть с классом "не минус"? НКА этот тест проходит, так что проблема
не в листе дерева, а где-то еще. Не передаете отрицательность?
dfa_matcher failed on regex '[^-]' and string '--a' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_48
INDEX_FIRST: 0=>0, 
expected:
INDEX_FIRST: 0=>2, 

3) Опять проблема с отрицательными СК
dfa_matcher failed on regex '[^ab]*' and string 'cde' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_124
LENGTH:      0=>0, 
expected:
LENGTH:      0=>3, 

4) При одинаковой длине левое совпадение должно выигрывать, значит оно не находится?
dfa_matcher failed on regex '(^)*' and string '-' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_125
INDEX_FIRST: 0=>1, 
expected:
INDEX_FIRST: 0=>0, 1=>0, 

5)Вот это сложно назвать ЧСК, т.к. классы не пересекаются
dfa_matcher failed on regex '^([^!]+!)?([^!]+)$' and string 'bar!bas' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_179
IS_MATCH:    FALSE
expected:
IS_MATCH:    TRUE

dfa_matcher failed on regex '^([^!]+!)?([^!]+)$' and string 'bar!bas' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_179
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '^([^!]+!)?([^!]+)$' and string 'bar!bas' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_179
INDEX_FIRST: 0=>-1, 1=>-1, 2=>-1, 
expected:
INDEX_FIRST: 0=>0, 1=>0, 2=>4, 

dfa_matcher failed on regex '^([^!]+!)?([^!]+)$' and string 'bar!bas' (qtype_preg_cross_tests_from_att_basic,
data_for_test_att_basic_179
LENGTH:      0=>-1, 1=>-1, 2=>-1, 
expected:
LENGTH:      0=>7, 1=>4, 2=>3, 

6) Эти и следующие тесты сложно списать на ЧСК, т.к. класс то один. И ассерт впереди
особо мешать не должен, т.к. банально конкатенирован. Опять проблемы с отрицательными
классами?
dfa_matcher failed on regex '^[^ab\]cde]' and string 'fthing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
IS_MATCH:    FALSE
expected:
IS_MATCH:    TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string 'fthing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string 'fthing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
INDEX_FIRST: 0=>-1, 
expected:
INDEX_FIRST: 0=>0, 

dfa_matcher failed on regex '^[^ab\]cde]' and string 'fthing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
LENGTH:      0=>-1, 
expected:
LENGTH:      0=>1, 

dfa_matcher failed on regex '^[^ab\]cde]' and string '[thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
IS_MATCH:    FALSE
expected:
IS_MATCH:    TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string '[thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string '[thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
INDEX_FIRST: 0=>-1, 
expected:
INDEX_FIRST: 0=>0, 

dfa_matcher failed on regex '^[^ab\]cde]' and string '[thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
LENGTH:      0=>-1, 
expected:
LENGTH:      0=>1, 

dfa_matcher failed on regex '^[^ab\]cde]' and string '\thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
IS_MATCH:    FALSE
expected:
IS_MATCH:    TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string '\thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '^[^ab\]cde]' and string '\thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
INDEX_FIRST: 0=>-1, 
expected:
INDEX_FIRST: 0=>0, 

dfa_matcher failed on regex '^[^ab\]cde]' and string '\thing' (qtype_preg_cross_tests_from_pcre,
data_for_test_square_closing_bracket_in_negative_character_class
LENGTH:      0=>-1, 
expected:
LENGTH:      0=>1, 

И еще есть подобные тесты, какая-то специфическая проблема с отрицательными СК, возникающая
только в ДК. Разберитесь...

Их много. Вот еще один случай
dfa_matcher failed on regex '[^k]{2,3}$' and string 'abc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
IS_MATCH:    FALSE
expected:
IS_MATCH:    TRUE

dfa_matcher failed on regex '[^k]{2,3}$' and string 'abc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '[^k]{2,3}$' and string 'abc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
INDEX_FIRST: 0=>-1, 
expected:
INDEX_FIRST: 0=>0, 

dfa_matcher failed on regex '[^k]{2,3}$' and string 'abc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
LENGTH:      0=>-1, 
expected:
LENGTH:      0=>3, 

dfa_matcher failed on regex '[^k]{2,3}$' and string 'kbc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '[^k]{2,3}$' and string 'kbc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
INDEX_FIRST: 0=>0, 
expected:
INDEX_FIRST: 0=>1, 

dfa_matcher failed on regex '[^k]{2,3}$' and string 'kbc' (qtype_preg_cross_tests_from_pcre,
data_for_test_negative_character_class_in_quantifier_before_end_of_line
LENGTH:      0=>1, 
expected:
LENGTH:      0=>2, 

7) Пора избавляться от таких надписей в продолжении, т.к. оно теперь интерпретируется
как совпадение. Новая реализация символьных классов вполне способна сгенерировать символ
слова (или не символ слова), так используйте ее!

dfa_matcher failed on regex '\by\b' and string 'yz' (qtype_preg_cross_tests_from_pcre,
data_for_test_word_2
NEXT:        wordchar
expected:
NEXT:        

8)Очень странный провал, как могла пустота совпасть с буквой d? ЧСК тут ну явно не
причем. Какая-то проблема с пустотой, есть и еще провалы с пустой подмаской, проверьте
преобразование подмаски...
dfa_matcher failed on regex '()ef' and string 'def' (qtype_preg_cross_tests_from_pcre,
data_for_test_empty_subpattern
INDEX_FIRST: 0=>0, 
expected:
INDEX_FIRST: 0=>1, 1=>1, 

dfa_matcher failed on regex '()ef' and string 'def' (qtype_preg_cross_tests_from_pcre,
data_for_test_empty_subpattern
LENGTH:      0=>3, 
expected:
LENGTH:      0=>2, 1=>0, 

9) Как здесь может быть совпадение длиной 2? 1 понимаю, 3 понимаю - 2 не понимаю...
dfa_matcher failed on regex '(?:..)*a' and string 'aba' (qtype_preg_cross_tests_from_pcre,
data_for_test_any_characters_in_unnumbered_subpattern_in_greedy_quantifier
FULL:        FALSE
expected:
FULL:        TRUE

dfa_matcher failed on regex '(?:..)*a' and string 'aba' (qtype_preg_cross_tests_from_pcre,
data_for_test_any_characters_in_unnumbered_subpattern_in_greedy_quantifier
INDEX_FIRST: 0=>1, 
expected:
INDEX_FIRST: 0=>0, 

dfa_matcher failed on regex '(?:..)*a' and string 'aba' (qtype_preg_cross_tests_from_pcre,
data_for_test_any_characters_in_unnumbered_subpattern_in_greedy_quantifier
LENGTH:      0=>2, 
expected:
LENGTH:      0=>3, 

10) Точно также, по новому формату никаких надписей о начале строки в next быть не
должно, т.к. оно возвращается как еще один результат матчинга. Не можете сгенерировать
следующий символ (хотя с крышкой это как раз легко, возьмите любой следующий переход
автомата...) - хотя бы выведите пустую строку...
dfa_matcher failed on regex '()^b' and string '*** Failers' (qtype_preg_cross_tests_from_pcre,
data_for_test_begin_of_line_after_empty_subpattern
NEXT:        stringstart
expected:
NEXT:        b

Жду от вас анализа проблем по этим пунктам и исправлений (максимум - к понедельнику,
но лучше - раньше, т.к. мне надоело откладывать релиз), либо  объяснений, почему они
не могут быть сделаны...
Reported by oasychev on 2012-12-04 21:14:16
Comments (24)
