Skip to content

Commit 4a33181

Browse files
committed
C#: Avoid overlap in getCSharpType
1 parent f5a4712 commit 4a33181

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -620,6 +620,7 @@ private predicate arrayRead(Expr e1, ArrayRead e2) { e1 = e2.getQualifier() }
620620
private Type getCSharpType(DotNet::Type t) {
621621
result = t
622622
or
623+
not t instanceof Type and
623624
result.matchesHandle(t)
624625
}
625626

0 commit comments

Comments
 (0)