C#: Add missing dataflow comment in CompilerServices.

michaelnebel · michaelnebel · commit ec4d43fed267 · 2021-12-20T15:33:25.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/frameworks/system/runtime/CompilerServices.qll b/csharp/ql/lib/semmle/code/csharp/frameworks/system/runtime/CompilerServices.qll
@@ -30,6 +30,7 @@ class SystemRuntimeCompilerServicesTaskAwaiterStruct extends SystemRuntimeCompil
   Field getUnderlyingTaskField() { result = this.getAField() and result.hasName("m_task") }
 }
 
+/** Data flow for `System.Runtime.CompilerServices.TaskAwaiter<>`. */
 private class SystemRuntimeCompilerServicesTaskAwaiterFlowModelCsv extends SummaryModelCsv {
   override predicate row(string row) {
     row =

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,7 @@ class SystemRuntimeCompilerServicesTaskAwaiterStruct extends SystemRuntimeCompil`
`30`	`30`	`Field getUnderlyingTaskField() { result = this.getAField() and result.hasName("m_task") }`
`31`	`31`	`}`
`32`	`32`
	`33`	+/** Data flow for `System.Runtime.CompilerServices.TaskAwaiter<>`. */
`33`	`34`	`private class SystemRuntimeCompilerServicesTaskAwaiterFlowModelCsv extends SummaryModelCsv {`
`34`	`35`	`override predicate row(string row) {`
`35`	`36`	`row =`