Loopinvariant

Question

How to approach??

Answer 1

for y=odd, x= even it will never terminate. y always remains >0 and x always remains even. so the control is always in else part.
let initial x=3,y=3
when the loop terminates value of z=9. so option D is correct