--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with bitwise xor



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