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