Merge pull request #699 from JIghtuse/master

gnu.cfg: Few improvements in backtrace* functions support
This commit is contained in:
amai2012 2015-10-29 06:44:40 +01:00
commit 1cc7d772d7
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/>