From cdc34fe92f27bb8cee133626be7a6cc0a1de2b9f Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Sat, 20 Nov 2021 08:53:18 +0100
Subject: [PATCH] Add test for #10025 (#3570)

---
 test/teststl.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/test/teststl.cpp b/test/teststl.cpp
index 8f03f0328..878e6fbb4 100644
--- a/test/teststl.cpp
+++ b/test/teststl.cpp
@@ -645,6 +645,15 @@ private:
                     "        v[i] = 1;\n"
                     "}\n");
         ASSERT_EQUALS("", errout.str());
+
+        checkNormal("void g(const char *, ...) { exit(1); }\n" // #10025
+                    "void f(const char c[]) {\n"
+                    "    std::vector<int> v = get();\n"
+                    "    if (v.empty())\n"
+                    "        g(\"\", c[0]);\n"
+                    "    return h(&v[0], v.size()); \n"
+                    "}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 
     void outOfBoundsSymbolic()