C#: Avoid bad magic in interpretElement0

hvitved · hvitved · commit b05d76a131e8 · 2021-10-11T09:30:52.000+02:00
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`	`) {`