hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

use manual recursion in Refinements::inGuard

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2021-02-18 00:52:14 +01:00
parent f81860c402
commit 33f310b91e
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
javascript/ql/src/semmle/javascript/dataflow/Refinements.qll
View File

@@ -324,7 +324,11 @@ class VarRefinementContext extends RefinementContext, TVarRefinementContext {
}
/** Holds if `e` is nested inside a guard node. */
private predicate inGuard(Expr e) { e.getParentExpr*() = any(GuardControlFlowNode g).getTest() }
private predicate inGuard(Expr e) {
e = any(GuardControlFlowNode g).getTest()
or
inGuard(e.getParentExpr())
}
/**
* An abstract value of a refinement expression.