--- layout: fc_discuss_archives title: Message 28 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 Virgile,
> This calls for two separate answers. First, the transformation into
> nested ifs is here to take into account the potential side-effects of
> the expressions and ensure that they will be evaluated (or not)
> according to the rules of the C standard regarding logical operators.

So, the purpose of this transformation is to make the short-circuit
evaluation of expressions in C explicit?
-- 
Best regards,
Boris