remove magic from inGuard

erik-krogh · erik-krogh · commit aa6cde2fe06d · 2021-02-23T10:03:21.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/dataflow/Refinements.qll b/javascript/ql/src/semmle/javascript/dataflow/Refinements.qll
@@ -324,6 +324,7 @@ class VarRefinementContext extends RefinementContext, TVarRefinementContext {
 }
 
 /** Holds if `e` is nested inside a guard node. */
+pragma[nomagic]
 private predicate inGuard(Expr e) {
   e = any(GuardControlFlowNode g).getTest()
   or

Original file line number	Diff line number	Diff line change
`@@ -324,6 +324,7 @@ class VarRefinementContext extends RefinementContext, TVarRefinementContext {`
`324`	`324`	`}`
`325`	`325`
`326`	`326`	/** Holds if `e` is nested inside a guard node. */
	`327`	`+pragma[nomagic]`
`327`	`328`	`private predicate inGuard(Expr e) {`
`328`	`329`	`e = any(GuardControlFlowNode g).getTest()`
`329`	`330`	`or`