[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
On Sat, Nov 12, 2011 at 9:06 PM, John Regehr <email@example.com> wrote:
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 (common):
- accessing uninitialized members of unions with option --no-bitfields (rare):