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

Yang Chen chenyang at cs.utah.edu
Mon Jul 1 13:25:21 MDT 2013


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




More information about the csmith-bugs mailing list