mirror of
https://github.com/github/codeql.git
synced 2026-04-30 11:15:13 +02:00
C#: Avoid overlap for () and System.ValueTuple in unification library
This commit is contained in:
@@ -80,7 +80,8 @@ module Gvn {
|
||||
LeafType() {
|
||||
not this instanceof GenericType and
|
||||
not this instanceof TypeParameter and
|
||||
not this instanceof DynamicType
|
||||
not this instanceof DynamicType and
|
||||
not this instanceof TupleType
|
||||
}
|
||||
}
|
||||
|
||||
@@ -478,6 +479,8 @@ module Gvn {
|
||||
GvnType getGlobalValueNumber(Type t) {
|
||||
result = TLeafGvnType(t)
|
||||
or
|
||||
result = TLeafGvnType(t.(TupleType).getUnderlyingType())
|
||||
or
|
||||
t instanceof DynamicType and
|
||||
result = TLeafGvnType(any(ObjectType ot))
|
||||
or
|
||||
|
||||
Reference in New Issue
Block a user