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

Re: [csmith-bugs] Uninitialized member of union

To: Pascal Cuoq <pascal.cuoq@gmail.com>, csmith-bugs@flux.utah.edu
Subject: Re: [csmith-bugs] Uninitialized member of union
From: Eric Eide <eeide@cs.utah.edu>
Date: Fri, 25 Nov 2011 09:27:41 -0700
In-reply-to: Pascal Cuoq's message of Friday, November 25 2011 <CAOH62Jjm-ve3HiMK4kk=5Mf9h9E38M001DHuV0Ub73TBX0x2VQ@mail.gmail.com>
List-archive: </listarchives/csmith-bugs>
List-help: <mailto:csmith-bugs-request@flux.utah.edu?subject=help>
List-id: Csmith Bugs Mailing List <csmith-bugs.flux.utah.edu>
List-post: <mailto:csmith-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <CAOH62Jjm-ve3HiMK4kk=5Mf9h9E38M001DHuV0Ub73TBX0x2VQ@mail.gmail.com>

"Pascal" == Pascal Cuoq <pascal.cuoq@gmail.com> writes:

	Pascal> it is my sad duty to report that 7 core.weeks of testing
	Pascal> appear to have revealed a bug in Csmith 2.1.0.

:-).  Thanks.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

References:
- [csmith-bugs] Uninitialized member of union
  - From: Pascal Cuoq <pascal.cuoq@gmail.com>

Prev by Date: [csmith-bugs] Uninitialized member of union
Next by Date: Re: [csmith-bugs] Uninitialized member of union
Previous by thread: [csmith-bugs] Uninitialized member of union
Next by thread: Re: [csmith-bugs] Uninitialized member of union
Index(es):
- Date
- Thread