[csmith-bugs] --no-int8 does not work perfectly

Tuyen Hoang tuyenqh at yahoo.com
Tue Jul 2 01:58:12 MDT 2013


Hi,

Sorry. I must have made a mistake somewhere. Please find attached other tests.

Tuyen



>________________________________
> From: Yang Chen <chenyang at cs.utah.edu>
>To: Tuyen Hoang <tuyenqh at yahoo.com> 
>Cc: "csmith-bugs at flux.utah.edu" <csmith-bugs at flux.utah.edu> 
>Sent: Monday, July 1, 2013 9:25 PM
>Subject: Re: [csmith-bugs] --no-int8 does not work perfectly
> 
>
>Hi Tuyen,
>
>Thanks for the bug report, but seems you attached a wrong test case? I 
>can't find any int8_t variable in the attached code.
>
>- Yang
>
>Tuyen Hoang wrote:
>> Csmith (lattest development version as of today) still manages to 
>> generate code that use int8 with following command
>>
>> csmith --max-funcs 1 --no-checksum --no-safe-math --max-block-depth 2 
>> --no-int8 --no-uint8 --no-longlong --no-math64
>>
>> union U2 {
>>    volatile int8_t * const  volatile  f0;
>>    int32_t  f1;
>>    uint32_t  f2;
>> };
>>
>> /* --- GLOBAL VARIABLES --- */
>> static int8_t * volatile g_2 = (void*)0;/* VOLATILE GLOBAL g_2 */
>> static int8_t g_4 = (-8L);
>>
>> Regards,
>> Tuyen
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/csmith-bugs/attachments/20130702/8aed7b11/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: failint8.zip
Type: application/octet-stream
Size: 21125 bytes
Desc: not available
URL: </listarchives/csmith-bugs/attachments/20130702/8aed7b11/attachment.obj>


More information about the csmith-bugs mailing list