diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-02-16 16:33:02 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-02-17 10:48:11 +0000 |
| commit | 7e0e773b5c2fa00ab09f0756d4dadadc5b6f37eb (patch) | |
| tree | 18f9f6aeecdd63f9367fab4944cbdc8c4efed06a | |
| parent | 5389bec800997d58b0660c87615fd4d68c7cefd2 (diff) | |
| download | klee-7e0e773b5c2fa00ab09f0756d4dadadc5b6f37eb.tar.gz | |
Fix integer overflow
| -rw-r--r-- | tools/klee/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); |