Fix TyConst with TyConstKind Value

tautschnig · Jun 7, 2024 · 26cdae0 · 26cdae0
1 parent d4cc107
commit 26cdae0
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
@@ -113,9 +113,8 @@ impl<'tcx> GotocCtx<'tcx> {
  _ => Expr::init_unit(self.codegen_ty_stable(*lit_ty), &self.symbol_table),
  }
  }
- TyConstKind::Bound(..) | TyConstKind::Value(..) => {
- unreachable!()
- }
+ TyConstKind::Value(ty, alloc) => self.codegen_allocation(alloc, *ty, span),
+ TyConstKind::Bound(..) => unreachable!(),
  TyConstKind::Param(..) | TyConstKind::Unevaluated(..) => {
  unreachable!()
  }