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

[Frama-c-discuss] different range in the loop depending de type



Hi,

There's something curious in this exemple.
Depending the type of i, the range is not the same.
The range of i in the loop is [0..10] (for int) or [0..15] for char or
short.
any idea ?

St?phane


void main(void)
{
char i=0;
int j=0;
while (i<10) i++;
while (j<10) j++;
}

[value] ====== VALUES COMPUTED ======
[value] Values for function main:
i ? {10; 11; 12; 13; 14; 15; }
j ? {10; }

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091106/ddd57e22/attachment.htm