[creduce-bugs] CReduce crash

[Paulo.Matos at csr.com (Paulo J. Matos)]

On 02/07/12 15:42, Eric Eide wrote:
> 	Yang> What's your clang version, Paulo?
>

That would be
$  clang --version
clang version 3.2 (http://llvm.org/git/clang.git 
b9d2b3b8edf7a0dc56e55acb1cf87338d5648daa) (http://llvm.org/git/llvm.git 
a44489d5b5687e98c39947b7b64187a3ad5faf0e)
Target: i386-pc-linux-gnu
Thread model: posix

I forgot to mention (but I guess you found out), that the file for 
minimization after all those errors was empty. Another consideration is 
if the emptiness of the file might have been caused by the perl warning 
I referred to in creduce-dev (email sent today).

The minimization script was:
#!/bin/bash

$HOME/p4ws/pm18_binutils/bc/gcctest/lib/timeout.sh -t 2 
$HOME/p4ws/pm18_binutils/bc/main/result/linux/image/gcc_471_1/libexec/gcc/xap-local-xap/4.7.1/cc1 
-Os test.i &> /dev/null
if [ "$?" -eq "143" ]
then
     exit 0
else
     exit 1
fi


This is testing for an infinite loop in one of our internal passes that 
were integrated into GCC47. timeout.sh returns 143 code if the 
application times out (in this case timeout is 2 seconds).

The csmith file that I was minimizing is attached.

Let me know if I can help you further.

-- 
PMatos




Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
More information can be found at www.csr.com. Follow CSR on Twitter at http://twitter.com/CSR_PLC and read our blog at www.csr.com/blog
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tmp.utZIq23739.c
Type: text/x-csrc
Size: 90885 bytes
Desc: not available
URL: <http://www.flux.utah.edu/pipermail/creduce-bugs/attachments/20120702/79929781/attachment-0001.bin>