On Feb 16, 2009, at 11:30 AM, Ben Laurie wrote:
On Mon, Feb 16, 2009 at 7:19 PM, Ted Kremenek <[email protected]>
wrote:
On Feb 16, 2009, at 11:15 AM, Ben Laurie wrote:
This fixes a currently failing test by using the
RangeConstraintManager.
These aren't broken tests; their just testing expected behavior. The
expected behavior is that BasicConstraintManager doesn't handle
these cases
well.
The result is the test fails, so how are they not broken?
Per our conversion on IM, they are not broken on my machine, nor are
others reporting of these failures. I really believe this is a
compiler bug. gcc 3.4.6 is really old, and has been historically
known to have problems with C++ code._______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
