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

[Frama-c-discuss] ARe: jessie problem



geng chen a ?crit :
> Here is the C source file:
> --------------------------------------------------
>  int S=0;
>  int T[5];
>  int main(void)
>  {
>    int i;
>    int *p = &T[0] ;
>    for (i=0; i<5; i++)
>      { S = S+i; *p++ = S; }
>    return S;
>  }
> --------------------------------------------------

Which versions of Frama-C and why are you using? Your example does not 
fail with the latest version of the tools (Frama-C-Beryllium-20090902 
and Why 2.20).

--
Julien