--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on October 2009 ---
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