[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
Cool. Then Eric and I will push out the 2.1 release. There's a lot of
good stuff added since 2.0.
On 11/14/2011 12:26 PM, Xuejun Yang wrote:
I’ll try to fix them this week. Thanks for reporting and tracking them, Pascal.
[mailto:email@example.com] *On Behalf Of *Pascal Cuoq
*Sent:* Saturday, November 12, 2011 12:22 PM
*To:* John Regehr
*Subject:* Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
On Sat, Nov 12, 2011 at 9:06 PM, John Regehr <firstname.lastname@example.org
Ok, sounds like the main thing is we'd like to have the queue of real
bugs (from Pascal) be empty.
As far as I remember, the bugs that remain open at this point are:
- auto-increment of bitfield may cause overflow in signed int arithmetics:
- accessing uninitialized members of unions with option --bitfields set
- accessing uninitialized members of unions with option --no-bitfields (rare):