I’ll try to fix them this week. Thanks for reporting and tracking them, Pascal. -Xuejun From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of Pascal Cuoq On Sat, Nov 12, 2011 at 9:06 PM, John Regehr <regehr@cs.utah.edu> 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): Pascal |