[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-dev] (no subject)



Hi,
We modified the script for finding the coverage for old and extended csmith.

1.It randomly chooses one of the extensions from a set of all
implemented extensions ,generates program based on above extension.
2.Uses same seed from above program but generates another program
without extension.
3.We compile both programs using 2 different compiler sources, built
with --enable-coverage .

repeat above steps for some 10,000 programs
(so that may be 20% be of one kind of extension, another 25% of some
other kind , and so on.... for all extensions which we implemented)

4.find coverage using lcov at end for both the compiler built sources
files and find the gain .

I am facing a strange problem for csmith , where
    if I use  --output as command line which is supposed to simply
redirect the output to some file, it's redirecting the extension's
code, to terminal .And the *target[] is not
present in the filename.c. Which causes compilation errors.

This code is for the --computed-goto extension which we submitted on
github as a pull request.

The same error occurs for another extensions as well when we use
--output , where as when we try redirecting using '>' operator the
same error didn't occur.

ERROR HERE:
$ ./csmith --computed-goto --output filename.c

Following is output on terminal , which was supposed to be in
file,which causes compilation errors
/*
NUMBER OF GOTO'S IN ABOVEE BLOCK:1*/
void *target[] = { &&lbl_3919};
/*
NUMBER OF GOTO'S IN ABOVEE BLOCK:1*/
void *target[] = { &&lbl_3102};

THIS WORKS FINE:

$ ./csmith --computed-goto > filename.c
~/workspace/csmith/src$

How do I find why is it outputing such to STDOUT?

Thanks,
Sameeran Joshi