Predicate sameGvn
Holds if the control flow elements x and y are structurally equal.
Import path
import semmle.code.csharp.commons.StructuralComparisonpredicate sameGvn(ControlFlowElement x, ControlFlowElement y)Holds if the control flow elements x and y are structurally equal.
import semmle.code.csharp.commons.StructuralComparisonpredicate sameGvn(ControlFlowElement x, ControlFlowElement y)