gnu.cfg: Few improvements in backtrace* functions support

* first argument of backtrace() can be uninitialized
    * treat second argument as size
This commit is contained in:
Boris Egorov 2015-10-23 13:46:39 +06:00
parent 0825c57c9f
commit 0049c40689
1 changed files with 3 additions and 1 deletions

View File

@ -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/>