fix mistake in inlining

erik-krogh · erik-krogh · commit 48ef3b106f8e · 2022-03-29T23:39:22.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/Nodes.qll b/javascript/ql/lib/semmle/javascript/dataflow/Nodes.qll
@@ -970,7 +970,7 @@ class ClassNode extends DataFlow::SourceNode instanceof ClassNode::Range {
     exists(DataFlow::TypeTracker t2, StepSummary summary, DataFlow::SourceNode prev |
       prev = this.getAClassReference(t2) and
       StepSummary::step(prev, result, summary) and
-      t2 = t.append(summary)
+      t = t2.append(summary)
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -970,7 +970,7 @@ class ClassNode extends DataFlow::SourceNode instanceof ClassNode::Range {`
`970`	`970`	`exists(DataFlow::TypeTracker t2, StepSummary summary, DataFlow::SourceNode prev \|`
`971`	`971`	`prev = this.getAClassReference(t2) and`
`972`	`972`	`StepSummary::step(prev, result, summary) and`
`973`		`- t2 = t.append(summary)`
	`973`	`+ t = t2.append(summary)`
`974`	`974`	`)`
`975`	`975`	`}`
`976`	`976`