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. 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