--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Value analysis emits warning for for-loop



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