--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Transformation of if-statements



Hello,

I noticed that the parser transforms if-else-statements such as

int f6(int x, int y) {
  if((x == 0 && y == 0) || (x == 1 && y == 1)) return 1;
  else return 0;
}

into more complex if-else/goto-statements. Why is this done?
-- 
Best regards,
Boris