Skip to content

Commit b24fd13

Browse files
committed
C#: Add postupdate note support for switch expressions.
1 parent d54406d commit b24fd13

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -419,7 +419,8 @@ module LocalFlow {
419419
exists(Expr e | any(LocalExprStepConfiguration x).hasExprPath(_, result, e, cfn) |
420420
e instanceof ConditionalExpr or
421421
e instanceof Cast or
422-
e instanceof NullCoalescingExpr
422+
e instanceof NullCoalescingExpr or
423+
e instanceof SwitchExpr
423424
)
424425
}
425426

0 commit comments

Comments
 (0)