2013-12-23 10:06:45 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<def>
|
2014-01-28 06:18:46 +01:00
|
|
|
<function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0-999999</valid></arg> </function>
|
|
|
|
<function name="_exit"> <noreturn>true</noreturn> </function>
|
|
|
|
<function name="closedir"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><not-uninit/><not-null/></arg> </function>
|
2014-01-26 09:53:31 +01:00
|
|
|
|
2014-01-26 09:42:46 +01:00
|
|
|
<resource>
|
|
|
|
<dealloc>close</dealloc>
|
|
|
|
<alloc init="true">socket</alloc>
|
|
|
|
</resource>
|
2014-01-26 17:02:36 +01:00
|
|
|
|
|
|
|
<resource>
|
|
|
|
<dealloc>closedir</dealloc>
|
|
|
|
<alloc init="true">opendir</alloc>
|
|
|
|
<alloc init="true">fdopendir</alloc>
|
|
|
|
</resource>
|
2013-12-23 10:06:45 +01:00
|
|
|
</def>
|
|
|
|
|