summaryrefslogtreecommitdiff
path: root/check-xsddata-test-suite.py
diff options
context:
space:
mode:
authorNick Wellnhofer <wellnhofer@aevum.de>2023-03-09 06:58:24 +0100
committerNick Wellnhofer <wellnhofer@aevum.de>2023-04-30 22:37:11 +0200
commita06eaa6119ca5b296b8105dc8c9a34ed5fc1f338 (patch)
treef104acf29c854fb39bee8a68fe03e06a2c55dfc5 /check-xsddata-test-suite.py
parente301865e69b9b834f7b777dc58a9cee40ae056b2 (diff)
downloadlibxml2-a06eaa6119ca5b296b8105dc8c9a34ed5fc1f338.tar.gz
regexp: Fix determinism checks
Swap arguments in initial call to xmlFARecurseDeterminism. Fix the check whether we revisit the initial state in xmlFARecurseDeterminism. If there are transitions with equal atoms and targets but different counters, treat the regex as deterministic but mark the transitions as non-deterministic internally. Don't overwrite zero return value of xmlFAComputesDeterminism with non-zero value from xmlFARecurseDeterminism. Most of these errors lead to non-deterministic regexes not being detected which typically isn't an issue. The improved code may break users who relied on buggy behavior or cause other bugs to become visible. Fixes #469.
Diffstat (limited to 'check-xsddata-test-suite.py')
0 files changed, 0 insertions, 0 deletions