From 4701c0b32077f072e1aa24a26b4acc750a52fdd9 Mon Sep 17 00:00:00 2001
From: Owen Jones <owen.jones@diffblue.com>
Date: Tue, 20 Jun 2017 09:18:05 +0100
Subject: [PATCH] Change two errors to warnings

Make "Infinite size arrays not supported" and "Failed to concretize
variable array" warnings rather than errors.
---
 src/goto-programs/interpreter.cpp          | 3 +--
 src/goto-programs/interpreter_evaluate.cpp | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/goto-programs/interpreter.cpp b/src/goto-programs/interpreter.cpp
index 7e0c74a0b6b..7adb966ad64 100644
--- a/src/goto-programs/interpreter.cpp
+++ b/src/goto-programs/interpreter.cpp
@@ -894,8 +894,7 @@ typet interpretert::concretize_type(const typet &type)
     }
     else
     {
-      error() << "Failed to concretize variable array"
-              << eom;
+      warning() << "Failed to concretize variable array" << eom;
     }
   }
   return type;
diff --git a/src/goto-programs/interpreter_evaluate.cpp b/src/goto-programs/interpreter_evaluate.cpp
index 12aca4b57b5..096066e368c 100644
--- a/src/goto-programs/interpreter_evaluate.cpp
+++ b/src/goto-programs/interpreter_evaluate.cpp
@@ -1054,7 +1054,7 @@ void interpretert::evaluate(
   {
     if(expr.type().id()==ID_signedbv)
     {
-      error() << "Infinite size arrays not supported" << eom;
+      warning() << "Infinite size arrays not supported" << eom;
       return;
     }
   }