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

ID: 12034 Updated by: lobbin Reported By: jungle@judicial.gov.tw Old Status: Open Status: Feedback Bug Type: Compile Warning PHP Version: 4.0.6 New Comment: Does still happen on 4.1.1? Previous Comments: ------------------------------------------------------------------------ [2001-12-23 20:39:55] jungle@judicial.gov.tw It is a long time since I posted the problems. I don't remember which os/compiler I used. Tthere are 3 different systems on our site. It might be AIX 4.3.2. It seems that type definitions and calls do not match even we check by our eyes. I think it is better to match them even a compiler ignores them. ------------------------------------------------------------------------ [2001-12-20 03:11:48] lobbin@php.net What os/compiler are you using? I'm not getting this with the latest CVS. R. ------------------------------------------------------------------------ [2001-07-11 01:58:25] jungle@judicial.gov.tw 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 this bug report at http://bugs.php.net/?id=12034&edit=1