cg: Update ChooseExpr visitor.

trailofbits · Sep 4, 2024 · 89a8f9b · 89a8f9b
1 parent d1f099c
commit 89a8f9b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/vast/CodeGen/DefaultStmtVisitor.cpp b/lib/vast/CodeGen/DefaultStmtVisitor.cpp
@@ -858,6 +858,7 @@ namespace vast::cg
             .bind_always(mk_cond_builder(expr->getCond()))
             .bind_always(mk_value_builder(expr->getLHS()))
             .bind_always(mk_value_builder(expr->getRHS()))
+            .bind_always(expr->isConditionDependent() ? std::nullopt : std::optional(expr->isConditionTrue()))
             .freeze();
     }