C#: Cache Call::getArgumentForParameter()

hvitved · hvitved · commit f8bb00a81c27 · 2019-02-21T11:41:40.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/exprs/Call.qll b/csharp/ql/src/semmle/code/csharp/exprs/Call.qll
@@ -76,7 +76,7 @@ class Call extends DotNet::Call, Expr, @call {
    * }
    * ```
    */
-  pragma[nomagic]
+  cached
   override Expr getArgumentForParameter(DotNet::Parameter p) {
     getTarget().getAParameter() = p and
     (

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ class Call extends DotNet::Call, Expr, @call {`
`76`	`76`	`* }`
`77`	`77`	* ```
`78`	`78`	`*/`
`79`		`- pragma[nomagic]`
	`79`	`+ cached`
`80`	`80`	`override Expr getArgumentForParameter(DotNet::Parameter p) {`
`81`	`81`	`getTarget().getAParameter() = p and`
`82`	`82`	`(`