From 46dbbd3719a7706949c2f68ebc41c0bd36419cee Mon Sep 17 00:00:00 2001
From: Joel Allred <joel.allred@diffblue.com>
Date: Tue, 23 Oct 2018 17:45:26 +0100
Subject: [PATCH] Fix index expression in interpretert::evaluate

Using integer2string here lead to a value having bad widths.
---
 src/goto-programs/interpreter_evaluate.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/goto-programs/interpreter_evaluate.cpp b/src/goto-programs/interpreter_evaluate.cpp
index 0361e583a8e..ebd3be06e57 100644
--- a/src/goto-programs/interpreter_evaluate.cpp
+++ b/src/goto-programs/interpreter_evaluate.cpp
@@ -930,8 +930,7 @@ void interpretert::evaluate(
         evaluate(expr.op1(), idx);
         if(idx.size() == 1)
         {
-          evaluated_index.op1() =
-            constant_exprt(integer2string(idx[0]), expr.op1().type());
+          evaluated_index.op1() = from_integer(idx[0], expr.op1().type());
         }
         simplified = simplify_expr(evaluated_index, ns);
       }