Bug #17478 Updated: compile warning in var_unserializer.re

ID: 17478 Updated by: sander@php.net Reported By: jan@horde.org -Status: Open +Status: Bogus Bug Type: Compile Warning Operating System: Linux PHP Version: 4.0CVS-2002-05-28 New Comment: AFAIK this is an autogenerated file. We can't do much about those things... Previous Comments: ------------------------------------------------------------------------ [2002-05-28 05:46:16] jan@horde.org var_unserializer.re: In function `php_var_unserialize': var_unserializer.re:312: warning: comparison is always false due to limited range of data type var_unserializer.re:237: warning: label `yy80' defined but not used var_unserializer.re:280: warning: label `yy79' defined but not used var_unserializer.re:277: warning: label `yy78' defined but not used var_unserializer.re:256: warning: label `yy74' defined but not used var_unserializer.re:263: warning: label `yy72' defined but not used var_unserializer.re:294: warning: label `yy71' defined but not used var_unserializer.re:291: warning: label `yy70' defined but not used var_unserializer.re:270: warning: label `yy66' defined but not used var_unserializer.re:350: warning: label `yy65' defined but not used var_unserializer.re:347: warning: label `yy64' defined but not used var_unserializer.re:318: warning: label `yy60' defined but not used var_unserializer.re:304: warning: label `yy56' defined but not used var_unserializer.re:277: warning: label `yy52' defined but not used var_unserializer.re:334: warning: label `yy50' defined but not used var_unserializer.re:320: warning: label `yy47' defined but not used var_unserializer.re:284: warning: label `yy43' defined but not used var_unserializer.re:341: warning: label `yy42' defined but not used var_unserializer.re:339: warning: label `yy41' defined but not used var_unserializer.re:336: warning: label `yy40' defined but not used var_unserializer.re:304: warning: label `yy36' defined but not used var_unserializer.re:349: warning: label `yy35' defined but not used var_unserializer.re:347: warning: label `yy34' defined but not used var_unserializer.re:344: warning: label `yy33' defined but not used var_unserializer.re:322: warning: label `yy29' defined but not used var_unserializer.re:415: warning: label `yy28' defined but not used var_unserializer.re:413: warning: label `yy27' defined but not used var_unserializer.re:410: warning: label `yy26' defined but not used var_unserializer.re:330: warning: label `yy22' defined but not used var_unserializer.re:419: warning: label `yy21' defined but not used var_unserializer.re:417: warning: label `yy20' defined but not used var_unserializer.re:415: warning: label `yy19' defined but not used var_unserializer.re:398: warning: label `yy14' defined but not used var_unserializer.re:273: warning: label `yy1' defined but not used ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=17478&edit=1