cache getType

erik-krogh · erik-krogh · commit e6009ea8e05b · 2021-02-19T21:25:48.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/dataflow/TypeInference.qll b/javascript/ql/src/semmle/javascript/dataflow/TypeInference.qll
@@ -85,7 +85,7 @@ class AnalyzedNode extends DataFlow::Node {
   }
 
   /** Gets a type inferred for this node. */
-  pragma[nomagic]
+  cached
   InferredType getAType() { result = getAValue().getType() }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ class AnalyzedNode extends DataFlow::Node {`
`85`	`85`	`}`
`86`	`86`
`87`	`87`	`/** Gets a type inferred for this node. */`
`88`		`- pragma[nomagic]`
	`88`	`+ cached`
`89`	`89`	`InferredType getAType() { result = getAValue().getType() }`
`90`	`90`
`91`	`91`	`/**`