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: ghyan at (Guanhua Yan)
  • Date: Mon, 8 Jun 2015 11:26:13 -0400


I am new to the frama-c tool, and hopefully can find help from the list.

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);


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?

Thank you,
- Guanhua
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>