Re: [csmith-bugs] [csmith-project/csmith] 6349ed: apply command line option "--force-non-uniform-arr...

["Xuejun Yang" <jxyang@cs.utah.edu>]

As the commit message indicated, union arrays are not covered by this fix. The reason is that struct doesn't contain pointer fields (as of now), but unions do. 

The 3rd variable l_722 was initialized incorrectly because the generator used a hash function to pick one initial value from a set of values for one index. But due to a poor choice of inputs to the hash function, the same value are picked for all indices for this variable. This will be fixed soon.

-Xuejun

> -----Original Message-----
> From: csmith-bugs-bounces@flux.utah.edu
> [mailto:csmith-bugs-bounces@flux.utah.edu] On Behalf Of John Regehr
> Sent: Tuesday, June 28, 2011 1:37 PM
> To: csmith-bugs@flux.utah.edu
> Subject: Re: [csmith-bugs] [csmith-project/csmith] 6349ed: apply command line
> option "--force-non-uniform-arr...
> 
> >    apply command line option "--force-non-uniform-arrays" to struct
> > arrays
> 
> Can you explain what is the intended behavior of the current version?
> 
> The attached program, created by the current revision, contains some
> extremely non-random initializers.  Examples below.
> 
> John
> 
> 
> 
> 
> static union U1 g_287[3][5][8] =
> {{{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{
> 0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0
> U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}}},{{{0U},{0U},{0U},{0U},{0U},{0
> U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U}
> ,{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{
> 0U},{0U},{0U},{0U}}},{{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{
> 0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0
> U},{0U},{0U},{0U},{0U},{0U}},{{0U},{0U},{0U},{0U},{0U},{0U},{0U},{0U}}}};
> 
> 
> 
>   union U2 l_843[9] = {{1L},{1L},{1L},{1L},{1L},{1L},{1L},{1L},{1L}};
> 
> 
> 
> int32_t l_713[8][4][4] =
> {{{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-
> 7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)}},{{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xD
> DBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,
> (-7L)}},{{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7B
> C7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)}},{{0xDDBE7BC7L,(-7L),9L,(-7L)}
> ,{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7
> L),9L,(-7L)}},{{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDD
> BE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)}},{{0xDDBE7BC7L,(-7L),9L,
> (-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC
> 7L,(-7L),9L,(-7L)}},{{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{
> 0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)}},{{0xDDBE7BC7L,(-7
> L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDBE7BC7L,(-7L),9L,(-7L)},{0xDDB
> E7BC7L,(-7L),9L,(-7L)}}};
> 
> 
> 
>   struct S0 l_722[6][6][1] =
> {{{{1L,7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,7L,184
> 46744073709551615U,18446744073709551613U,0L}},{{1L,7L,1844674407370
> 9551615U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,18
> 446744073709551613U,0L}},{{1L,7L,18446744073709551615U,184467440737
> 09551613U,0L}},{{1L,7L,18446744073709551615U,18446744073709551613U,0
> L}}},{{{1L,7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,7L,1
> 8446744073709551615U,18446744073709551613U,0L}},{{1L,7L,18446744073
> 709551615U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,
> 18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,1844674407
> 3709551613U,0L}},{{1L,7L,18446744073709551615U,18446744073709551613
> U,0L}}},{{{1L,7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,
> 7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,7L,18446744
> 073709551615U,18446744073709551613U,0L}},{{1L,7L,184467440737095516
> 15U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,1844674
> 4073709551613U,0L}},{{1L,7L,1844674
> 4073709551615U,18446744073709551613U,0L}}},{{{1L,7L,1844674407370955
> 1615U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,18446
> 744073709551613U,0L}},{{1L,7L,18446744073709551615U,184467440737095
> 51613U,0L}},{{1L,7L,18446744073709551615U,18446744073709551613U,0L}},
> {{1L,7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,7L,1844
> 6744073709551615U,18446744073709551613U,0L}}},{{{1L,7L,1844674407370
> 9551615U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,18
> 446744073709551613U,0L}},{{1L,7L,18446744073709551615U,184467440737
> 09551613U,0L}},{{1L,7L,18446744073709551615U,18446744073709551613U,0
> L}},{{1L,7L,18446744073709551615U,18446744073709551613U,0L}},{{1L,7L,18
> 446744073709551615U,18446744073709551613U,0L}}},{{{1L,7L,18446744073
> 709551615U,18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,
> 18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,1844674407
> 3709551613U,0L}},{{1L,7L,18446744073709551615U,18446744073709551613
> U,0L}},{{1L,7L,18446744073709551615U,
> 18446744073709551613U,0L}},{{1L,7L,18446744073709551615U,1844674407
> 3709551613U,0L}}}};