--- layout: fc_discuss_archives title: Message 98 from Frama-C-discuss on December 2009 ---
> 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