--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on March 2011 ---
hello Jens, I might have not explain my problem clearly, thanks anyway. Kevin 2011/3/14 Jens Gerlach <jens.gerlach at first.fraunhofer.de> > 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 > > > _______________________________________________ > 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/20110315/b6124580/attachment.htm>