--- layout: fc_discuss_archives title: Message 28 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



Frama-C-Beryllium-20090901 and the default why tool contained in it

2009/10/14 Julien Signoles <Julien.Signoles at cea.fr>

> 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
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091014/fc31bfdc/attachment.htm