--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on December 2013 ---
Dear all I have function "func" called by "main" function, In order to do value analysis : int func(void); What I want to know is whether there is any difference by assigns these two clauses for the function : 1. assigns \result \from \nothing; 2. assigns \nothing; 3. assigns \result; Thanks. -david