Predicate Internal :: nonNullValueImpliedUnary
Holds if expression e2
is a non-null
value whenever e1
is.
Import path
import semmle.code.csharp.controlflow.Guards
predicate
nonNullValueImpliedUnary
(
Expr
e1
,
Expr
e2
)