Remove BSD functions/duplicate from gnu.cfg

cfg/gnu.cfg

@@ -192,26 +192,6 @@
     <leak-ignore/>
     <arg nr="1" direction="in"/>
   </function>
-  <!-- int timerisset(struct timeval *tvp); -->
-  <function name="timerisset">
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <use-retval/>
-    <returnValue type="int"/>
-    <arg nr="1" direction="in">
-      <not-uninit/>
-      <not-null/>
-    </arg>
-  </function>
-  <!-- void timerclear(struct timeval *tvp); -->
-  <function name="timerclear">
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <returnValue type="void"/>
-    <arg nr="1" direction="inout">
-      <not-null/>
-    </arg>
-  </function>
   <!-- https://man7.org/linux/man-pages/man3/getpw.3.html -->
   <!-- int getpw(uid_t uid, char *buf); -->
     <function name="getpw">
@@ -227,24 +207,6 @@
     </arg>
     <warn severity="style" reason="Obsolescent" alternatives="getpwnam"/>
   </function>
-  <!-- void timeradd(struct timeval *a, struct timeval *b, struct timeval *res);-->
-  <!-- void timersub(struct timeval *a, struct timeval *b, struct timeval *res);-->
-  <function name="timeradd,timersub">
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <returnValue type="void"/>
-    <arg nr="1" direction="in">
-      <not-uninit/>
-      <not-null/>
-    </arg>
-    <arg nr="2" direction="in">
-      <not-uninit/>
-      <not-null/>
-    </arg>
-    <arg nr="3" direction="out">
-      <not-null/>
-    </arg>
-  </function>
   <!-- int __builtin_types_compatible_p (type1, type2) -->
   <function name="__builtin_types_compatible_p">
     <noreturn>false</noreturn>
@@ -1577,11 +1539,6 @@
       <not-bool/>
     </arg>
   </function>
-  <!-- https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html -->
-  <!-- void __builtin_trap (void) -->
-  <function name="__builtin_trap">
-    <noreturn>true</noreturn>
-  </function>
   <!-- int __builtin_constant_p (exp) -->
   <function name="__builtin_constant_p">
     <noreturn>false</noreturn>