Merge pull request #6852 from hvitved/csharp/interpret-element0-bad-magic

hvitved · web-flow · commit c75e2d306da8 · 2021-10-11T11:27:35.000+02:00
C#: Avoid bad magic in `interpretElement0`
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll
@@ -404,6 +404,7 @@ private string paramsString(InterpretedCallable c) {
     )
 }
 
+pragma[nomagic]
 private Element interpretElement0(
   string namespace, string type, boolean subtypes, string name, string signature
 ) {

Original file line number	Diff line number	Diff line change
`@@ -404,6 +404,7 @@ private string paramsString(InterpretedCallable c) {`
`404`	`404`	`)`
`405`	`405`	`}`
`406`	`406`
	`407`	`+pragma[nomagic]`
`407`	`408`	`private Element interpretElement0(`
`408`	`409`	`string namespace, string type, boolean subtypes, string name, string signature`
`409`	`410`	`) {`