--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] There may be a problem with the Program Dependence Graph



> 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 :)