--- layout: fc_discuss_archives title: Message 30 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 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>