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

[Frama-c-discuss] difference between specifying side effects for value analysis in two different ways



Dear Wolfram,

Thank you very much for your prompt reply.

Yes, you are right. p is indeed a local variable.

Thank you for reminding me of this.

Best wishes,
-david

On 8 December 2013 23:33, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> p is a local variable of f;
> if the implementation of f assigns p, this is not
> a side effect visible to the caller.
> (The actual parameter of f might not even be a variable,
>  as for example in  f(q + 1).
> )