From ec039b63748c2a95f89c0538a843e18d3a51cdf3 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino
Date: Mon, 3 Jun 2024 16:53:09 +0200
Subject: feat: basic handling for `RValue::Len`, following
 AeneasVerif/charon#209

---
 compiler/InterpreterStatements.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/InterpreterStatements.ml')

diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml
index c6a65757..c60be905 100644
--- a/compiler/InterpreterStatements.ml
+++ b/compiler/InterpreterStatements.ml
@@ -950,6 +950,7 @@ let rec eval_statement (config : config) (st : statement) : stl_cm_fun =
                   let cc =
                     match rvalue with
                     | Global _ -> craise __FILE__ __LINE__ st.span "Unreachable"
+                    | Len _ -> craise __FILE__ __LINE__ st.span "Unhandled Len"
                     | Use _
                     | RvRef (_, (BShared | BMut | BTwoPhaseMut | BShallow))
                     | UnaryOp _ | BinaryOp _ | Discriminant _ | Aggregate _ ->
-- 
cgit v1.2.3