--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on December 2009 ---
In this code snippet, Jessie can't verify arithmetic overflow: typedef unsigned int uint32; uint32 Xor( uint32 x, uint32 y ) { return x ^ y; } This looks like a bug to me. I use Beryllium 1. -Boris