--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on June 2015 ---
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>