I’ll try to fix them this week. Thanks for reporting and tracking them, Pascal.
From: email@example.com [mailto:firstname.lastname@example.org] On Behalf Of Pascal Cuoq
On Sat, Nov 12, 2011 at 9:06 PM, John Regehr <email@example.com> wrote:
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):