From 339f861804353dda25a838c1327634e6bdecb358 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 5 Mar 2017 11:07:14 +0100
Subject: [PATCH] std.cfg: Configure return type for std::string::empty()

---
 cfg/std.cfg | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 9cba9ceda..c93859efb 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -4023,6 +4023,10 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <not-uninit/>
     </arg>
   </function>
+  <function name="std::string::empty">
+    <noreturn>false</noreturn>
+    <returnValue type="bool"/>
+  </function>
   <!-- size_t find (const string& str, size_t pos = 0) const; -->
   <!-- size_t find (const char* s, size_t pos, size_t n) const; -->
   <!-- size_t find (char c, size_t pos = 0) const;-->