--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2012 ---
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