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

[Frama-c-discuss] Is there any difference between "assigns \result \from \nothing" and "assigns \nothing"



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