--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on March 2009 ---
[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.