Merge pull request #6734 from erik-krogh/regBehind

JS/PY: do not filter away regular expressions with lookbehinds
This commit is contained in:
yoff
2021-10-10 13:54:26 +02:00
committed by GitHub
5 changed files with 11 additions and 4 deletions

View File

@@ -139,8 +139,6 @@ class RegExpRoot extends RegExpTerm {
predicate isRelevant() {
// there is at least one repetition
getRoot(any(InfiniteRepetitionQuantifier q)) = this and
// there are no lookbehinds
not exists(RegExpLookbehind lbh | getRoot(lbh) = this) and
// is actually used as a RegExp
isUsedAsRegExp() and
// not excluded for library specific reasons