--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on March 2011 ---
Hello Kevin, frankly, I do not understand your first sentence. Regarding your second sentence, I think you should consult a C programming book or C standard about the initialisation of global objects in C. Jens On 14.03.11 04:55, "kevin fu" <kevin09fjw at gmail.com> wrote: > Hello, > ?? ? I've been told a pointer type is assumed to point at the beginning of an > array of two elements. And all remaining cells are made to contain a > non-deterministic superposition of the first ones. > ?? ? but, when I define an global array ----- int *(array[5]) ------ frama-c > tells me that the array is initialed to array[0..4] {0; }, not something like > array[0] {{&NULL, &s_b_0_t}} which i think it should be. > > ?? ? Can somebody explain this problem ? > > ?? ? thank u. > > > kevin > > > _______________________________________________ > 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/20110314/1fd77fc4/attachment.htm>