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

Re: [csmith-dev] int8_t usage

Hi Paulo,

Out of curiosity, what size is a char on your architecture?
Csmith has no particular requirement about int8_t that I can think of. In fact I expect that you could probably hack a header file to typedef it to be something totally different.
As a longer-term solution I believe we should eliminate the use of fixed-width types in Csmith output. These served a purpose at one point, but (as far as I know) no longer do.
Probably the right thing is to have a separate flag enabling/disabling generation of each native C type: char, unsigned char, signed char, short, unsigned short, etc. 

I don't think any of this is hard, but the changes are probably tedious.

Any thoughts, Xuejun and Yang?

John



On 9/8/11 11:06 AM, Paulo J. Matos wrote:

Hi,

I am testing an architecture whose register size is 16. Therefore, we
can't represent 8bits and we don't have an int8_t. According to the
stdint.h reference an int8_t should represent _exactly_ 8 bits. However,
if it is the case that at least 8 bits should be represented then
int_least8_t should be used.

My question is as follows, does CSmith require variables whose value is
exactly 8bits when it uses int8_t? If not can you please move to
int_least8_t? If you really require in some situations int8_t, can you
please have an option to disable variables of this type?

Cheers,

Paulo Matos


Member of the CSR plc group of companies. CSR plc registered in England
and Wales, registered number 4187346, registered office Churchill House,
Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
More information can be found at www.csr.com. Follow CSR on Twitter at
http://twitter.com/CSR_PLC and read our blog at www.csr.com/blog