From 98c60f31a6c9ce5bd5d6a61baeeaccc1bc5af46f Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com> Date: Thu, 3 Feb 2022 14:37:01 +0000 Subject: [PATCH] Simplify comparison of DataFlow::Node and IR::Instruction Co-authored-by: Chris Smowton --- ql/src/InconsistentCode/WrappedErrorAlwaysNil.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() ) }