--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on August 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Meaning of "FROM \nothing" for function calls in -deps analysis?



Hello Pascal and Boris,

Le 28/08/2015 16:07, Pascal Cuoq a écrit :
> The assignment is in fact “c = 3;”, meaning that c is computed
> from nothing, and this is why when the end of main() is reached, b has
> been computed from nothing.

OK, my question should be classified in the "brown paper bag" category. 
:-) I was fearing such an obvious answer. I modified examples from the 
manual and did not take care of the side-effects of my modifications.

Thank you to both of you for the quick reply!
Best regards,
david