From 16e6ca90c899f716a02aae23511ec729caeebdcb Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 7 Jun 2009 16:17:02 +0000 Subject: Make sure to include arrays to be evaluated in the set of used arrays. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73030 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/ExprPPrinter.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/Expr') diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp index 7bfb6567..3fa7155b 100644 --- a/lib/Expr/ExprPPrinter.cpp +++ b/lib/Expr/ExprPPrinter.cpp @@ -529,6 +529,8 @@ void ExprPPrinter::printQuery(std::ostream &os, // Print array declarations. if (printArrayDecls) { + for (const Array * const* it = evalArraysBegin; it != evalArraysEnd; ++it) + p.usedArrays.insert(*it); for (std::set::iterator it = p.usedArrays.begin(), ie = p.usedArrays.end(); it != ie; ++it) { const Array *A = *it; -- cgit 1.4.1