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

Re: [csmith-bugs] array bug not fixed?



This is the command line:

regehr@home:~/csmith$ ./src/csmith -s 3684887680 --force-non-uniform-arrays > foo.c


On 06/21/2011 03:33 PM, Xuejun Yang wrote:
Can you be more specific? I don't see any integer array having same values.

-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 21, 2011 8:17 AM
To: csmith-bugs@flux.utah.edu
Subject: [csmith-bugs] array bug not fixed?

In the program with the header below, multi-dimensional integer arrays
are still initialized to having all the same values.

John




/*
   * This is a RANDOMLY GENERATED PROGRAM.
   *
   * Generator: csmith 2.1.0
   * Git version: 94e6f00
   * Options:   --force-non-uniform-arrays
   * Seed:      3684887680
   */