Re: [creduce-dev] puzzling clang_delta crash

[Yang Chen <chenyang@cs.utah.edu>]

Fix committed.

One more note about the different behaviors for the input with .cpp 
extension and without the extension: if the input file doesn't have any 
file extension, clang_delta treats it as C file.

The reported crash was triggered by an overloaded operator, which isn't 
a C feature. The failing assert wasn't executed for the input without 
.cpp extension.

- Yang

On 11/12/2015 05:23 AM, John Regehr wrote:
> Sorry wrong paste
>
> http://www.cs.utah.edu/~regehr/bug.tar.bz2