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

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


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


From: Yang Chen <chenyang@cs.utah.edu>
To: Tuyen Hoang <tuyenqh@yahoo.com>
Cc: "csmith-bugs@flux.utah.edu" <csmith-bugs@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

Attachment: failint8.zip
Description: Binary data