From bd56381fd29e8ae7428cdd14b5eb65bdb96b61f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Thu, 30 Jul 2015 14:08:59 +0200
Subject: [PATCH] Add configuration for div/ldiv/lldiv, 2nd argument must not
 be 0.

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 6511c8170..6a33ce410 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1239,6 +1239,7 @@
     </arg>
     <arg nr="2">
       <not-uninit/>
+      <valid>:-1,1:</valid>
     </arg>
   </function>
   <!-- void exit(int status); -->
@@ -3054,6 +3055,7 @@
     </arg>
     <arg nr="2">
       <not-uninit/>
+      <valid>:-1,1:</valid>
     </arg>
   </function>
   <!-- lldiv_t lldiv(long long int num, long long int denom); -->
@@ -3066,6 +3068,7 @@
     </arg>
     <arg nr="2">
       <not-uninit/>
+      <valid>:-1,1:</valid>
     </arg>
   </function>
   <!-- struct tm * localtime(const time_t *tp); -->