Fix synth

JonathanSalwan · Jan 29, 2022 · 975ed34 · 975ed34
1 parent 2fa33e4
commit 975ed34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/libtriton/engines/synthesis/synthesizer.cpp b/src/libtriton/engines/synthesis/synthesizer.cpp
@@ -86,7 +86,7 @@ namespace triton {
         }
 
         // If nothing worked, do constant opaque synthesis
-        if (ret == false && opaque == true && node->getLevel() > 2) {
+        if (vars.size() && ret == false && opaque == true && node->getLevel() > 2) {
           ret = this->opaqueConstantSynthesis(vars, node, result);
         }