--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on August 2015 ---
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