On Wed, Jan 18, 2012 at 7:13 PM, Peter Collingbourne <[email protected]>wrote:
> On Wed, Jan 18, 2012 at 02:38:31AM +0100, Stefan Bucur wrote: > > Hi, > > > > Below is a patch that addresses an issue that would cause Klee to > > incorrectly execute a getelementptr instruction that contains negative > > offsets. I presume this situation has not been encountered too much > before, > > but it appears that LLVM 3.0 likes to construct such instructions more > > often. > > Hi Stefan, > > Have you tried the latest version of KLEE? I made almost this exact > same change in r136474. > > Hi Peter, My bad. You're right, the SVN tree actually contains both of the proposed changes. I actually diffed from a Git mirror of Klee that I have been maintaining, which for some reason hasn't properly kept up with the SVN repository... Sorry for the noise, and I'm glad these changes are already in Klee! Cheers, Stefan
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
