From 0049c406899613082388b36a6f7d9808b2144511 Mon Sep 17 00:00:00 2001
From: Boris Egorov <egorov@linux.com>
Date: Fri, 23 Oct 2015 13:46:39 +0600
Subject: [PATCH] gnu.cfg: Few improvements in backtrace* functions support

    * first argument of backtrace() can be uninitialized
    * treat second argument as size
---
 cfg/gnu.cfg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index f216b18af..d612a8f68 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -57,7 +57,7 @@
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
-      <not-uninit/>
+      <minsize type="argvalue" arg="2"/>
     </arg>
     <arg nr="2">
       <not-uninit/>
@@ -70,6 +70,7 @@
     <arg nr="1">
       <not-null/>
       <not-uninit/>
+      <minsize type="argvalue" arg="2"/>
     </arg>
     <arg nr="2">
       <not-uninit/>
@@ -81,6 +82,7 @@
     <arg nr="1">
       <not-null/>
       <not-uninit/>
+      <minsize type="argvalue" arg="2"/>
     </arg>
     <arg nr="2">
       <not-uninit/>