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] Best approach when specifying regular C functions from stdlib?

On Tue, Mar 3, 2009 at 14:32, David MENTRE <dmentre at> wrote:
> ?1. I still have a bug with main():
> ? ? dev-random-pass-gen.c:71: Bug: unsupported variadic functions
> ? ? Dropping definition of function main
> I have followed you recommendation, i.e. I declare main() as:
> ?int main(int argc, char *argv[])

Here is the smallest program that triggers the issue:
#include <stdlib.h>
#include <fcntl.h>

void main(void)
        static int rand_fd = -1;

        rand_fd = open("/dev/urandom", O_RDONLY);

Apparently, this is the call to open() (which is itself variadic),
that triggers the issue.