Re: [creduce-bugs] clang-delta crash report

To: Micah Villmow <micah.villmow@softmachines.com>
Subject: Re: [creduce-bugs] clang-delta crash report
From: Yang Chen <chenyang@cs.utah.edu>
Date: Sat, 19 Mar 2016 00:34:22 -0700
Cc: creduce-bugs@flux.utah.edu
In-reply-to: <3947CD34E13C4F4AB2D94AD35AE3FE60016E440A35@smi-exchange1.smi.local>
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <3947CD34E13C4F4AB2D94AD35AE3FE60016E440A35@smi-exchange1.smi.local>
User-agent: Roundcube Webmail/1.1.4

Hi Micah,

Thanks for the bug report!

I can't reproduce the crash with the master branch. Perhaps it was fixedafter C-Reduce 2.4 release.


- Yang

On 2016-03-15 08:41, Micah Villmow wrote:

To creduce developers. Thanks for creating a great tool!


Here is a bug report. This is with clang 3.8, creduce 2.4,

References:
- [creduce-bugs] clang-delta crash report
  - From: Micah Villmow <micah.villmow@softmachines.com>