]> granicus.if.org Git - re2c/commit
Skeleton: fixed comparison of transition tags during construction.
authorUlya Trofimovich <skvadrik@gmail.com>
Fri, 18 Nov 2016 16:37:40 +0000 (16:37 +0000)
committerUlya Trofimovich <skvadrik@gmail.com>
Fri, 18 Nov 2016 16:37:40 +0000 (16:37 +0000)
commit9e63260cebd72183c9401addbf21767edbe39176
tree38ee032af1966514a869e5ea90e9ed4528a02a05
parent2db0433b08bbda2d872eeae26b159a0d5e2daf2a
Skeleton: fixed comparison of transition tags during construction.

At the time of skeleton construction DFA has just been build and
all tags in it are just raw pointers to lists of commands. These
pointers are unique for each transition (tags are not shared between
transitions). This means, comparing tags for different transitions
will always result in 'not equal', except if both transitions have
no tags (pointers are NULLs).

Found by slyfox's fuzzer. ;)
re2c/src/ir/skeleton/skeleton.cc