--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error with size_t



Great. This indeed solved this problem. Thanks!

Best,
- Guanhua

http://www.cs.binghamton.edu/~ghyan

On Mon, Jun 8, 2015 at 11:43 AM, Julien Signoles <Julien.Signoles at cea.fr>
wrote:

> Hi,
>
> On 06/08/2015 05:26 PM, Guanhua Yan wrote:
>
>> Am trying to use the gui tool to load file utils.h:
>>
>> ------------------------------------------
>> #ifndef __UTILS_H__
>> #define __UTILS_H__ 1
>>
>> void pure_memzero(const void * pnt, const size_t len);
>>
>> #endif
>> --------------------------------------------
>>
>> However, frama-c-gui complains that there is an "invalid user input".
>> However, if I replace size_t with int, it would not complain.
>>
>> Any ideas about what happened?
>>
>
> Your C file is not correct. Note that gcc also complains.
>
> $ gcc utils.h
> utils.h:4:1: error: unknown type name ‘size_t’
>
> Adding "#include <stdlib.h>" before using size_t should fix your issue.
>
> Hope this helps,
> Julien
> _______________________________________________
> 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/20150608/ff944cf5/attachment.html>