From 44ebccb0529e2fd9f063bf544c8535104b9b0419 Mon Sep 17 00:00:00 2001
From: Saveliy Grigoryev <sava-cska@mail.ru>
Date: Mon, 27 Jun 2022 17:04:39 +0300
Subject: Fix error with empty EntryPoint

---
 tools/klee/main.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index dd839de6..3b0731c8 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1151,6 +1151,10 @@ int main(int argc, char **argv, char **envp) {
   parseArguments(argc, argv);
   sys::PrintStackTraceOnErrorSignal(argv[0]);
 
+  if (EntryPoint.empty()) {
+    klee_error("entry-point cannot be empty");
+  }
+
   if (Watchdog) {
     if (MaxTime.empty()) {
       klee_error("--watchdog used without --max-time");
-- 
cgit 1.4.1