diff --git a/ql/src/InconsistentCode/WrappedErrorAlwaysNil.ql b/ql/src/InconsistentCode/WrappedErrorAlwaysNil.ql index c3b1a85b177..58fedc48c8a 100644 --- a/ql/src/InconsistentCode/WrappedErrorAlwaysNil.ql +++ b/ql/src/InconsistentCode/WrappedErrorAlwaysNil.ql @@ -37,7 +37,7 @@ class NilTestGuard extends DataFlow::BarrierGuard, DataFlow::EqualityTestNode { DataFlow::ExprNode getNilFromLocalVariable() { exists(SsaVariable ssa, Write w | w.definesSsaVariable(ssa, Builtin::nil().getARead()) and - result.getExpr() = ssa.getAUse().(IR::EvalInstruction).getExpr() + result.asInstruction() = ssa.getAUse() ) }