--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on April 2009 ---
Hi, run on code [1], the value analysis plugin emits warnings [2] that I don't understand: - why does frama-c warn about entering the for-loop for the first time? - why does it warn about the assignment i=0? -Boris [1] void main() { int i; for(i=0; i<10; i++) ; } [2] tst8.c:4: Warning: entering loop for the first time tst8.c:4: Warning: assigning non deterministic value for the first time