[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] csmith error
On 9/20/2011 10:12 AM, Eric Eide wrote:
> The checksum doesn't mean anything by itself. But it is useful!
>
> The checksum is useful for finding compiler bugs through differential testing.
> In other words, you can compile your test program with several compilers --- or
> one compiler with several different combinations of options --- to see if the
> program always produces the same answer.
>
> Because of the way that Csmith produces tests, the checksum output of a test
> program should always be the same. (Modulo a few details that I won't go into
> here.)
>
> For example, if you compile your test program with both "foobarcc -O1" and
> "foobarcc -O2", and the two compiled test program output different checksums,
> this is a very strong indicator that you have found a compiler bug.
>
> For a longer explanation of these ideas, I'll refer you to our published
> papers:
> http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf
> http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf
>
> The go into more detail about how the generated programs work.
Thanks for the info.
> Bill> I still have troubles getting my compiler to compile the test
> Bill> codes. It crashed.
>
> If your compiler crashes, congratulations :-). You've found a bug! Maybe not
> the bug you were looking for, though :-(.
Thanks for your comforting words during this frustrating time.
> Bill> I suspecting that typedefs are not correctly defined for my test
> Bill> setup. Can someone show me how to define types for my setup? The
> Bill> types for my system are: char 8 bits int 16 bits long 32 bits
>
> This seems fine; I don't see anything wrong with those representations of the
> standard types.
>
> Eric.
Thanks for clarification.
Bill