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

Re: [csmith-dev] Fwd: csmith errors

Hi Bill,
There is only one question to ask about a program generated by Csmith: Does the C standard assign an unambiguous meaning to it? If yes, then testing can proceed. If no, then we have to fix a bug.
The warnings you list are designed to help programmers avoid error-prone constructs. Csmith is not a programmer, and the warnings are irrelevant. 

John



On 9/23/11 1:35 PM, Bill Chan wrote:

Hi all,

Can someone explains to me what these gcc warnings mean?

comparison of distinct pointer types lacks a cast
large integer implicitly truncated to unsigned type
overflow in implicit constant conversion

I keep getting these warning when I use gcc to compile the test codes.

Thanks,

Bill


-------- Original Message --------
Subject: 	csmith errors
Date: 	Thu, 22 Sep 2011 15:43:34 -0400
From: 	Bill Chan <billchan01@gmail.com>
To: 	csmith_list <csmith-dev@flux.utah.edu>



Hi all,

I created testsuites with different levels of max_expr_depth. I compiled
these files with gcc, and got the following warnings.

comparison of distinct pointer types lacks a cast
large integer implicitly truncated to unsigned type
overflow in implicit constant conversion

Attached is one of the 7 sets of test codes created. If anyone is
interested in all of them, i can post them all later.

-Bill