TomDLux mentions for (;$condition;) {} which has several advantages - it explicitly signals a 'postcondition loop' (or whatever other kind of loop) right at the beginning, it has its own scope and allows last etc, and most importantly it is flexible. It's pretty ugly though.