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