--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2012 ---
Hello, 2012/5/10 Boris Hollas <hollas at informatik.htw-dresden.de>: > So, the purpose of this transformation is to make the short-circuit > evaluation of expressions in C explicit? Yes. In addition, as I said previously, this transformation is needed when the C expression has side-effects: since Cil expressions are pure, you need to find some place where to put the resulting statements. Using an if-then-else is the easiest way to do it. Best regards, -- E tutto per oggi, a la prossima volta Virgile