CodeQL library for C#
Search

Module Gvn::Cached

Import path

import semmle.code.csharp.Unification

Predicates

getGlobalValueNumber

Gets the GVN for type t.

subsumes

Holds if GVN t1 subsumes GVN t2. That is, it is possible to replace all type parameters in t1 with some GVNs (possibly type parameters themselves) to make the two substituted terms equal.

unifiable

Holds if GVNs t1 and t2 can be unified. That is, it is possible to replace all type parameters in t1 and t2 with some GVNs (possibly type parameters themselves) to make the two substituted terms equal.

Datatypes