Edit report at http://bugs.php.net/bug.php?id=52550&edit=1
ID: 52550
User updated by: regehr at cs dot utah dot edu
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:
The tool isn't yet available. It is a modified version of LLVM's Clang
compiler and it still has some rough edges that we're working out.
However, we'll contribute it to the LLVM project fairly soon, at which
point it'll be really easy to run as you suggest. In the meantime I'd
be happy to rerun it in a few weeks or whenever seems good to you.
Previous Comments:
------------------------------------------------------------------------
[2010-08-06 21:20:43] ras...@php.net
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?
------------------------------------------------------------------------
[2010-08-06 21:11:35] il...@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] ras...@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] ras...@php.net
Do you have a way to generate the list with the test case filename that
triggered
the problem?
------------------------------------------------------------------------
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
