JS: Tweak ExprNode

asgerf · asgerf · commit bb858d38c43b · 2021-02-24T10:03:45.000Z
diff --git a/javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll b/javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
@@ -1263,6 +1263,7 @@ module DataFlow {
   /**
    * Gets the data flow node corresponding to `e`.
    */
+  pragma[inline]
   ExprNode exprNode(Expr e) { result = valueNode(e) }
 
   /** Gets the data flow node corresponding to `ssa`. */
diff --git a/javascript/ql/src/semmle/javascript/dataflow/Nodes.qll b/javascript/ql/src/semmle/javascript/dataflow/Nodes.qll
@@ -19,6 +19,9 @@ private import internal.CallGraphs
  */
 class ExprNode extends DataFlow::ValueNode {
   override Expr astNode;
+
+  pragma[nomagic]
+  ExprNode() { any() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,9 @@ private import internal.CallGraphs`
`19`	`19`	`*/`
`20`	`20`	`class ExprNode extends DataFlow::ValueNode {`
`21`	`21`	`override Expr astNode;`
	`22`	`+`
	`23`	`+ pragma[nomagic]`
	`24`	`+ ExprNode() { any() }`
`22`	`25`	`}`
`23`	`26`
`24`	`27`	`/**`