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