[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