--- layout: fc_discuss_archives title: Message 30 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,

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