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?

Hello,

On Tue, Mar 3, 2009 at 14:32, David MENTRE <dmentre at linux-france.org> 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[])
>
> This is annoying, as I would like to analyse main(). :-)
>
> I think I can go around this by defining a second main2() and
> analysing that with "-main", but I would like to know if I made a
> mistake.

I reduced this issue (bug?) to a specific error case and made a bug report:

  [#7433] Error for variadic functions are reported for main() and not
the called function
  https://gforge.inria.fr/tracker/index.php?func=detail&aid=7433&group_id=1123&atid=5488

Yours,
d.