[csmith-dev] disable 8-bit integer types

Yang Chen chenyang at cs.utah.edu
Fri Jun 21 16:10:29 MDT 2013


Hi Huyen,

I added two options for your purpose:

csmith --no-uint8 --no-int8

You can checkout the latest Csmith from our git repo.

Note that our runtime relies on uint8_t to compute crc32 checksums. You 
may need to manually change that part in runtime/csmith.h

But with the above options, Csmith should be able to generate programs 
which do not contain int8_t and uint8_t types.

- Yang

Tuyen Hoang wrote:
> Hello group,
>
> I'm considering using CSmith to test our DSP C compiler, and one 
> problem is currently preventing us from doing using it: our compiler 
> does not support 8 bit integer types (as well as 'long long'). There 
> is already an option to disable generating of long long entities, 
> would it be easy to add one for 'byte'?
>
> Because of time pressure, I'll try to modify the source code myself 
> while waiting for your response, but I'm afraid that, although it is a 
> simple thing for you to do,  it would take me considerably longer time.
>
> So please help me.
>
> Regards,
> Tuyen




More information about the csmith-dev mailing list