On Tue, Aug 22, 2017 at 9:59 AM, Dibyendu Majumdar
<mobile@xxxxxxxxxxxxxxx> wrote:
> Hi,
>
> I am trying to understand the way the iterator statement works. I
> think if I understand this correctly then there are some implicit
> jumps on pre-condition and post-condition - similar to the implicit
> jumps in if statements. What I mean by that is that the parse tree
> does not model these jumps with explicit gotos.
The jump back to the loop beginning that goto was implicit.
The rest is just pre_condition and post_condition expression.
It is similar to this:
while (1) {
if (!pre_condtion())
break;
iterator_statement();
if (!post_condition())
break;
}
Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
