From ac4ee8e63f3f4788abb748b813f608915048c1fc Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 15 May 2022 08:17:26 +0200
Subject: [PATCH] std.cfg: Improved configuration of fmod[lf]().

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index dd0ce0ef5..935680316 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1825,6 +1825,7 @@
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <valid>!0.0</valid>
     </arg>
   </function>
   <!-- float fmodf(float x, float y); -->
@@ -1839,6 +1840,7 @@
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <valid>!0.0</valid>
     </arg>
   </function>
   <!-- long double fmodl(long double x, long double y); -->
@@ -1853,6 +1855,7 @@
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <valid>!0.0</valid>
     </arg>
   </function>
   <!-- FILE * fopen(const char *filename, const char* mode); -->