--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on December 2013 ---
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). > )