Merge pull request #8318 from tautschnig/fix-8303

Lower-byte-operators: bv_to_expr should support bool target type
diffblue · Jun 11, 2024 · 8c229d7 · 8c229d7
2 parents 37511f3 + 7118b73
commit 8c229d7
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/util/lower_byte_operators.cpp b/src/util/lower_byte_operators.cpp
@@ -346,13 +346,14 @@ static exprt bv_to_expr(
   else if(
     can_cast_type<bitvector_typet>(target_type) ||
     target_type.id() == ID_c_enum || target_type.id() == ID_c_enum_tag ||
-    target_type.id() == ID_string)
+    target_type.id() == ID_string ||
+    (target_type.id() == ID_bool &&
+     to_bitvector_type(bitvector_expr.type()).get_width() == 1))
   {
     return simplify_expr(
       typecast_exprt::conditional_cast(bitvector_expr, target_type), ns);
   }
-
-  if(target_type.id() == ID_struct)
+  else if(target_type.id() == ID_struct)
   {
     return bv_to_struct_expr(
       bitvector_expr, to_struct_type(target_type), endianness_map, ns);