From 7e0e773b5c2fa00ab09f0756d4dadadc5b6f37eb Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Thu, 16 Feb 2023 16:33:02 +0000
Subject: Fix integer overflow

---
 tools/klee/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 7d938ab2..5e8ce864 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -367,7 +367,7 @@ KleeHandler::KleeHandler(int argc, char **argv)
   } else {
     // "klee-out-<i>"
     int i = 0;
-    for (; i <= INT_MAX; ++i) {
+    for (; i < INT_MAX; ++i) {
       SmallString<128> d(directory);
       llvm::sys::path::append(d, "klee-out-");
       raw_svector_ostream ds(d);
-- 
cgit 1.4.1