Fix isSymbolic computation for IteNode

cnheitman · Sep 29, 2023 · dbc530f · dbc530f
1 parent 8a6ee2f
commit dbc530f
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/libtriton/ast/ast.cpp b/src/libtriton/ast/ast.cpp
@@ -2716,10 +2716,16 @@ namespace triton {
       /* Init children and spread information */
       for (triton::uint32 index = 0; index < this->children.size(); index++) {
         this->children[index]->setParent(this);
-        this->symbolized |= this->children[index]->isSymbolized();
         this->level = std::max(this->children[index]->getLevel() + 1, this->level);
       }
 
+      /* Spread symbolic information */
+      if (!this->children[0]->isSymbolized()) {
+        this->symbolized = this->children[0]->evaluate() ? this->children[1]->isSymbolized() : this->children[2]->isSymbolized();
+      } else {
+        this->symbolized = true;
+      }
+
       /* Init parents if needed */
       if (withParents) {
         this->initParents();