From 5eec5f9391ee4140e242afef83a66d5e4a9e4cc7 Mon Sep 17 00:00:00 2001 From: Wladimir Palant Date: Thu, 13 Sep 2018 20:34:20 +0200 Subject: [PATCH] Fix #384 - bin2llvmir: Be more strict when merging values --- src/bin2llvmir/analyses/symbolic_tree.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/bin2llvmir/analyses/symbolic_tree.cpp b/src/bin2llvmir/analyses/symbolic_tree.cpp index f7b4fa84b..19ea76e5e 100644 --- a/src/bin2llvmir/analyses/symbolic_tree.cpp +++ b/src/bin2llvmir/analyses/symbolic_tree.cpp @@ -413,8 +413,7 @@ void SymbolicTree::_simplifyNode() *this = std::move(ops[0].ops[0]); } else if (match(*this, m_Load(m_Value(val), &load)) - && (isa(llvm_utils::skipCasts(load->getPointerOperand())) - || isa(llvm_utils::skipCasts(load->getPointerOperand())))) + && isa(llvm_utils::skipCasts(load->getPointerOperand()))) { *this = std::move(ops[0]); }