Fixed tags comparison in table minimization.
authorUlya Trofimovich <skvadrik@gmail.com>
Tue, 4 Oct 2016 16:05:20 +0000 (17:05 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Tue, 4 Oct 2016 16:05:20 +0000 (17:05 +0100)
commit71e94f3e4ebac528c7dd22e43121b8aac797cc02
treed1850f5f97cf40ee6a1ff377b463416c5017a68f
parent8d21be9b6993b6cffdcbc757527d042f65c5d31f
Fixed tags comparison in table minimization.

Bug was introduced in commit 5958a2366cdb1361b5158076924014a36ff19dcc
"Bind contexts (a.k.a. tags) to DFA transitions, not states.":
instead of comparing tags of single transition on one particular
symbol, we compared tags for all outgoing transitions at once
(probably copy-paste from Moore minimization).

The bug was revealed by multiple tests (including '--skeleton' ones)
as soon as I ran testsute with '--dfa-determinization table'.
re2c/src/ir/dfa/minimization.cc