--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] From function definition to function declaration and back



Hello,

I have a simple question. How do I get the function declaration knowing
the Cil_types.varinfo of a function definition?

Thank you
Kind Regards
Damien

PS. I have also noticed a couple of places in the doc which confuse the
terms function definition with function declaration.



-- 
------------------------------------------------------------------------

Dr. Damien Karkinsky

Safety-Critical Systems Consultant

Adelard LLP. (www.adelard.com)

Exmouth House, 3-11 Pine Street, London, EC1R 0JH

tel: +44(0)20-7832-5850   mob: +44(0)779-568-1233

------------------------------------------------------------------------