From 6bd5d045f2cb19331feb34d7ea74f748c5568a91 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 18 Oct 2018 12:41:07 +0100
Subject: Clean-up headers
Remove unneeded headers from include files
---
lib/Expr/ArrayExprOptimizer.cpp | 18 +++++++++++++++---
1 file changed, 15 insertions(+), 3 deletions(-)
(limited to 'lib/Expr/ArrayExprOptimizer.cpp')
diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index 0929efb5..dc0b2002 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -9,11 +9,23 @@
#include "klee/ArrayExprOptimizer.h"
+#include <algorithm>
+#include <cassert>
+#include <llvm/ADT/APInt.h>
+#include <llvm/Support/Casting.h>
+#include <llvm/Support/CommandLine.h>
+#include <set>
+#include <stddef.h>
+
#include "klee/ArrayExprRewriter.h"
+#include "klee/AssignmentGenerator.h"
+#include "klee/Config/Version.h"
+#include "klee/ExprBuilder.h"
+#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/util/ArrayExprVisitor.h"
+#include "klee/util/Assignment.h"
#include "klee/util/BitArray.h"
-#include <iostream>
-
using namespace klee;
namespace klee {
@@ -163,7 +175,7 @@ bool ExprOptimizer::computeIndexes(array2idx_ty &arrays, const ref<Expr> &e,
// For each concrete value 'i' stored in the array
for (size_t aIdx = 0; aIdx < arr->constantValues.size(); aIdx += width) {
Assignment *a = new Assignment();
- v_arr_ty objects;
+ std::vector<const Array *> objects;
std::vector<std::vector<unsigned char>> values;
// For each symbolic index Expr(k) found
--
cgit 1.4.1