C#: Support postupdate notes for NullCoalescing expressions.

michaelnebel · michaelnebel · commit 6b74e433eece · 2022-09-29T11:35:35.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -418,7 +418,8 @@ module LocalFlow {
   private ControlFlow::Nodes::ExprNode getALastEvalNode(ControlFlow::Nodes::ExprNode cfn) {
     exists(Expr e | any(LocalExprStepConfiguration x).hasExprPath(_, result, e, cfn) |
       e instanceof ConditionalExpr or
-      e instanceof Cast
+      e instanceof Cast or
+      e instanceof NullCoalescingExpr
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -418,7 +418,8 @@ module LocalFlow {`
`418`	`418`	`private ControlFlow::Nodes::ExprNode getALastEvalNode(ControlFlow::Nodes::ExprNode cfn) {`
`419`	`419`	`exists(Expr e \| any(LocalExprStepConfiguration x).hasExprPath(_, result, e, cfn) \|`
`420`	`420`	`e instanceof ConditionalExpr or`
`421`		`- e instanceof Cast`
	`421`	`+ e instanceof Cast or`
	`422`	`+ e instanceof NullCoalescingExpr`
`422`	`423`	`)`
`423`	`424`	`}`
`424`	`425`