--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem about initial values for pointer type



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>