RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-05-30 21:58:10 +00:00
Code Issues Activity Actions

LibRegex: Correctly track current inversion state in the optimizer

Browse source 
This is currently not important as we do not nest TemporaryInverse.
This commit is contained in:
Ali Mohammad Pur 2022-07-10 11:40:17 +04:30 • committed by Andreas Kling
parent 9c5febe800
commit fe46b2c141
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Userland/Libraries/LibRegex/RegexOptimizer.cpp
View file

@ -163,7 +163,8 @@ static bool has_overlap(Vector<CompareTypeAndValuePair> const& lhs, Vector<Compa
inverse = !inverse;
break;
case CharacterCompareType::TemporaryInverse:
temporary_inverse = !temporary_inverse;
temporary_inverse = true;
reset_temporary_inverse = true;
break;
case CharacterCompareType::AnyChar:
// Special case: if not inverted, AnyChar is always in the range.
@ -237,7 +238,8 @@ static bool has_overlap(Vector<CompareTypeAndValuePair> const& lhs, Vector<Compa
inverse = !inverse;
break;
case CharacterCompareType::TemporaryInverse:
temporary_inverse = !temporary_inverse;
temporary_inverse = true;
reset_temporary_inverse = true;
break;
case CharacterCompareType::AnyChar:
// Special case: if not inverted, AnyChar is always in the range.