Hi, I was using your wonderful creduce and csmith tools to chase down some bugs in a C compiler I'm working on, and creduce asked me to email you this bug report. Hope it helps, and thanks for all the work you do: these tools are really useful to me! Aloha, Adam Greenblatt / adam.greenblatt@gmail.com / (808) 959-8531
Attachment:
creduce_bug_000.tar.xz
Description: Binary data