Hi Chris,
On 22 August 2017 at 15:43, Christopher Li <sparse@xxxxxxxxxxx> wrote:
> On Tue, Aug 22, 2017 at 9:59 AM, Dibyendu Majumdar
> <mobile@xxxxxxxxxxxxxxx> wrote:
>> 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;
Except that the if (!) / break is implicit?
>
> iterator_statement();
>
> if (!post_condition())
> break;
And here too?
> }
>
Thanks and Regards
Dibyendu
--
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
