Predicate Internal::nullValueImpliedBinary
Holds if expression e3 is a null value whenever e1 and e2 are.
Import path
import semmle.code.csharp.controlflow.Guardspredicate nullValueImpliedBinary(Expr e1, Expr e2, Expr e3)Holds if expression e3 is a null value whenever e1 and e2 are.
import semmle.code.csharp.controlflow.Guardspredicate nullValueImpliedBinary(Expr e1, Expr e2, Expr e3)