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

Re: [csmith-bugs] persistent bug



Let me fix some other bugs that won't change the generation outcome first.
Otherwise I'll have to hopping between different versions of Csmith to
reproduce the problems.

-Xuejun

> 
> Xuejun, most arrays of integers are still initialized to contain all the
> same value.  See the program below for example.  Can you please fix this?
> 
> John
> 
> 
> 
> /*
>   * This is a RANDOMLY GENERATED PROGRAM.
>   *
>   * Generator: csmith 2.1.0
>   * Git version: 1e0418a
>   * Options:   --check-global --output foo.c
>   * Seed:      954105992
>   */
> 
> #include "csmith.h"
> 
> 
> static long __undefined;
> 
> /* --- Struct/Union Declarations --- */
> /* --- GLOBAL VARIABLES --- */
> static uint32_t g_8[6][5] = {{0U, 0U, 0xBEF7D651L, 0U, 0U}, {0U, 0U,
> 0xBEF7D651L, 0U, 0U}, {0U, 0U, 0xBEF7D651L, 0U, 0U}, {0U, 0U,
> 0xBEF7D651L, 0U, 0U}, {0U, 0U, 0xBEF7D651L, 0U, 0U}, {0U, 0U,
> 0xBEF7D651L, 0U, 0U}};
> static int32_t g_15 = 8L;
> static int32_t * volatile g_14 = &g_15;/* VOLATILE GLOBAL g_14 */
> static int32_t * volatile g_16 = &g_15;/* VOLATILE GLOBAL g_16 */
> static uint32_t g_35 = 0xCDC0F1FAL;
> static int32_t g_56[8][1] = {{0x6A447D05L}, {0x6A447D05L},
> {0x6A447D05L}, {0x6A447D05L}, {0x6A447D05L}, {0x6A447D05L},
> {0x6A447D05L}, {0x6A447D05L}};
> static volatile int32_t g_62 = 0x41911659L;/* VOLATILE GLOBAL g_62 */
> static volatile int32_t g_63 = 2L;/* VOLATILE GLOBAL g_63 */
> static volatile int32_t g_64 = 0x642EE1E3L;/* VOLATILE GLOBAL g_64 */
> static int32_t g_65 = (-10L);
> static int32_t g_71 = (-7L);
> static int32_t g_85 = 1L;
> static int32_t * volatile g_90 = &g_56[7][0];/* VOLATILE GLOBAL g_90 */
> static int32_t * volatile g_91 = 0;/* VOLATILE GLOBAL g_91 */
> static int32_t * volatile g_92 = 0;/* VOLATILE GLOBAL g_92 */
> static int32_t * volatile g_93 = 0;/* VOLATILE GLOBAL g_93 */
> static int32_t *g_97[1] = {&g_56[3][0]};
> static int32_t ** volatile g_96 = &g_97[0];/* VOLATILE GLOBAL g_96 */
> static volatile int32_t *g_100 = &g_63;
> static volatile int32_t * volatile * const  volatile g_99 = &g_100;/*
> VOLATILE GLOBAL g_99 */
> static const uint64_t g_180[5] = {1U, 1U, 1U, 1U, 1U};
> static volatile int32_t * volatile * volatile g_196 = 0;/* VOLATILE
> GLOBAL g_196 */
> static volatile int32_t * volatile * volatile g_203 = &g_100;/* VOLATILE
> GLOBAL g_203 */
> static int32_t * volatile ** volatile g_234 = 0;/* VOLATILE GLOBAL g_234
*/
> static int32_t * volatile *g_237 = &g_90;
> static volatile int32_t * volatile * volatile g_317 = &g_100;/* VOLATILE
> GLOBAL g_317 */
> static int32_t **g_352 = &g_97[0];
> static int32_t ***g_351[2] = {&g_352, &g_352};
> static uint32_t g_388 = 0x4FC2D183L;
> static int32_t *g_440 = &g_56[4][0];
> static volatile int32_t * volatile * volatile g_490[10] = {&g_100,
> &g_100, &g_100, &g_100, &g_100, &g_100, &g_100, &g_100, &g_100,
> &g_100};
> static volatile int32_t * volatile * volatile g_491 = &g_100;/* VOLATILE
> GLOBAL g_491 */
> static int32_t g_516 = (-8L);
> static int32_t ** volatile g_537[6] = {&g_440, &g_440, &g_440, &g_440,
> &g_440, &g_440};
> static int32_t ** const  volatile g_539 = &g_97[0];/* VOLATILE GLOBAL
> g_539 */
> static uint16_t g_552 = 0U;
> static volatile int32_t * volatile * volatile g_622 = &g_100;/* VOLATILE
> GLOBAL g_622 */
> static int32_t ** volatile g_625 = &g_97[0];/* VOLATILE GLOBAL g_625 */
> static int32_t g_765 = 0L;
> static uint32_t g_769 = 0x136F6006L;
> static uint64_t g_783[6][9][1] = {{{0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL}},
> {{0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}},
> {{0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}},
> {{0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}},
> {{0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}},
> {{0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}, {0x4E0C66DB788F4948LL},
> {0x4E0C66DB788F4948LL}}};