diff --git a/cfg/std.cfg b/cfg/std.cfg
index 080c409dc..f704dafc0 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -7725,6 +7725,31 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
       <iterator container="1" type="first"/>
     </arg>
   </function>
+  <!-- template< class ForwardIt, class T >                bool binary_search( ForwardIt first, ForwardIt last, const T& value ); (until C++20) -->
+  <!-- template< class ForwardIt, class T >      constexpr bool binary_search( ForwardIt first, ForwardIt last, const T& value ); (since C++20) -->
+  <!-- template< class ForwardIt, class T, class Compare >           bool binary_search( ForwardIt first, ForwardIt last, const T& value, Compare comp ); (until C++20) -->
+  <!-- template< class ForwardIt, class T, class Compare > constexpr bool binary_search( ForwardIt first, ForwardIt last, const T& value, Compare comp ); (since C++20 -->
+  <function name="std::binary_search">
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <returnValue type="bool"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <iterator container="1" type="first"/>
+    </arg>
+    <arg nr="2" direction="in" >
+      <not-uninit/>
+      <iterator container="1" type="last"/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="4" direction="in" default="0">
+      <not-uninit/>
+    </arg>
+  </function>
   <!--#define offsetof(type, member) /*implementation-defined*/-->
   <function name="offsetof">
     <noreturn>false</noreturn>