[csmith-dev] possible bug

[John Regehr <regehr@cs.utah.edu>]

On x86, using the latest version, I'm making a random program like this:

csmith -s 1243108467 --bitfields --no-volatiles --no-packed-struct 
--no-longlong  --output rand005561.c

And turning it into small.c like this:

current-gcc -m32 -O0 -DUSE_MATH_MACROS_NOTMP -D__COMPCERT__   -w 
-DINLINE= -DCSMITH_MINIMAL  -I/mnt/z/csmith/runtime rand005561.c -E | 
grep -v '^#' > small.c

And kcc is saying this:

=============================================================
ERROR! KCC encountered an error while executing this program.
=============================================================
Error: 00006
Description: Reading unspecified (possibly uninitialized) memory, or 
trying to read a pointer or float through an integer type.
=============================================================
File: /mnt/z/volatile/bugs/tmp045/small.c
Function: func_16
Line: 1131
=============================================================

Please investigate.

John