Re: [creduce-bugs] clang delta crash

[Eric Eide <eeide@cs.utah.edu>]

Yang Chen <chenyang@cs.utah.edu> writes:

> Thanks for the bug report!
>
> I couldn't reproduce the crash with the git head, both master and
> llvm-svn-compatible branches. What version did you use? If it's an older
> version, the crash might get fixed in the head. Thanks!

Yang: Jeff mentioned his C-Reduce version in his email: commit 172b007, which
is circa June 2014.  It is several commits back from the C-Reduce 2.2.0
release.

Anyway, it sounds like the crash problem that Jeff is reporting has already
been fixed.  Good news!

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX