Bug #52550 [Ana]: integer undefined behaviors executed during "make test"

Edit report at http://bugs.php.net/bug.php?id=52550&edit=1 ID: 52550 Updated by: rasmus@php.net Reported by: regehr at cs dot utah dot edu Summary: integer undefined behaviors executed during "make test" Status: Analyzed Type: Bug Package: *General Issues Operating System: linux PHP Version: trunk-SVN-2010-08-06 (snap) Block user comment: N New Comment: Hey, we are starting to see the light on these. Some of them are quite subtle. Is this tool available so we can check out fixes and run it on a continuous basis before new releases? Previous Comments: ------------------------------------------------------------------------ [2010-08-06 21:11:35] iliaa@php.net Automatic comment from SVN on behalf of iliaa Revision: http://svn.php.net/viewvc/?view=revision&revision=301936 Log: Use correct order of operations. Second of many fixes for bug #52550 ------------------------------------------------------------------------ [2010-08-06 20:19:24] rasmus@php.net Automatic comment from SVN on behalf of rasmus Revision: http://svn.php.net/viewvc/?view=revision&revision=301934 Log: Do these ops in the right order here. First of many fixes for bug #52550 ------------------------------------------------------------------------ [2010-08-06 19:21:57] regehr at cs dot utah dot edu Is there a way to attach files here? Anyway I've put a verbose error log here: http://www.cs.utah.edu/~regehr/php-trunk-201008060430-errors.txt Searching for lines containing the string "CLANG UNDEFINED" in this log should give you the right information. ------------------------------------------------------------------------ [2010-08-06 17:43:56] rasmus@php.net Do you have a way to generate the list with the test case filename that triggered the problem? ------------------------------------------------------------------------ [2010-08-06 16:57:55] regehr at cs dot utah dot edu To reiterate: this isn't static analysis. Our tool runs your code under your test suite and looks for integer operations that the C standard tells us are undefined. I manually verified a few more of these reported bugs and they were also real. Anyway, I leave the rest to you. Thanks. ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at http://bugs.php.net/bug.php?id=52550 -- Edit this bug report at http://bugs.php.net/bug.php?id=52550&edit=1