Bug #12034: A type-error and a coding-error.

From: jungle@judicial.gov.tw Operating system: PHP version: 4.0.6 PHP Bug Type: Compile Warning Bug description: A type-error and a coding-error. 1. "php_ticks.c", line 55.53: 1506-280 (W) Function argument assignment between types "void*" and "void(*)(int)" is not allowed. main/php_ticks.c: PHPAPI void php_remove_tick_function(void (*func)(int)) { PLS_FETCH(); zend_llist_del_element(&PG(tick_functions), (void *)&func, (int(*)(void*,void*))php_compare_tick_functions); } I think the 2nd arg of zend_llist_del_element() shoud be: (void *)&func Not func 2. "output.c", line 154.140: 1506-280 (W) Function argument assignment between types "unsigned int*" and "int*" is not allowed. ext/standard/output.c: The final_buffer_len should be defined as uint, not int. 3. "zend_extensions.c", line 33.16: 1506-068 (W) Operation between types "void*" and "int" is not allowed. 4. "main.c", line 1166.17: 1506-068 (W) Operation between types "unsigned char*" and "int" is not allowed. 5. "dl.c", line 136.16: 1506-068 (W) Operation between types "void*" and "int" is not allowed. All are caused by zend.h -> dlfcn.h is not included. I will report these to Zend. -- Edit bug report at: http://bugs.php.net/?id=12034&edit=1