]> granicus.if.org Git - php/commitdiff
add more defs for resource alloc/dealloc
authorAnatol Belski <ab@php.net>
Wed, 31 Aug 2016 10:09:56 +0000 (12:09 +0200)
committerAnatol Belski <ab@php.net>
Wed, 31 Aug 2016 10:10:40 +0000 (12:10 +0200)
win32/build/cppcheck.cfg

index a59d20ec68373307c1a6c0c4c7d03f57476f4892..328680aa53733bd56f31e7560bc0c73e5fbcb3c6 100644 (file)
                <alloc init="true">zend_str_alloc</alloc>
                <dealloc>zend_str_free</dealloc>
        </resource>
+       <function name="_php_stream_alloc">
+               <noreturn>false</noreturn>
+               <arg nr="1"/>
+               <arg nr="2"/>
+               <arg nr="3"/>
+               <arg nr="4"/>
+       </function>
+       <function name="_php_stream_free">
+               <noreturn>false</noreturn>
+               <arg nr="1">
+                       <not-null/>
+                       <not-uninit/>
+               </arg>
+               <arg nr="2"/>
+       </function>
+       <resource>
+               <alloc init="true">_php_stream_alloc</alloc>
+               <dealloc>_php_stream_free</dealloc>
+       </resource>
+       <function name="zend_init_rsrc_list">
+               <noreturn>false</noreturn>
+       </function>
+       <function name="zend_init_rsrc_plist">
+               <noreturn>false</noreturn>
+       </function>
+       <function name="zend_close_rsrc_plist">
+               <noreturn>false</noreturn>
+               <arg nr="1">
+                       <not-null/>
+                       <not-uninit/>
+               </arg>
+       </function>
+       <function name="zend_destroy_rsrc_plist">
+               <noreturn>false</noreturn>
+               <arg nr="1">
+                       <not-null/>
+                       <not-uninit/>
+               </arg>
+       </function>
+       <resource>
+               <alloc init="true">zend_init_rsrc_list</alloc>
+               <alloc init="true">zend_init_rsrc_plist</alloc>
+               <dealloc>zend_close_rsrc_plist</dealloc>
+               <dealloc>zend_destroy_rsrc_plist</dealloc>
+       </resource>
+       <function name="zend_init_rsrc_list_dtors">
+               <noreturn>false</noreturn>
+       </function>
+       <function name="zend_destroy_rsrc_list_dtors">
+               <noreturn>false</noreturn>
+       </function>
+       <resource>
+               <alloc init="true">zend_init_rsrc_list_dtors</alloc>
+               <dealloc>zend_destroy_rsrc_list_dtors</dealloc>
+       </resource>
+       <function name="zend_list_insert,zend_register_resource">
+               <noreturn>false</noreturn>
+               <arg nr="1">
+                       <not-null/>
+                       <not-uninit/>
+               </arg>
+               <arg nr="2"/>
+       </function>
+       <function name="zend_list_close">
+               <noreturn>false</noreturn>
+               <arg nr="1">
+                       <not-null/>
+                       <not-uninit/>
+               </arg>
+       </function>
+       <resource>
+               <alloc init="true">zend_list_insert</alloc>
+               <dealloc>zend_list_close</dealloc>
+       </resource>
 </def>