Re: [csmith-bugs] Uninitialized field of union

[John Regehr <regehr@cs.utah.edu>]

Xuejun, please make the platform-dependent info part of the comment at 
the *top* of every random program.

John



On 08/23/2011 06:45 PM, Xuejun Yang wrote:
> Only under the following conditions:
>
> 1)your platform has an integer size that is not 4 bytes, and
>
> 2)The random program ends with this line: “FYI: the random generator
> makes assumptions about the integer size…”
>
> Csmith doesn’t make assumptions about pointer size currently.
>
> -Xuejun
>
> Should we start providing platform.info <http://platform.info> with bug
> reports,
>
> since it influences the generation of programs? Here's mine:
>
> integer size = 4
>
> pointer size = 8
>
> Pascal