--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on March 2011 ---
> Well, 'tmp' is syntactically declared after those function calls, > but because they are in a loop, it can also be considered *before* > the next iteration of loop... So those dependencies are not > 'impossible'. Indeed, I've just never encountered this before because not some many people declare variables in a middle of a loop and up until Carbon, tmp variables were added by frama-c at the begigging of the block. Well, another extra step during preprocessing I guess, moving variables declarations at the beginning of the block. Anyway, thanks for pointing that out :)