Predicate Internal :: nonNullValue
Holds if expression e
is a non-null
value.
Import path
import semmle.code.csharp.controlflow.Guards
predicate
nonNullValue
(
Expr
e
)