diff options
author | Nick Wellnhofer <wellnhofer@aevum.de> | 2023-03-09 06:58:24 +0100 |
---|---|---|
committer | Nick Wellnhofer <wellnhofer@aevum.de> | 2023-04-30 22:37:11 +0200 |
commit | a06eaa6119ca5b296b8105dc8c9a34ed5fc1f338 (patch) | |
tree | f104acf29c854fb39bee8a68fe03e06a2c55dfc5 /xmlstring.c | |
parent | e301865e69b9b834f7b777dc58a9cee40ae056b2 (diff) | |
download | libxml2-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 'xmlstring.c')
0 files changed, 0 insertions, 0 deletions