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