From 4a7b81218be14d1cf5ff83c06eabb514b97ebca5 Mon Sep 17 00:00:00 2001
From: PKEuS <philipp.kloke@web.de>
Date: Tue, 29 Nov 2016 09:36:45 +0100
Subject: [PATCH] std.cfg: Combined definitions of fget(w)c and get(w)c,
 removing wrong <use-retval/> from get(w)c

---
 cfg/std.cfg | 24 +++---------------------
 1 file changed, 3 insertions(+), 21 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index b78623a63..45b630526 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -830,7 +830,9 @@
   </function>
   <!-- int fgetc(FILE *stream); -->
   <!-- wint_t fgetwc(FILE * stream); -->
-  <function name="fgetc,std::fgetc,fgetwc,std::fgetwc">
+  <!-- int getc(FILE *stream); -->
+  <!-- wint_t getwc(FILE* stream); -->
+  <function name="fgetc,std::fgetc,fgetwc,std::fgetwc,getc,std::getc,getwc,std::getwc">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1396,26 +1398,6 @@
       <not-uninit/>
     </arg>
   </function>
-  <!-- int getc(FILE *stream); -->
-  <function name="getc,std::getc">
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <use-retval/>
-    <arg nr="1">
-      <not-null/>
-      <not-uninit/>
-    </arg>
-  </function>
-  <!-- wint_t getwc(FILE* stream); -->
-  <function name="getwc,std::getwc">
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <use-retval/>
-    <arg nr="1">
-      <not-null/>
-      <not-uninit/>
-    </arg>
-  </function>
   <!-- int getchar(void); -->
   <function name="getchar">
     <noreturn>false</noreturn>