Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error with size_t


  • Subject: [Frama-c-discuss] Error with size_t
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Mon, 08 Jun 2015 17:43:29 +0200
  • In-reply-to: <CAM06BJbPiueo09KTSu9ggE4xLNL4Y6=z3CntHd-Psu0yyTGpfw@mail.gmail.com>
  • References: <CAM06BJbPiueo09KTSu9ggE4xLNL4Y6=z3CntHd-Psu0yyTGpfw@mail.gmail.com>

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