<noreturn>true</noreturn>
<leak-ignore/>
</function>
+ <function name="php_hashcontext_dtor">
+ <noreturn>false</noreturn>
+ <arg nr="1">
+ <not-null/>
+ <not-uninit/>
+ </arg>
+ </function>
+ <function name="php_hashcontext_create">
+ <noreturn>false</noreturn>
+ <arg nr="1">
+ <not-null/>
+ <not-uninit/>
+ </arg>
+ </function>
+ <resource>
+ <alloc init="true">php_hashcontext_create</alloc>
+ <dealloc>php_hashcontext_dtor</dealloc>
+ </resource>
</def>