--- layout: fc_discuss_archives title: Message 98 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Res: Jessie global variables and functions



> A correct specification for f2 as it is written would be assigns var1, var2;

So you always need to manually propagate the assigns clause of every function which is called by the function in focus?

Is this correct?

If yes, does you agree that it would be the case to implement in Why some kind of automatically propagation of the refered (indirectly) assigns clauses?

Att.
Jo?o Paulo Carvalho.


      ____________________________________________________________________________________
Veja quais s?o os assuntos do momento no Yahoo! +Buscados
http://br.maisbuscados.yahoo.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091209/9e975fa2/attachment.htm