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

Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...



Problems with printf() are easy to avoid by casting all types to long long and using the %lld format string.

John


On 05/04/2011 05:35 PM, Yang Chen wrote:
John Regehr wrote:
There are places the random generator must decide whether a long is 4
bytes or 8 bytes. If you want to make it 4 bytes for all platforms, I
have no issue with that.

I don't understand why we need to know the size of a long at program
generation time.

John

If I am correct, once we get rid of outputing fixed-width integers, we
don't need to be aware of that. In our current framework, the only place
to consider sizeof(long) is where the generator determines to print
"int64_t" for long on x86-64, or print "int32_t" for long on x86 (I
could be wrong, Xuejun could correct me).

- Yang