Skip to content

Commit f927707

Browse files
committed
C#: More fixup.
1 parent 1b68a4f commit f927707

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -906,14 +906,14 @@ private predicate fieldOrPropertyStore(Expr e, ContentSet c, Expr src, Expr q, b
906906
)
907907
}
908908

909-
private predicate patternPropertyRead(Expr e1, ContentSet c, LabeledPatternExpr e2) {
909+
private predicate patternPropertyRead(Expr e1, ContentSet c, VariablePatternExpr e2) {
910910
exists(IsExpr ie, RecursivePatternExpr p, TypeAccess ta, Property prop |
911911
e1 = ie.getExpr() and
912912
p = ie.getPattern() and
913913
ta = p.getTypeAccess() and
914914
e2 = p.getPropertyPatterns().getPattern(_) and
915915
prop.getDeclaringType() = ta.getType() and
916-
prop.getName() = e2.getLabel() and
916+
prop.getName() = e2.(LabeledPatternExpr).getLabel() and
917917
c.isProperty(prop)
918918
)
919919
}

0 commit comments

Comments
 (0)